【C言語】宣言より前に関数を呼び出すとどうなる？プロトタイプ宣言なしの場合の挙動を解説

C言語では、関数プロトタイプ（プロトタイプ宣言）を使わずに、関数本体が呼び出し文よりも後の位置で定義されている場合、特別な挙動を示します。この場合、コンパイラはその関数の戻り値型をデフォルトである「int」と暗黙的に仮定します。

しかし、実際の関数が int 以外の型（char や double など）の値を返す場合、コンパイル時にエラーが発生します。一方、戻り値型が int であればプログラムは正常に動作しますが、環境によっては警告メッセージが表示されることもあります。

エラーとなる例：char型を返す場合

次のコードでは、main 関数内で function() を呼び出していますが、事前にプロトタイプ宣言がないため、コンパイラは戻り値型を int と仮定します。ところが、実際の関数定義では char 型を返しているため、「型の矛盾（conflicting types）」というエラーが発生します。

#include<stdio.h>
main() {
    printf("The returned value: %d\n", function());
}
char function() {
    return 'T'; // 文字'T'を返す
}

出力結果

[Error] conflicting types for 'function'
[Note] previous implicit declaration of 'function' was here

このように、コンパイラが暗黙的に想定した型（int）と、実際の関数定義の型（char）が一致しないため、エラーとなってしまいます。

正常に動作する例：int型を返す場合

今度は戻り値型を int に変更してみます。コンパイラの暗黙的な仮定と実際の定義が一致するため、エラーなく正しく動作します。

#include<stdio.h>
main() {
    printf("The returned value: %d\n", function());
}
int function() {
    return 86; // 整数値86を返す
}

出力結果

The returned value: 86

まとめ：プロトタイプ宣言を必ず書こう

このような問題を回避するためには、関数を使用する前に必ずプロトタイプ宣言を行うことが推奨されます。また、C99以降の規格では、暗黙的な関数宣言自体が廃止されているため、現代のCプログラミングにおいてプロトタイプ宣言は事実上必須です。宣言を適切に行うことで、型の不一致によるコンパイルエラーや予期しない動作を未然に防ぐことができます。