std::meta::parameters_of

 

C++

编译器支持

自立实现与有宿主实现

语言

标准库

标准库标头

具名要求

功能特性测试宏 (C++20)

语言支持库

概念库 (C++20)

诊断库

内存管理库

元编程库 (C++11)

通用工具库

容器库

迭代器库

范围库 (C++20)

算法库

字符串库

文本处理库

数值库

日期和时间库

输入/输出库

文件系统库 (C++17)

并发支持库 (C++11)

执行控制库 (C++26)

技术规范

符号索引

外部库

 

元编程库

类型特征

编译时有理数算术

Compile-time integer sequences

integer_sequence (C++14)

编译时反射 (C++26)

 

反射库

Template:cpp/meta/navbar/reflection content

 

在标头 <meta> 定义
consteval std::vector<std::meta::info> parameters_of( std::meta::info r );		(C++26 起)

如果 r 表示一个函数，则返回一个包含其函数形参的反射的 vector。如果 r 表示一个函数类型，则返回一个包含其形参类型的反射的 vector。

在这两种情况下，vector 中的元素都按照形参出现的顺序排列。

参数

r

-

表示函数或函数类型的反射

返回值

一个包含反射的 std::vector。

异常

如果 r 不表示函数或函数类型，则抛出 std::meta::exception。

注解

可以查询函数形参的反射以获取形参的类型、标识符（如果有）以及标注列表。要获取函数体内形参变量的值，请参阅 std::meta::variable_of。

形参的类型（由 std::meta::type_of 返回）是不带 cv 限定的，这可能与对应变量的类型不同：

void f(const int x)
{
    constexpr auto rp = std::meta::parameters_of(^^f)[0];
    static_assert(std::meta::type_of(rp) == ^^int);

    constexpr auto rv = std::meta::variable_of(rp);
    static_assert(&[:rv:] == &x);
    static_assert(std::meta::type_of(rv) == ^^const int);
}