Extensions for reflection

Les Extensions C++ pour la Réflexion, ISO/IEC TS 23619:2021, spécifient des modifications au langage de base et définissent de nouveaux composants pour la bibliothèque standard C++ listés sur cette page.

Le Reflection TS est basé sur la norme C++20 (sauf que la définition des concepts est spécifiée dans le style du Concepts TS ).

Modifications du langage de base

spécificateur reflexpr

Un reflexpr-specifier est de la forme reflexpr ( reflexpr-operand ) , et spécifie un type méta-objet (voir ci-dessous).

reflexpr-operand peut être l'un des suivants :

où function-call-expression est

et functional-type-conv-expression sont les types d'expressions suivants qui effectuent une conversion explicite :

L'opérande du reflexpr-specifier doit être un type , namespace , énumérateur , variable, membre de données , paramètre de fonction , entité capturée , function-call-expression ou functional-type-conv-expression , et expression entre parenthèses. reflexpr ( :: ) reflète l'espace de noms global.

Pour un opérande reflexpr de la forme ( expression ) , l' expression doit être une expression d'appel de fonction (éventuellement entre plusieurs parenthèses) ou une expression de conversion de type fonctionnel .

Si un opérande non parenthésé peut être traité soit comme un type-id soit comme une functional-type-conv-expression , alors il est traité comme un type-id . Les parenthèses peuvent être utilisées pour lever l'ambiguïté entre un cast de style fonctionnel et un type-id . Par exemple, étant donné un type de classe X avec un constructeur par défaut, reflexpr ( X ( ) ) reflète le type de fonction X ( ) , et reflexpr ( ( X ( ) ) ) reflète l'expression X ( ) .

Si l'opérande désigne à la fois un alias et un nom de classe, le type représenté par le spécificateur reflexpr reflète l'alias et satisfait reflect::Alias .

Si l'opérande désigne un nom dont la déclaration est englobée dans une portée de bloc et que l'entité nommée n'est ni capturée ni un paramètre de fonction, le programme est mal formé.

Types de méta-objets

Un type méta-objet est un type de classe non nommé, incomplet et de portée d'espace de noms. Un type satisfait le concept reflect::Object si et seulement s'il s'agit d'un type méta-objet. Les types méta-objets peuvent satisfaire d'autres concepts, selon l'opérande de reflexpr .

Il n'est pas spécifié si l'application répétée de reflexpr au même opérande produit le même type ou un type différent. Si un type méta-objet reflète un type de classe incomplet, certaines transformations de types ne peuvent pas être appliquées.

Un type méta-objet permet l'inspection de certaines propriétés de l'opérande de reflexpr à travers des traits de type ou des transformations de type sur celui-ci.

Résolution de surcharge

Si le postfix-expression de la function-call-expression est de type classe, c'est-à-dire e dans la function-call-expression e ( args ) est de type classe, alors la fonction de conversion définie par l'utilisateur du type du postfix-expression ( e ) ne doit pas être utilisée.

Si postfix-expression n'est pas de type classe, il doit désigner une fonction qui est le résultat unique de la résolution de surcharge.

struct Functor
{
    void operator()(int) const;
    using fptr_t = void(*)(std::nullptr_t);
    operator fptr_t() const;
};
using Meta0 = reflexpr(Functor{}(0));          // OK
// using Meta1 = reflexpr(Functor{}(nullptr)); // erreur: fonction de conversion utilisée

Lié à la réflexion

Un alias est un nom introduit par une typedef , une alias-declaration , ou une using-declaration .

Une entité ou alias B est lié par réflexion à une entité ou alias A si

1. A et B sont la même entité ou un alias,
2. A est une variable ou un énumérateur et B est le type de A ,
3. A est une énumération et B est le type sous-jacent de A ,
4. A est une classe et B est un membre ou une classe de base de A ,
5. A est un alias non-template qui désigne l'entité B ,
6. A n'est pas l'espace de noms global et B est une classe ou un espace de noms englobant de A ,
7. A est l'expression entre parenthèses ( B ),
8. A est une capture lambda du type de fermeture B ,
9. A est le type de fermeture de la capture lambda B ,
10. B est le type spécifié par l' expression-de-conversion-de-type-fonctionnel A ,
11. B est la fonction sélectionnée par la résolution de surcharge pour une expression-d'appel-de-fonction A ,
12. B est le type de retour, un type de paramètre ou le type de fonction de la fonction A , ou
13. B est lié par réflexion à une entité ou un alias X et X est lié par réflexion à A .

La relation de réflexion-relation est réflexive et transitive, mais pas symétrique.

De manière informelle, le cas où B est lié par réflexion à A signifie que B participe à la déclaration ou à la définition de A .

Zéro ou plusieurs applications successives de transformations de type qui produisent des types méta-objets au type dénoté par un reflexpr-specifier permettent l'inspection d'entités et d'alias qui sont liés par réflexion à l'opérande ; un tel type méta-objet est dit refléter l'entité ou l'alias lié par réflexion respectif.

struct X;
struct B
{
    using X = ::X;
    typedef X Y;
};
struct D : B
{
    using B::Y;
};
// Seul ::X, mais pas B::X ou B::Y, est lié à la réflexion avec D::Y

Divers

• Une expression utilisée comme opérande-reflexpr est une expression non évaluée et potentiellement évaluée comme constante .
• Pour la détermination des variables capturées dans une expression lambda par une capture par défaut, un opérande reflexpr n'est pas considéré comme un opérande non évalué.
• Une fonction ou variable de durée de stockage statique reflétée par le type méta-objet T est odr-utilisée par la spécialisation std :: experimental :: reflect :: get_pointer < T > , comme si l'adresse d'une expression d'identifiant désignant la fonction ou variable était prise.
• Il peut y avoir plus d'une définition d'un type méta-objet, tant que toutes les opérations sur ce type produisent les mêmes résultats d'expression constante.
• Un type est dépendant s'il est désigné par un spécificateur reflexpr, et que l'opérande
  • est une expression dépendante du type ou une expression de conversion de type fonctionnel (éventuellement parenthésée) avec au moins une sous-expression immédiate dépendante du type, ou
  • désigne un type dépendant ou un membre d'une spécialisation inconnue ou une expression constante dépendante de la valeur .

Mots-clés

reflexpr

Macros prédéfinis de test de fonctionnalités

Support de la bibliothèque

Concepts

Opérations méta-objet

Macros de test de fonctionnalités de la bibliothèque

Satisfaction des concepts

Le tableau suivant indique si un type méta-objet reflétant un opérande satisfait aux concepts introduits par le Reflection TS.

Si l'opérande de la forme expression d'identifiant est une expression constante, le type spécifié par le spécificateur reflexpr satisfait également reflect::Constant .

Si l'opérande de reflexpr désigne un membre de classe, le type représenté par le spécificateur reflexpr satisfait également reflect::RecordMember .

Voir aussi