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

関数が戻らないことを示します。

構文

説明

関数が終了後に制御フローを呼び出し元の関数に戻さないことを示します（例：アプリケーションを終了する関数、例外をスローする関数、無限ループする関数など）。この属性は、関数宣言内で宣言されている関数名にのみ適用されます。

以前に [ [ 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の関数型に適用されている
int main()
{
    try { f(); } catch(...) {}
    try { q(42); } catch(...) {}
}

標準ライブラリ

以下の標準関数は noreturn 属性で宣言されています：

不具合報告

以下の動作変更の欠陥報告書は、以前に公開されたC++規格に対して遡及的に適用されました。

参考文献

関連項目