Extensions for reflection

Las Extensiones de C++ para Reflexión, ISO/IEC TS 23619:2021, especifica modificaciones al lenguaje central y define nuevos componentes para la biblioteca estándar de C++ listados en esta página.

El TS de Reflexión se basa en el estándar C++20 (excepto que la definición de conceptos se especifica en el estilo del TS de Conceptos ).

Cambios en el lenguaje central

Especificador reflexpr

Un reflexpr-specifier tiene la forma reflexpr ( reflexpr-operand ) , y especifica un tipo meta-objeto (ver más abajo).

reflexpr-operand puede ser uno de los siguientes:

donde function-call-expression es

y functional-type-conv-expression son los siguientes tipos de expresiones que realizan explicit cast :

El operando del reflexpr-specifier debe ser un tipo , namespace , enumerador , variable, miembro de datos , parámetro de función , entidad capturada , function-call-expression o functional-type-conv-expression , y expresión entre paréntesis. reflexpr ( :: ) refleja el namespace global.

Para un reflexpr-operando de la forma ( expresión ) , la expresión deberá ser una (posiblemente entre múltiples paréntesis) expresión-de-llamada-a-función o expresión-de-conversión-de-tipo-funcional .

Si un operando sin paréntesis puede tratarse como un type-id o como una functional-type-conv-expression , entonces se trata como un type-id . Los paréntesis pueden utilizarse para eliminar la ambigüedad entre una conversión de estilo función y un type-id . Por ejemplo, dado un tipo de clase X con constructor predeterminado, reflexpr ( X ( ) ) refleja el tipo de función X ( ) , y reflexpr ( ( X ( ) ) ) refleja la expresión X ( ) .

Si el operando designa tanto un alias como un nombre de clase, el tipo representado por el especificador reflexpr refleja el alias y satisface reflect::Alias .

Si el operando designa un nombre cuya declaración está encerrada en un ámbito de bloque y la entidad nombrada no es capturada ni es un parámetro de función, el programa está mal formado.

Tipos de meta-objetos

Un tipo de meta-objeto es un tipo de clase no nombrado e incompleto en el ámbito del espacio de nombres. Un tipo satisface el concepto reflect::Object si y solo si es un tipo de meta-objeto. Los tipos de meta-objeto pueden satisfacer otros conceptos, dependiendo del operando de reflexpr .

No está especificado si aplicar repetidamente reflexpr al mismo operando produce el mismo tipo o un tipo diferente. Si un tipo meta-objeto refleja un tipo de clase incompleto, ciertas transformaciones de tipo no pueden aplicarse.

Un tipo meta-objeto permite la inspección de algunas propiedades del operando de reflexpr mediante type traits o transformaciones de tipos sobre él.

Resolución de sobrecarga

Si la expresión postfija de la expresión de llamada a función es de tipo clase, es decir, e en la expresión de llamada a función e ( args ) es de tipo clase, entonces la función de conversión definida por el usuario del tipo de la expresión postfija ( e ) no debe utilizarse.

Si postfix-expression no es de tipo clase, deberá nombrar una función que sea el resultado único de la resolución de sobrecarga.

struct Functor
{
    void operator()(int) const;
    using fptr_t = void(*)(std::nullptr_t);
    operator fptr_t() const;
};
using Meta0 = reflexpr(Functor{}(0));          // CORRECTO
// using Meta1 = reflexpr(Functor{}(nullptr)); // error: función de conversión utilizada

Relacionado con la reflexión

Un alias es un nombre introducido por una typedef , una alias-declaration , o una using-declaration .

Una entidad o alias B está relacionado con la reflexión de una entidad o alias A si

1. A y B son la misma entidad o alias,
2. A es una variable o enumerador y B es el tipo de A ,
3. A es una enumeración y B es el tipo subyacente de A ,
4. A es una clase y B es un miembro o clase base de A ,
5. A es un alias no plantilla que designa la entidad B ,
6. A no es el espacio de nombres global y B es una clase o espacio de nombres contenedor de A ,
7. A es la expresión entre paréntesis ( B ),
8. A es una captura lambda del tipo de clausura B ,
9. A es el tipo de clausura de la captura lambda B ,
10. B es el tipo especificado por la expresión-de-conversión-de-tipo-funcional A ,
11. B es la función seleccionada por resolución de sobrecarga para una expresión-de-llamada-a-función A ,
12. B es el tipo de retorno, un tipo de parámetro o tipo de función de la función A , o
13. B está relacionado por reflexión con una entidad o alias X y X está relacionado por reflexión con A .

La relación de reflexión-relación es reflexiva y transitiva, pero no simétrica.

Informalmente hablando, el caso en que B está relacionado por reflexión con A significa que B participa en la declaración o definición de A .

Cero o más aplicaciones sucesivas de transformaciones de tipos que produzcan tipos meta-objeto al tipo denotado por un reflexpr-specifier permiten la inspección de entidades y alias que están relacionados con reflexión al operando; se dice que tal tipo meta-objeto refleja la respectiva entidad o alias relacionado con reflexión.

struct X;
struct B
{
    using X = ::X;
    typedef X Y;
};
struct D : B
{
    using B::Y;
};
// ::X, pero no B::X o B::Y están relacionados con reflexión a D::Y

Misceláneos

• Una expresión utilizada como reflexpr-operando es una expresión no evaluada y potencialmente evaluada como constante .
• Para determinar las variables capturadas en una expresión lambda por una captura por defecto, un operando reflexpr no se considera un operando no evaluado.
• Una función o variable con duración de almacenamiento estático reflejada por el tipo meta-objeto T es odr-utilizada por la especialización std :: experimental :: reflect :: get_pointer < T > , como si se tomara la dirección de una expresión de id que nombra la función o variable.
• Puede haber más de una definición de un tipo meta-objeto, siempre que todas las operaciones sobre este tipo produzcan los mismos resultados de expresión constante.
• Un tipo es dependiente si está denotado por un especificador reflexpr, y el operando
  • es una expresión dependiente de tipo o una expresión de conversión de tipo funcional (posiblemente entre paréntesis) con al menos una subexpresión inmediata dependiente de tipo, o
  • designa un tipo dependiente o un miembro de una especialización desconocida o una expresión constante dependiente de valor .

Palabras clave

reflexpr

Macros predefinidos para pruebas de características

Soporte de biblioteca

Conceptos

Operaciones de meta-objeto

Macros de prueba de características de la biblioteca

Satisfacción de conceptos

La siguiente tabla indica si un tipo de meta-objeto que refleja un operando satisface los conceptos introducidos por el Reflection TS.

Si el operando de la forma expresión-id es una expresión constante, el tipo especificado por el especificador reflexpr también satisface reflect::Constant .

Si el operando de reflexpr designa un miembro de clase, el tipo representado por el especificador reflexpr también satisface reflect::RecordMember .

Véase también