std::meta::reflect_constant

template< class T >
consteval std::meta::info reflect_constant( T expr );

以下のリフレクションを返します。これは、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> が偽である場合、T が cv修飾されていない structural type でない場合、または T が参照型である場合、プログラムは ill-formed です。

引数

戻り値

上述のリフレクション。

例外

std::meta::exception を投げます。ただし、TCls<V> が無効な場合。

例

関連項目