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

 

C++

语言

标准库头文件

自立与有宿主实现

具名要求

语言支持库

概念库 (C++20)

诊断库

工具库

字符串库

容器库

迭代器库

范围库 (C++20)

算法库

数值库

本地化库

输入/输出库

文件系统库 (C++17)

正则表达式库 (C++11)

原子操作库 (C++11)

线程支持库 (C++11)

技术规范

 

C++ 语言

 

声明

概览 声明语法 声明说明符序列 声明符 说明符 typedef inline virtual 函数说明符 explicit 函数说明符 friend constexpr (C++11) consteval (C++20) constinit (C++20) 存储类说明符 翻译单元局部 (C++20) classstruct union enum decltype (C++11) auto (C++11) alignas (C++11) constvolatile 详述类型说明符 属性(C++11)

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

 

属性

noreturn‎ (C++11)

carries_dependency (C++11)

deprecated (C++14)

fallthrough (C++17)

nodiscard (C++17)

maybe_unused (C++17)

likelyunlikely (C++20)(C++20)

no_unique_address (C++20)

optimize_for_synchronized (TM TS)

 

指示函数不返回。

语法

[[noreturn]]

解释

指示函数不返回。

此属性仅应用到函数声明中正在声明的函数名。若拥有此属性的函数实际上返回，则行为未定义。

若函数的任何声明指定此属性，则其首个声明必须指定它。若函数在一个翻译单元中声明为带 [[noreturn]] 属性，而同一函数在另一翻译单元中声明为不带 [[noreturn]] 属性，则程序非良构；不要求诊断。

示例

运行此代码

[[ noreturn ]] void f() {
  throw "error";
  // OK
}
 
void q [[ noreturn ]] (int i) {
  // 若以 <= 0 的参数调用则行为未定义
  if (i > 0) {
    throw "positive";
  }
}
 
// void h() [[noreturn]]; // 错误：属性应用到 h 的函数类型，而非 h 自身

标准库

下列标准函数声明带有 noreturn 属性：

终止函数
_Exit (C++11)	导致正常的程序终止，不进行清理 (函数)
abort	导致非正常的程序终止（不进行清理） (函数)
exit	导致正常的程序终止并进行清理 (函数)
quick_exit (C++11)	导致快速程序终止，不进行完全的清理 (函数)
terminate	异常处理失败时调用的函数 (函数)
unexpected (C++17 中移除)	违背动态异常说明时调用的函数 (函数)
始终抛出异常的函数
rethrow_exception (C++11)	从一个 std::exception_ptr 抛出异常 (函数)
rethrow_nested	抛出其所存储的异常 (std::nested_exception 的公开成员函数)
throw_with_nested (C++11)	抛出实参，带上混入的 std::nested_exception (函数模板)
非局部跳转 (C++17 起)
longjmp	跳转到指定位置 (函数)