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

Указывает, что переменная или параметр функции имеет неопределённое значение, если она не инициализирована.

Синтаксис

Объяснение

[[ indeterminate ]] может применяться к определению блочной переменной с автоматической продолжительностью хранения или к объявлению параметра объявления функции . Атрибут указывает, что байты, составляющие хранилище объекта с автоматической продолжительностью хранения, изначально неопределены , а не ошибочны.

Если параметр функции объявлен с [[ indeterminate ]] , он должен быть объявлен в первом объявлении своей функции. Если параметр функции объявлен с [[ indeterminate ]] в первом объявлении своей функции в одной единице трансляции и та же функция объявлена без [[ indeterminate ]] на том же параметре в своем первом объявлении в другой единице трансляции, программа является некорректной, диагностика не требуется .

Примечания

Атрибут [[indeterminate]] восстанавливает неопределённое поведение, которое неявно вводилось до C++26. Он может заставить компиляторы считать путь выполнения, читающий неопределённое значение, недостижимым.

Пример

void f(int);
void g()
{
    int x [[indeterminate]]; // неопределённое значение
    int y;                   // ошибочное значение
    f(x); // неопределённое поведение
    f(y); // ошибочное поведение
}
struct T
{
    T() {}
    int x;
};
void h(T a [[indeterminate]], T b)
{
    f(a.x); // неопределённое поведение при вызове ниже
    f(b.x); // ошибочное поведение при вызове ниже
}
h(T(), T());

Ссылки