atributo de C++: indeterminate

 

C++

Apoyo de compiladores

Implementaciones independientes y albergadas

Lenguaje

Biblioteca estándar

Encabezados de la biblioteca estándar

Requisitos denominados

Macros de prueba de característica (C++20)

Biblioteca de apoyo del lenguaje

Biblioteca de conceptos(C++20)

Biblioteca de diagnósticos

Biblioteca de gestión de memoria

Biblioteca de metaprogramación(C++11)

Biblioteca de servicios generales

Biblioteca de contenedores

Biblioteca de iteradores

Biblioteca de rangos(C++20)

Biblioteca de algoritmos

Biblioteca de cadenas

Biblioteca de procesamiento de texto

Biblioteca numérica

Biblioteca de fecha y hora

Biblioteca de entrada/salida

Biblioteca del sistema de archivos(C++17)

Biblioteca de apoyo de concurrencia(C++11)

Biblioteca de apoyo de ejecución(C++26)

Especificaciones técnicas

Índice de símbolos

Bibliotecas externas

 

Lenguaje C++

 

Declaraciones

Resumen sintaxis de declaración sec-decl-especificadores declarador Especificadores typedef inline especificador de función virtual especificador de función explicit friend constexpr (C++11) consteval (C++20) constinit (C++20) especificadores de clase de almacenamiento classstruct union enum decltype (C++11) auto (C++11) alignas (C++11) constvolatile especificador de tipo elaborado atributos (C++11)

Declaradores referencia puntero array Declaraciones de bloques declaración simple → declaración de vínculos estructurados(C++17) declaración de alias(C++11) definición de alias de espacio de nombres declaración using directiva using declaración static_assert(C++11) declaración asm declaración de enum opaca(C++11) Otras declaraciones definición de espacio de nombres declaración de función declaración de plantilla de clase declaración de plantilla de función creación de plantilla explícita(C++11) especialización de plantilla explícita especificación de vinculación declaración de atributos(C++11) declaración vacía

 

Atributos

assume (C++23)

carries_dependency (C++11)

deprecated (C++14)

fallthrough (C++17)

indeterminate (C++26)

likely (C++20)

maybe_unused (C++17)

nodiscard (C++17)

noreturn (C++11)

no_unique_address (C++20)

optimize_for_synchronized (TM TS)

unlikely (C++20)

 

Indica que el parámetro de la variable o función tiene un valor indeterminado si no se inicializa.

Syntaxis

[[indeterminate]]

Explicación

[[indeterminate]] se puede aplicar a la definición de una variable de bloque con duración de almacenamiento automática o a una declaración de un parámetro de una declaración de función. El atributo especifica que los bytes que componen el almacenamiento de un objeto con duración de almacenamiento automática son inicialmente indeterminados en lugar de erróneos.

Si se declara un parámetro de función con [[indeterminate]], debe declararse en la primera declaración de su función. Si un parámetro de función se declara con [[indeterminate]] en la primera declaración de su función en una unidad de traducción y la misma función se declara sin [[indeterminate]] en el mismo parámetro en su primera declaración en otra unidad de traducción, el programa está mal formado, no se requiere diagnóstico.

Notas

El atributo [[indeterminate]] restablece el comportamiento no definido que se introdujo de forma implícita hasta C++26. Puede hacer que los compiladores consideren inalcanzable una ruta de código que lea un valor indeterminado.

Ejemplo

Ejecuta este código

void f(int);   void g(){int x [[indeterminate]];// valor indeterminadoint y;// valor erróneo   f(x);// comportamiento no definido f(y);// comportamiento erróneo}   struct T { T(){}int x;};   void h(T a [[indeterminate]], T b){ f(a.x);// comportamiento no definido cuando se llama abajo f(b.x);// comportamiento erróneo cuando se llama abajo}   h(T(), T());

Referencias

• Estándar C++26 (ISO/IEC 14882:2026):

• 9.12.7 Almacenamiento indeterminado [dcl.attr.indet]