_Noreturn 関数指定子 (C11以降)(C23で非推奨)

 

C

コンパイラサポート

言語

ヘッダー

型サポート

プログラムユーティリティ

可変長引数関数のサポート

エラーハンドリング

動的メモリ管理

文字列ライブラリ

アルゴリズム

数値

日付と時刻のユーティリティ

入出力サポート

ローカライゼーションサポート

並行処理サポート (C11)

技術仕様

シンボルインデックス

 

C言語

基本概念

キーワード

プリプロセッサ

文

式

初期化

宣言

関数

その他

Cの歴史

技術仕様

 

関数

関数宣言

関数定義

可変長引数

inline (C99)

_Noreturn (C11)

 

関数が呼び出し元に戻らないことを指定します。

構文

_Noreturn function_declaration		(C11以降)(C23で非推奨)

説明

_Noreturn キーワードは関数宣言に現れ、関数が `return` 文の実行や関数本体の末尾に到達することによって戻らないことを指定します（ただし、longjmp の実行によって戻ることはあります）。_Noreturn と宣言された関数が戻った場合、その動作は未定義です。これが検出可能な場合、コンパイラによる診断が推奨されます。

_Noreturn 指定子は同じ関数宣言に複数回出現する可能性がありますが、その動作は一度だけ出現した場合と同じです。

この指定子は通常、ヘッダー `` で提供される便利なマクロ noreturn を介して使用されます。

_Noreturn 関数指定子は非推奨です。代わりに [[noreturn]] 属性を使用する必要があります。 マクロ `noreturn` も非推奨です。

(C23以降)

キーワード

_Noreturn

標準ライブラリ

標準ライブラリでは、以下の関数は noreturn です。

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

例

このコードを実行

#include <stdio.h>
#include <stdlib.h>
#include <stdnoreturn.h>
 
// causes undefined behavior if i <= 0
// exits if i > 0
noreturn void exit_now(int i) // or _Noreturn void exit_now(int i)
{
    if (i > 0)
        exit(i);
}
 
int main(void)
{
    puts("Preparing to exit...");
    exit_now(2);
    puts("This code is never executed.");
}

出力

Preparing to exit...

参照

• C23標準 (ISO/IEC 9899:2024)

• 6.7.4 関数指定子 (p: TBD)

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

• C17標準 (ISO/IEC 9899:2018)

• 6.7.4 関数指定子 (p: 90-91)

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

• C11標準 (ISO/IEC 9899:2011)

• 6.7.4 関数指定子 (p: 125-127)

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

関連項目

[[noreturn]](C23)[[_Noreturn]](C23)(非推奨) {{{notes}}}	関数が戻らないことを示します (属性指定子)
C++ ドキュメント for [[noreturn]]