Attribute specifier sequence (since C++11)

Introduce atributos definidos por la implementación para tipos, objetos, código, etc.

Sintaxis

donde attribute-list es una secuencia separada por comas de cero o más attribute s (posiblemente terminando con puntos suspensivos ... indicando una pack expansion )

donde attribute-namespace es un identifier y argument-list es una secuencia de tokens donde paréntesis, corchetes y llaves están balanceados ( balanced-token-seq ).

[[using CC: opt(1), debug]] // same as [[CC::opt(1), CC::debug]]
[[using CC: CC::opt(1)]] // error: cannot combine using and scoped attribute

Explicación

Los atributos proporcionan la sintaxis estándar unificada para extensiones de lenguaje definidas por la implementación, como las extensiones de lenguaje GNU e IBM __attribute__((...)) , la extensión de Microsoft __declspec() , etc.

Un atributo puede utilizarse en casi cualquier parte del programa C++, y puede aplicarse a casi todo: a tipos, a variables, a funciones, a nombres, a bloques de código, a unidades de traducción completas, aunque cada atributo particular solo es válido donde lo permite la implementación: [[expect_true]] podría ser un atributo que solo puede usarse con un if , y no con una declaración de clase. [[omp::parallel()]] podría ser un atributo que se aplica a un bloque de código o a un for loop, pero no al tipo int , etc (nótese que estos dos atributos son ejemplos ficticios, véase más abajo para los atributos estándar y algunos no estándar).

En las declaraciones, los atributos pueden aparecer tanto antes de toda la declaración como directamente después del nombre de la entidad que se declara, en cuyo caso se combinan. En la mayoría de las otras situaciones, los atributos se aplican a la entidad inmediatamente anterior.

El alignas especificador es parte de la secuencia de especificadores de atributos, aunque tiene una sintaxis diferente. Puede aparecer donde aparecen los atributos [[...]] y puede mezclarse con ellos (siempre que se use donde alignas está permitido).

Dos tokens consecutivos de corchete izquierdo ( [[ ) solo pueden aparecer al introducir un especificador de atributo o dentro de un argumento de atributo.

void f()
{
    int y[3];
    y[[] { return 0; }()] = 1;  // error
    int i [[cats::meow([[]])]]; // OK
}

Además de los atributos estándar enumerados a continuación, las implementaciones pueden admitir atributos no estándar arbitrarios con comportamiento definido por la implementación. Todos los atributos desconocidos para una implementación se ignoran sin causar un error. (since C++17)

Atributos estándar

Los siguientes atributos están definidos por el estándar de C++.

Los atributos estándar no pueden ser ignorados sintácticamente: no pueden contener errores de sintaxis, deben aplicarse al objetivo correcto, y las entidades en los argumentos deben ser ODR-use .

Los atributos estándar tampoco pueden ser ignorados semánticamente: el comportamiento con todas las instancias de un atributo estándar particular eliminadas habría sido un comportamiento conforme para el programa original con el atributo presente.

Notas

La presencia de cada atributo individual en una plataforma determinada puede verificarse con __has_cpp_attribute la macro del preprocesador.

Ejemplo

[[gnu::always_inline]] [[gnu::hot]] [[gnu::const]] [[nodiscard]]
inline int f(); // declarar f con cuatro atributos
[[gnu::always_inline, gnu::const, gnu::hot, nodiscard]]
int f(); // igual al anterior, pero usa un único especificador de atributo que contiene cuatro atributos
// C++17:
[[using gnu : const, always_inline, hot]] [[nodiscard]]
int f[[gnu::always_inline]](); // un atributo puede aparecer en múltiples especificadores
int f() { return 0; }
int main() {}

Informes de defectos

Los siguientes informes de defectos que modifican el comportamiento se aplicaron retroactivamente a los estándares de C++ publicados anteriormente.

Véase también

Enlaces externos