std::meta::reflect_constant_array

在标头 `<meta>` 定义
template< ranges::input_range R > consteval std::meta::info reflect_constant_array( R&& r );		(C++26 起)

返回一个反射，该反射表示一个数组对象，其各元素为 r 中的对应元素。

结果得到的对象是一个模板形参对象：它具有静态存储期，且具有模板实参等价内容的范围对应同一个对象。

如果 r 的大小不为零，则结果数组对象是一个可能非唯一的对象。

令 U 为 ranges::range_value_t<R> 并令 T 为 std::remove_all_extents_t<U>。

如果以下任意为真，则程序非良构：

T 不是结构式类型。
T 不满足 copy_constructible。
U 不是数组类型，且 std::is_constructible_v<T, ranges::range_reference_t<R>> 为 false。

r - 一个 input_range

如果 r 的大小不为零，则返回一个反射，表示类型为 const T[N] 的模板形参对象（其中 N 为 r 的大小）。该模板形参对象的每个元素均模板实参等价于：

其中 it 是指向 r 中对应元素的迭代器。

否则（r 的大小为零），返回一个反射，表示用 {} 初始化的类型为 const std::array<T, 0> 的模板形参对象。

抛出由以下所抛出的任何异常：

在 r 上或者在 r 的迭代器或哨位上的操作；
如上所述中 std::meta::reflect_constant 的任何实参，或对 std::meta::reflect_constant_array 的任何调用。

当任何 std::meta::reflect_constant 调用通过异常退出时，抛出 std::meta::exception。

std::meta::reflect_constant_array 的结果适用于 std::meta::substitute。如果调用方想要的是静态数组上的而非反射值，那么通常 std::define_static_array 更为合适。

define_static_array (C++26)	将编译期数组提升为静态存储，返回静态数组的跨度。 (函数模板) [编辑]
reflect_constant_string (C++26)	将编译期字符串提升为静态存储，返回表示该静态字符串的反射。 (函数模板) [编辑]
reflect_constant (C++26)	返回表示某个值或模板形参对象的反射，适合用作常量模板实参 (函数模板) [编辑]

目录