C言語の関数指定子とは？_Noreturnの意味と使い方を解説

関数指定子とは

CおよびC++には、関数の性質をコンパイラに指示するための「関数指定子（function specifier）」が用意されています。関数指定子を使うことで、その関数がどのような振る舞いをするのかを明示的に宣言できます。

• C++：inline 関数指定子を持つ
• C（C11以降）：_Noreturn 関数指定子を持つ

_Noreturnは、その関数が呼び出し元へ制御を返さないことをコンパイラに伝えるための指定子です。本来はexit()やabort()のようにプログラムを終了させる関数に対して使用します。

通常の関数の例

#include<stdio.h>
int myAdd(int a, int b){
   return a + b;
}
main() {
   int x = 10, y = 20;
   printf("The value is: %d\n", myAdd(x, y));
}

実行結果

The value is: 30

このように、通常の関数であれば何も問題なくコンパイル・実行できます。

_Noreturnを付けた場合の例

次に、値を返す関数に誤って_Noreturnを付けた場合を見てみましょう。この場合、コンパイラは警告を出力し、プログラムはエラーとなって終了します。

#include<stdio.h>
_Noreturn int myAdd(int a, int b){
   return a + b;
}
main() {
   int x = 10, y = 20;
   printf("The value is: %d\n", myAdd(x, y));
}

実行結果（警告）

[Warning] function declared 'noreturn' has a 'return' statement
[Warning] 'noreturn' function does return

「noreturn」と宣言された関数にreturn文が存在していることを示す警告が出力されています。_Noreturnを指定した関数では、exit()などを呼び出して必ず制御を返さない形で実装する必要があります。値を返す通常の関数に付けてしまうと、上記のような警告やエラーの原因となるため注意しましょう。