次の方法で共有

関数プロトタイプ

  • [アーティクル]

関数宣言を関数定義の前に挿入し、関数の名前、戻り値の型、ストレージ クラスとその他の属性を指定します。 プロトタイプにするには、関数宣言で、その関数の引数の型と識別子も指定する必要があります。

構文

declaration=
 declaration-specifiers attribute-seqopt init-declarator-listopt ;

/* attribute-seqopt は Microsoft 固有です */

declaration-specifiers=
 storage-class-specifier declaration-specifiersopt
 type-specifier declaration-specifiersopt
 type-qualifier declaration-specifiersopt

init-declarator-list=
 init-declarator
 init-declarator-list , init-declarator

init-declarator=
 declarator
 declarator = initializer

declarator=
 pointeropt direct-declarator

direct-declarator: /* 関数宣言子 */
 direct-declarator ( parameter-type-list ) /* 新しいスタイルの宣言子 */
 direct-declarator ( identifier-listopt ) /* 古いスタイルの宣言子 */

プロトタイプは、右かっこのすぐ後のセミコロンで終了するため本体がないという点を除き、関数定義と同じ形式です。 いずれの場合も、戻り値の型は、関数定義で指定された戻り値の型と一致する必要があります。

関数プロトタイプには次の重要な用途があります。

  • これらは int 以外の型を返す関数の戻り値の型を設定します。 int 値を返す関数の場合、プロトタイプは必須ではありませんが、プロトタイプの使用をお勧めします。

  • 完全なプロトタイプがない場合は標準変換が行われますが、型または引数の数とパラメーターの数は照合されません。

  • プロトタイプは、関数を定義する前に、それらの関数へのポインターを初期化するために使用されます。

  • パラメーター リストは、関数呼び出しの引数が関数定義のパラメーターと一致することを確認するために使用されます。

関数呼び出しがスタックに配置する引数の解釈は、各パラメーターの変換後の型によって決まります。 引数とパラメーターの間の型の不一致によって、スタックの引数が誤って解釈される場合があります。 たとえば、16 ビット コンピューターで 16 ビットのポインターが引数として渡され、 long パラメーターとして宣言されると、スタックの最初の 32 ビットは long パラメーターとして解釈されます。 このエラーにより、long パラメーターだけでなく、後続のすべてのパラメーターで問題が発生します。 すべての関数の完全な関数プロトタイプを宣言すれば、この種のエラーを検出できます。

プロトタイプにより、関数の属性が確立されます。 その後、関数定義の前にある (または他のソース ファイルにある) 関数呼び出しで、引数の型と戻り値の型の不一致を確認できます。 たとえば、プロトタイプで static ストレージ クラスの指定子を指定する場合、関数定義で static ストレージ クラスも指定する必要があります。

完全なパラメーター宣言 (int a) は、同じ宣言の抽象宣言子 (int) と混在させることができます。 たとえば、次の宣言は有効です。

int add( int a, int );

プロトタイプには、引数として渡されたそれぞれの式の型と識別子の両方を含めることができます。 しかし、このような識別子は、宣言の末尾までのスコープにのみ存在します。 プロトタイプは、引数の数が可変である、または渡す引数がないという事実も反映できます。 このようなリストがないと、不一致が検出されない可能性があるため、コンパイラでこれらに関する診断メッセージを生成できません。 型チェックの詳細については、「引数」を参照してください。

Microsoft C コンパイラのプロトタイプ スコープは、 /Za コンパイラ オプションを指定してコンパイルした場合に ANSI に準拠するようになりました。 プロトタイプ内で struct または union タグを宣言すると、タグはグローバル スコープではなく、そのスコープに入ります。 たとえば、ANSI 準拠のために /Za を指定してコンパイルする場合、この関数を呼び出すと常に型の不一致エラーが発生します。

void func1( struct S * );

コードを修正するには、関数プロトタイプの前にグローバル スコープで struct または union を定義または宣言します。

struct S;
void func1( struct S * );

/Ze では、タグは引き続きグローバル スコープで入力されます。

関連項目

関数