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

Indique que la variable ou le paramètre de fonction a une valeur indéterminée s'il n'est pas initialisé.

Syntaxe

Explication

[[ indeterminate ]] peut être appliqué à la définition d'une variable de bloc avec une durée de stockage automatique ou à une déclaration d'un paramètre d'une déclaration de fonction . L'attribut spécifie que les octets constituant le stockage d'un objet avec une durée de stockage automatique sont initialement indéterminés plutôt qu'erronés.

Si un paramètre de fonction est déclaré avec [[ indeterminate ]] , il doit être déclaré dans la première déclaration de sa fonction. Si un paramètre de fonction est déclaré avec [[ indeterminate ]] dans la première déclaration de sa fonction dans une unité de traduction et que la même fonction est déclarée sans [[ indeterminate ]] sur le même paramètre dans sa première déclaration dans une autre unité de traduction, le programme est mal formé, aucun diagnostic requis .

Notes

L'attribut [[indeterminate]] rétablit le comportement indéfini qui était implicitement introduit jusqu'au C++26. Il peut amener les compilateurs à considérer un chemin de code lisant une valeur indéterminée comme inaccessible.

Exemple

void f(int);
void g()
{
    int x [[indeterminate]]; // valeur indéterminée
    int y;                   // valeur erronée
    f(x); // comportement indéfini
    f(y); // comportement erroné
}
struct T
{
    T() {}
    int x;
};
void h(T a [[indeterminate]], T b)
{
    f(a.x); // comportement indéfini lors de l'appel ci-dessous
    f(b.x); // comportement erroné lors de l'appel ci-dessous
}
h(T(), T());

Références