Function definitions

関数定義は、関数本体（宣言と文のシーケンス）を関数名と引数リストに関連付けます。 関数宣言 とは異なり、関数定義はファイルスコープでのみ許可されます（ネストされた関数は存在しません）。

C言語は2つの異なる形式の関数定義をサポートしています：

ここで

int max(int a, int b)
{
    return a>b?a:b;
}
double g(void)
{
    return 0.1;
}

int max(a, b)
int a, b;
{
    return a>b?a:b;
}
double g()
{
    return 0.1;
}

説明

関数宣言と同様に、 関数宣言 の場合と同様に、関数の戻り値の型は、 specifiers-and-qualifiers 内の型指定子によって決定され、必要に応じて declarator によって、 宣言 で通常行われるように修飾されることがあります。この戻り値の型は、完全な非配列オブジェクト型または void 型でなければなりません。戻り値の型がcvr修飾される場合、関数型を構築する目的で、その非修飾バージョンに調整されます。

void f(char *s) { puts(s); } // 戻り値の型はvoid
int sum(int a, int b) { return a+b; } // 戻り値の型はint
int (*foo(const void *p))[3] { // 戻り値の型は3つのintの配列へのポインタ
    return malloc(sizeof(int[3]));
}

関数宣言と同様に、関数型を構築する目的で、パラメータの型は関数からポインタへ、配列からポインタへと調整され、互換性のある関数型を決定する目的では、すべてのパラメータ型のトップレベルのcvr修飾子は無視されます。

int f(int, int); // 宣言
// int f(int, int) { return 7; } // C23までエラー、C23以降OK
int f(int a, int b) { return 7; } // 定義
int g(void) { return 8; } // OK: voidはパラメータを宣言しない

関数本体内部では、すべての名前付きパラメータは lvalue 式であり、それらは自動 storage duration と block scope を持ちます。メモリ内でのパラメータのレイアウト（またはメモリに格納されるかどうか）は未規定です：これは calling convention の一部です。

int main(int ac, char **av)
{
    ac = 2; // パラメータは左辺値
    av = (char *[]){"abc", "def", NULL};
    f(ac, av);
}

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

static const char __func__[] = "function name";

注記

引数リストは明示的に宣言子内に存在しなければならず、typedefから継承することはできません

typedef int p(int q, int r); // pは関数型 int(int, int) です
p f { return q + r; } // エラー

max(a, b) // a and b have type int, return type is int
{
    return a>b?a:b;
}

不具合報告

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

参考文献

関連項目