std::meta::reflect_constant

 

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> 定义
template< class T > consteval std::meta::info reflect_constant( T expr );		(C++26 起)

返回一个反射，该反射要么表示 expr 的值（若 T 是标量类型 (ScalarType) ），要么表示值为 expr 的模板形参对象（若 T 是类类型）。

形式上，令：

• V 为：

 * 若 T 是类类型，则为一个与 expr 的值模板实参等价的对象；
 * 否则，为 expr 的值；

• TCls 为虚构的模板 template<T P> struct TCls;

该函数返回 std::meta::template_arguments_of(^^TCls<V>)[0]。

若 std::is_copy_constructible_v<T> 为 false，或 T 不是不带 cv 限定的结构类型，或 T 是引用类型，则程序非良构。

参数

expr

-

一个结构化类型的值

返回值

如上所述的反射。

异常

当 TCls<V> 无效时抛出 std::meta::exception。

参阅

reflect_constant_string (C++26)	将编译期字符串提升为静态存储，返回表示该静态字符串的反射。 (函数模板)
reflect_constant_array (C++26)	将编译期数组提升为静态存储，返回表示该静态数组的反射 (函数模板)
reflect_object (C++26)	返回表示对象的反射，适合用作常量模板实参 (函数模板)
reflect_function (C++26)	返回表示函数的反射，适合用作常量模板实参 (函数模板)
substitute (C++26)	获取在所反射模板中代换所反射实参后的结果的反射 (函数模板)