C++ attribute: indeterminate (since C++26)

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

Sintaxis

Explicación

[[ indeterminate ]] puede aplicarse 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 inicialmente son indeterminados en lugar de erróneos.

Si un parámetro de función se declara 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 [[indeterminate]] atributo restaura el comportamiento indefinido que fue introducido implícitamente hasta C++26. Puede hacer que los compiladores consideren inalcanzable una ruta de código que lee un valor indeterminado.

Ejemplo

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

Referencias