Function declarations

関数宣言は、関数を指定する 識別子 を導入し、オプションで関数パラメータの型（ プロトタイプ ）を指定します。関数宣言は（ 定義 とは異なり）ファイルスコープだけでなくブロックスコープでも現れます。

構文

関数宣言の 宣言文法 において、 type-specifier シーケンス（宣言子によって修飾される可能性がある）は 戻り値の型 （配列型または関数型以外の任意の型）を指定し、 declarator は以下の 3つ （C23以前） 2つ （C23以降） の形式のいずれかを取ります：

ここで

int max(int a, int b); // declaration
int n = max(12.01, 3.14); // OK, conversion from double to int

int max(a, b)
    int a, b; // definition expects ints; the second call is undefined
{
    return a > b ? a : b;
}
int n = max(true, (char)'a'); // calls max with two int args (after promotions)
int n = max(12.01f, 3.14); // calls max with two double args (after promotions)

説明

関数の戻り値の型は、 specifiers-and-qualifiers 内の型指定子によって決定され、通常の 宣言 と同様に declarator によって修飾される可能性があります。この型は、非配列オブジェクト型または void 型でなければなりません。関数宣言が定義でない場合、戻り値の型は 不完全型 でも構いません。戻り値の型はcvr修飾できません：修飾された戻り値の型は、関数型を構築する目的で非修飾版に調整されます。

void f(char *s);                    // 戻り値の型はvoid
int sum(int a, int b);              // sumの戻り値の型はint
int (*foo(const void *p))[3];       // 戻り値の型は3つのintの配列へのポインタ
double const bar(void);             // double(void)型の関数を宣言
double (*barp)(void) = bar;         // OK: barpはdouble(void)へのポインタ
double const (*barpc)(void) = barp; // OK: barpcもdouble(void)へのポインタ

関数宣言子は、型指定子と修飾子を共有できる限り、他の宣言子と組み合わせることができます

int f(void), *fip(), (*pfi)(), *ap[3]; // 2つの関数と2つのオブジェクトを宣言
inline int g(int), n; // エラー: inline修飾子は関数専用です
typedef int array_t[3];
array_t a, h(); // エラー: 配列型は関数の戻り値の型として使用できません

関数宣言が任意の関数の外側に現れる場合、それが導入する識別子は ファイルスコープ および 外部リンケージ を持ちます。ただし、 static が使用されている場合、または以前のstatic宣言が可視である場合は除きます。宣言が他の関数内で発生する場合、識別子はブロックスコープ（および内部または外部リンケージのいずれか）を持ちます。

int main(void)
{
    int f(int); // 外部リンケージ、ブロックスコープ
    f(1); // 定義はプログラム内のどこかで利用可能である必要があります
}

宣言内のパラメータ で 関数定義 の一部ではないもの (C23まで) は名前を付ける必要がありません：

int f(int, int); // 宣言
// int f(int, int) { return 7; } // エラー: 定義ではパラメータ名を指定する必要があります
// この定義はC23以降で許可されています

各パラメータは parameter-list 内の declaration であり、以下の追加プロパティを持つ単一の変数を導入します：

• 宣言子内の識別子はオプションです （ただし、この関数宣言が関数定義の一部である場合を除く） (until C23)

int f(int, double); // OK
int g(int a, double b); // こちらもOK
// int f(int, double) { return 1; } // エラー: 定義ではパラメータ名を指定する必要があります
// この定義はC23以降で許可されています

• パラメータに許可される唯一の ストレージクラス指定子 は register であり、定義ではない関数宣言では無視されます

int f(static int x); // エラー
int f(int [static 10]); // OK (配列インデックスのstaticは記憶クラス指定子ではない)

• 配列型のパラメータは対応するポインタ型に調整される （配列宣言子の角括弧間に修飾子がある場合は、修飾されたポインタ型になる場合がある） (C99以降)

int f(int[]); // int f(int*) を宣言
int g(const int[10]); // int g(const int*) を宣言
int h(int[const volatile]); // int h(int * const volatile) を宣言
int x(int[*]); // int x(int*) を宣言

• 関数型のパラメータは、対応するポインタ型に調整されます

int f(char g(double)); // int f(char (*g)(double)) を宣言
int h(int(void)); // int h(int (*)(void)) を宣言

• パラメータリストは , ... で終了するか、あるいは ... (C23以降) となる場合があります。詳細は variadic functions を参照してください。

int f(int, ...);

• パラメータは void 型を持つことはできません（ただしvoidへのポインタ型を持つことは可能です）。完全にキーワード void のみで構成される特別なパラメータリストは、パラメータを取らない関数を宣言するために使用されます。

int f(void); // 正常
int g(void x); // エラー

• パラメータリスト内でtypedef名またはパラメータ名として扱われる可能性のある識別子は、typedef名として扱われます： int f ( size_t , uintptr_t ) は、型 size_t と uintptr_t の無名パラメータを2つ取る関数の新しいスタイルの宣言子として解析され、" size_t "と" uintptr_t "という名前の2つのパラメータを取る関数の定義を開始する古いスタイルの宣言子としては解析されません。
• パラメータは不完全型を持つことができます またVLA表記 [ * ] (C99以降) を使用できます（ただし、 関数定義 内では、配列からポインタへの変換および関数からポインタへの変換後のパラメータ型は完全型でなければなりません）。

関数呼び出しの仕組みに関する詳細は function call operator を、関数からの戻り値については return を参照してください。

注記

int f(void); // declaration: takes no parameters
int g(); // declaration: takes unknown parameters
int main(void) {
    f(1); // compile-time error
    g(2); // undefined behavior
}
int f(void) { return 1; } // actual definition
int g(a,b,c,d) int a,b,c,d; { return 2; } // actual definition

関数 定義 とは異なり、パラメータリストはtypedefから継承されることがあります

typedef int p(int q, int r); // pは関数型 int(int, int) です
p f; // int f(int, int) を宣言します

*f() { // int*を返す関数
   return NULL;
}

不具合報告

以下の動作変更に関する欠陥報告書は、以前に公開されたC標準に対して遡及的に適用されました。

参考文献

関連項目