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> равно false, если T не является cv-неквалифицированным структурным типом или если T является ссылочным типом.

Параметры

Возвращаемое значение

Отражение, как описано выше.

Исключения

Генерирует std::meta::exception если TCls<V> недействительно.

Пример

Смотри также