C++ attribute: noreturn (since C++11)

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

Синтаксис

Объяснение

Указывает, что функция не вернет управление вызывающей функции после завершения (например, функции, которые завершают приложение, генерируют исключения, выполняют бесконечный цикл и т.д.). Этот атрибут применяется только к имени объявляемой функции в объявлениях функций.

Если функция, ранее объявленная с [ [ noreturn ] ] вызывается и этот вызов в конечном счете возвращает управление, поведение является неопределенным во время выполнения .

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

Пример

[[noreturn]] void f()
{
    throw "error";
    // OK
}
void q [[noreturn]] (int i)
{
    // поведение не определено, если вызвано с аргументом <= 0
    if (i > 0)
        throw "positive";
}
// void h() [[noreturn]]; // ошибка: атрибут применен к типу функции h, а не к самой h
int main()
{
    try { f(); } catch(...) {}
    try { q(42); } catch(...) {}
}

Стандартная библиотека

Следующие стандартные функции объявлены с атрибутом noreturn :

Отчеты о дефектах

Следующие отчеты об изменениях поведения, влияющие на дефекты, были применены задним числом к ранее опубликованным стандартам C++.

Ссылки

Смотрите также