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

Gibt an, dass die Variable oder der Funktionsparameter einen unbestimmten Wert hat, wenn sie nicht initialisiert wird.

Syntax

Erklärung

[[ indeterminate ]] kann auf die Definition einer Blockvariablen mit automatischer Speicherdauer oder auf eine Deklaration eines Parameters einer Funktionsdeklaration angewendet werden. Das Attribut spezifiziert, dass die Bytes, die den Speicher eines Objekts mit automatischer Speicherdauer umfassen, initial indeterminiert statt fehlerhaft sind.

Wenn ein Funktionsparameter mit [[ indeterminate ]] deklariert wird, muss er in der ersten Deklaration seiner Funktion deklariert werden. Wenn ein Funktionsparameter mit [[ indeterminate ]] in der ersten Deklaration seiner Funktion in einer Übersetzungseinheit deklariert wird und dieselbe Funktion ohne [[ indeterminate ]] für denselben Parameter in ihrer ersten Deklaration in einer anderen Übersetzungseinheit deklariert wird, ist das Programm fehlerhaft, keine Diagnose erforderlich .

Hinweise

Das [[indeterminate]] -Attribut stellt das undefinierte Verhalten wieder her, das bis C++26 implizit eingeführt wurde. Es könnte Compiler veranlassen, einen Code-Pfad, der einen unbestimmten Wert liest, als unerreichbar zu betrachten.

Beispiel

void f(int);
void g()
{
    int x [[indeterminate]]; // unbestimmter Wert
    int y;                   // fehlerhafter Wert
    f(x); // undefiniertes Verhalten
    f(y); // fehlerhaftes Verhalten
}
struct T
{
    T() {}
    int x;
};
void h(T a [[indeterminate]], T b)
{
    f(a.x); // undefiniertes Verhalten beim Aufruf unten
    f(b.x); // fehlerhaftes Verhalten beim Aufruf unten
}
h(T(), T());

Referenzen