Function definitions

函数定义将函数体（一系列声明和语句）与函数名及参数列表相关联。与 函数声明 不同，函数定义仅允许在文件作用域中使用（不存在嵌套函数）。

C语言支持两种不同形式的函数定义：

其中

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;
}

说明

与 函数声明 类似，函数的返回类型（由 说明符与限定符 中的类型说明符确定，并可能像 声明 中通常那样被 声明符 修改）必须是完整的非数组对象类型或 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 个整数的数组的指针
    return malloc(sizeof(int[3]));
}

与 函数声明 类似，在构建函数类型时，参数类型会从函数类型调整为指针类型、从数组类型调整为指针类型，并且所有参数类型的顶层cv限定符在确定 兼容函数类型 时将被忽略。

int f(int, int); // 声明
// int f(int, int) { return 7; } // C23 前错误，C23 起允许
int f(int a, int b) { return 7; } // 定义
int g(void) { return 8; } // 正确：void 不声明参数

在函数体内，所有具名参数都是 左值 表达式，它们具有自动 存储期 和 块作用域 。参数在内存中的布局（或是否存储在内存中）是未指定的：这是 调用约定 的一部分。

int main(int ac, char **av)
{
    ac = 2; // 参数是左值
    av = (char *[]){"abc", "def", NULL};
    f(ac, av);
}

有关函数调用机制的其他细节，请参阅 函数调用运算符 ，关于从函数返回的内容请参见 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和b具有int类型，返回类型为int
{
    return a>b?a:b;
}

缺陷报告

下列行为变更缺陷报告被追溯应用于先前发布的C语言标准。

参考文献

参见