_Noreturn 函数指定符

 

C

语言

头文件

类型支持

程序工具

变参数函数支持

动态内存管理

错误处理

日期和时间工具

字符串库

算法

数值

输入/输出支持

本地化支持

线程支持 (C11)

原子操作 (C11)

技术规范

 

C 语言

基本概念

关键词

预处理器

语句

表达式

初始化

声明

函数

杂项

C 的历史

技术规范

 

函数

函数声明

函数定义

可变参数

inline (C99)

_Noreturn (C11)

 

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

语法

_Noreturn function_declaration		(C11 起)

解释

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

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

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

关键词

_Noreturn

标准库

下列标准库的函数为 _Noreturn ：

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

示例

运行此代码

#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 标准（ISO/IEC 9899:2011）：

• 6.7.4 Function specifiers (p: 125-127)

• 7.23 _Noreturn <stdnoreturn.h> (p: 361)