C++ 属性： noreturn (自 C++11 起)

 

C++

编译器支持

独立式和宿主式

语言

标准库

标准库头文件

命名要求

特性测试宏 (C++20)

语言支持库

概念库 (C++20)

诊断库

内存管理库

元编程库 (C++11)

通用工具库

容器库

迭代器库

范围库 (C++20)

算法库

字符串库

文本处理库

数值库

日期和时间库

输入/输出库

文件系统库 (C++17)

并发支持库 (C++11)

执行控制库 (C++26)

技术规范

符号索引

外部库

 

C++ 语言

常规主题
预处理器 注释	关键字 转义序列
流程控制
条件执行语句
if	switch
迭代语句 (循环)
for range-for (C++11)	while do-while
跳转语句
continue - break	goto - return
函数
函数声明
Lambda 函数表达式
inline 说明符
动态异常规范 (C++11 前已弃用*)
noexcept 说明符 (C++11)
异常
throw 表达式 try 块	catch 处理程序
命名空间
命名空间声明	命名空间别名
类型
基本类型 枚举类型 函数类型	类/结构体类型 联合体类型
说明符
const/volatile decltype (C++11) auto (C++11)	constexpr (C++11) consteval (C++20) constinit (C++20)
存储持续期说明符
初始化
默认初始化 值初始化 零初始化 复制初始化 直接初始化	聚合初始化 列表初始化 (C++11)   常量初始化 引用初始化

表达式
值类别 求值顺序	运算符 运算符优先级
替代表示
字面量
布尔 - 整数 - 浮点
字符 - 字符串 - nullptr (C++11)
用户定义 (C++11)
实用工具
属性 (C++11)
类型
typedef 声明
类型别名声明 (C++11)
类型转换
隐式转换 static_cast const_cast	显式转换 dynamic_cast reinterpret_cast
内存分配
new 表达式	delete 表达式
类
类声明 构造函数 this 指针	访问说明符 friend 说明符
类特定函数属性
虚函数 override 说明符 (C++11)   final 说明符 (C++11)	explicit (C++11) static
特殊成员函数
默认构造函数 复制构造函数 移动构造函数 (C++11)	复制赋值 移动赋值 (C++11) 析构函数
模板
类模板 函数模板	模板特化 参数包 (C++11)
杂项
内联汇编	C++ 历史

 

声明

概述 声明语法 decl-specifier-seq 声明符 冲突的声明 说明符 typedef inline virtual 函数说明符 explicit 函数说明符 friend constexpr (C++11) consteval (C++20) constinit (C++20) 存储类说明符 翻译单元局部 (C++20) class/struct union enum decltype (C++11) auto (C++11) alignas (C++11) constvolatile 包索引说明符 (C++26)     详述类型说明符 属性 (C++11)

声明符 引用 指针 数组 块声明 简单声明   →结构化绑定声明 (C++17) 别名声明 (C++11) 命名空间别名定义 using 声明 using 指令 static_assert 声明 (C++11) asm 声明 不透明枚举声明 (C++11) 其他声明 命名空间定义 函数声明 类模板声明 函数模板声明 显式模板实例化 (C++11) 显式模板特化 链接规范 属性声明 (C++11) 空声明

 

属性

assume (C++23)

carries_dependency (C++11)(C++26 前)

deprecated (C++14)

fallthrough (C++17)

indeterminate (C++26)

likely (C++20)

maybe_unused (C++17)

nodiscard (C++17)

noreturn (C++11)

no_unique_address (C++20)

optimize_for_synchronized (TM TS)

unlikely (C++20)

 

指示函数不返回。

语法

[[noreturn]]

解释

指示函数在其完成后不会将控制流返回给调用函数（例如，终止应用程序、抛出异常、无限循环等的函数）。此属性仅适用于函数声明中声明的函数名称。

如果调用了先前使用 [[noreturn]] 声明的函数，并且该调用最终返回，则行为是运行时未定义的。

如果任何声明指定了此属性，则函数的第一个声明必须指定此属性。 如果一个函数在一个翻译单元中声明了 [[noreturn]]，而在另一个翻译单元中声明了没有 [[noreturn]] 的相同函数，则程序是非良构的；不需要诊断。

示例

运行此代码

[[noreturn]] void f()
{
    throw "error";
    // OK
}
 
void q [[noreturn]] (int i)
{
    // behavior is undefined if called with an argument <= 0
    if (i > 0)
        throw "positive";
}
 
// void h() [[noreturn]]; // error: attribute applied to function type of h, not h itself
 
int main()
{
    try { f(); } catch(...) {}
    try { q(42); } catch(...) {}
}

标准库

以下标准函数使用 noreturn 属性声明

终止函数
_Exit (C++11)	导致正常程序终止，但不清理 (函数)
abort	导致异常程序终止（不清理） (函数)
exit	导致正常程序终止，并清理 (函数)
quick_exit (C++11)	导致快速程序终止，但不完全清理 (函数)
terminate	当异常处理失败时调用的函数 (函数)
unexpected (C++11 中已弃用)(C++17 中已移除)	当动态异常规范被违反时调用的函数 (函数)
编译器提示
unreachable (C++23)	标记不可达的执行点 (函数)
总是抛出异常的函数
rethrow_exception (C++11)	从 std::exception_ptr 抛出异常 (函数)
rethrow_nested	抛出存储的异常 (std::nested_exception 的公共成员函数)
throw_with_nested (C++11)	抛出其参数，并混入 std::nested_exception (函数模板)
非局部跳转 (自 C++17 起)
longjmp	跳转到指定位置 (函数)

缺陷报告

以下行为变更缺陷报告被追溯应用于先前发布的 C++ 标准。

DR	应用于	已发布行为	正确行为
CWG 2924	C++11	从 [[noreturn]] 函数返回 将导致未定义行为	导致运行时- 未定义行为

参考

• C++23 标准 (ISO/IEC 14882:2024)

• 9.12.10 Noreturn 属性 [dcl.attr.noreturn]

• C++20 标准 (ISO/IEC 14882:2020)

• 9.12.9 Noreturn 属性 [dcl.attr.noreturn]

• C++17 标准 (ISO/IEC 14882:2017)

• 10.6.8 Noreturn 属性 [dcl.attr.noreturn]

• C++14 标准 (ISO/IEC 14882:2014)

• 7.6.3 Noreturn 属性 [dcl.attr.noreturn]

• C++11 标准 (ISO/IEC 14882:2011)

• 7.6.3 Noreturn 属性 [dcl.attr.noreturn]

参见

C 文档，关于 _Noreturn

C 文档，关于 [[noreturn]]