_Noreturn 函数指定符

< c‎ | language

指明函数不会返回到其调用点。

语法

_Noreturn function_declaration (C11 起)

解释

_Noreturn 关键词出现于函数声明中,指定函数不会由于执行到 return 语句或抵达函数体结尾而返回(可通过执行 longjmp 返回)。若声明 _Noreturn 的函数返回,则行为未定义。若编译器能检测此错误,则推荐编译器诊断。

_Noreturn 指定符可以在同一函数声明中出现多于一次,行为与只出现一次相同。

此指定符通常通过便利宏 noreturn 使用,该宏于头文件 stdnoreturn.h 提供。

关键词

_Noreturn

标准库

下列标准库的函数为 _Noreturn

示例

#include <stdlib.h>
#include <stdio.h>
#include <stdnoreturn.h>
 
// 在 i <= 0 时导致未定义行为
// 在 i > 0 时退出
noreturn void stop_now(int i) // 或 _Noreturn void stop_now(int i)
{
    if (i > 0) exit(i);
}
 
int main(void)
{
  puts("Preparing to stop...");
  stop_now(2);
  puts("This code is never executed.");
}

输出:

Preparing to stop...

引用

  • C11 standard (ISO/IEC 9899:2011):
  • 6.7.4 Function specifiers (p: 125-127)
  • 7.23 _Noreturn <stdnoreturn.h> (p: 361)

参阅