std::meta::reflect_constant

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

Renvoie une réflexion qui représente soit la valeur de expr (si T est un ScalarType) soit l'objet paramètre de template avec la valeur expr (si T est un type classe).

Formellement, soit :

• V être :

• si T est un type classe, alors un objet qui est équivalent à un argument de template à la valeur de expr ;
• sinon, la valeur de expr ;

• TCls être le template inventé template<T P> struct TCls;

Cette fonction renvoie std::meta::template_arguments_of(^^TCls<V>)[0].

Le programme est mal formé si std::is_copy_constructible_v<T> est faux, si T n'est pas un cv-non qualifié type structurel, ou si T est un type référence.

Paramètres

Valeur de retour

Une réflexion comme décrite ci-dessus.

Exceptions

Lève std::meta::exception si TCls<V> est invalide.

Exemple

Voir aussi