C言語では、関数プロトタイプ(function prototypes)は関数の宣言であり、実際の実装の前にコンパイラに戻り値の型、名前、パラメータの型を通知します。プロトタイプは通常、ヘッダーファイル(.h)に配置されます。それを使用することで:
プロトタイプの例:
// math_utils.h int sum(int a, int b); // 関数プロトタイプ
// main.c #include "math_utils.h" int main() { int result = sum(3, 4); // コンパイラはsumのシグネチャを知っています }
プロトタイプがない場合、関数はintを返し、未定義の数の引数を取るものと見なされ、実行時に予期しないエラーが発生する可能性があります。
質問: 定義されていない関数をCで呼び出すことは可能ですか?プロトタイプとして宣言されていない場合は?
回答: C89標準では、戻り値がintであり、パラメータがチェックされていない場合(implicit int, implicit promotion)には、関数が定義される前に呼び出すことが許可されていました。現在の標準では、これに対して警告やエラーが発生し、このアプローチは推奨されません。
エラーの例:
int main() { foo(1, 2); // fooのプロトタイプがない } int foo(double x, double y) { ... }
コンパイラは引数をintとして機能を呼び出しますが、シグネチャはdoubleを暗示しています — 結果はUBまたは不正な値です。
逸話
大規模な科学プロジェクトのいくつかのモジュールでは、データ処理関数のプロトタイプが不足していました。
floatをintの代わりに渡すと、エラーは運用段階での計算が不正確だったことによって初めて明らかになり、コンパイル時にはエラーが発生しませんでした。
逸話
モジュール化されたビルド自動化ユーティリティでは、関数が
.cファイルのみに定義され、ヘッダーでの宣言はありませんでした。二つのモジュールで同じ名前と互換性のないパラメータを持つ関数が定義され、リンキング時に難解なバインディングエラーを引き起こしました。
逸話
埋め込みシステム向けのプロジェクトで、初期化関数がプロトタイプなしに定義の前に呼び出される問題が発生しました。コンパイラによるパラメータと戻り値のタイプに関する仮定のためにロジックが大きく崩れ、特定のメモリ構成のビルドでのみシステムが不具合を起こしました。