C++ attribute: noreturn (since C++11)

指示该函数不会返回。

语法

说明

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

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

若函数的任意声明指定了此属性，则其首次声明必须指定该属性。如果同一函数在一个翻译单元中声明为 [ [ noreturn ] ] ，而在另一个翻译单元中声明时未使用 [ [ noreturn ] ] ，则程序非良构；不要求诊断。

示例

[[noreturn]] void f()
{
    throw "error";
    // 正常
}
void q [[noreturn]] (int i)
{
    // 如果使用参数 <= 0 调用，行为未定义
    if (i > 0)
        throw "positive";
}
// void h() [[noreturn]]; // 错误：属性应用于函数类型 h，而非 h 本身
int main()
{
    try { f(); } catch(...) {}
    try { q(42); } catch(...) {}
}

标准库

以下标准函数被声明为具有 noreturn 属性：

缺陷报告

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

参考文献

参见