_Noreturn 函数指定符

< c‎ | language
 
C
 
C 语言
 
函数
 

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

语法

_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)

参阅