_Noreturn function specifier (since C11) (deprecated in C23)

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

Синтаксис

Объяснение

Ключевое слово _Noreturn появляется в объявлении функции и указывает, что функция не возвращает управление путем выполнения оператора return или достижения конца тела функции (она может вернуть управление путем выполнения longjmp ). Если функция, объявленная с _Noreturn , возвращает управление, поведение не определено. Рекомендуется вывод диагностического сообщения компилятором, если это может быть обнаружено.

Спецификатор _Noreturn может встречаться несколько раз в одном объявлении функции, поведение при этом такое же, как если бы он встречался один раз.

Этот спецификатор обычно используется через удобный макрос noreturn , который предоставляется в заголовочном файле <stdnoreturn.h> .

Ключевые слова

_Noreturn

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

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

• abort()
• exit()
• _Exit()
• quick_exit()
• thrd_exit()
• longjmp()

Пример

#include <stdio.h>
#include <stdlib.h>
#include <stdnoreturn.h>
// вызывает неопределенное поведение, если i <= 0
// завершает работу, если i > 0
noreturn void exit_now(int i) // or _Noreturn void exit_now(int i)
{
    if (i > 0)
        exit(i);
}
int main(void)
{
    puts("Preparing to exit...");
    exit_now(2);
    puts("This code is never executed.");
}

Preparing to exit...

Ссылки

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