Function definitions

函数定义将函数体（声明和语句序列）与函数名称和参数列表关联起来。与函数声明不同，函数定义只允许在文件范围内（没有嵌套函数）。

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

其中

• 可能由声明者修改的类型说明符构成返回类型
• 存储类说明符，其中确定所述识别符的键（static，extern或无）
• 函数说明符inline，noreturn或none

 parameter-list-declarator   -   a declarator for a function type which uses a [parameter list](function_declaration) to designate function parameters     identifier-list-declarator   -   a declarator for a function type which uses a [identifier list](function_declaration) to designate function parameters     declaration-list   -   sequence of declarations that declare every identifier in identifier-list-declarator. These declarations cannot use initializers and the only [storage-class specifier](storage_duration) allowed is `register`.     function-body   -   a [compound statement](statements#Compound_statements), that is a brace-enclosed sequence of declarations and statements, that is executed whenever this function is called   

1）新式（C89）功能定义。该定义既引入了函数本身，又作为未来函数调用表达式的函数原型，强制从参数表达式转换为声明的参数类型。

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

2）旧式（K＆R）功能定义。这个定义不像原型，任何未来的函数调用表达式都会执行默认参数促销。

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

说明

与函数声明一样，函数的返回类型由声明符中的类型说明符确定，并可能在声明中像通常一样由声明器修改，这些类型必须是完整的非数组对象类型或类型void。

void f(char *s) { puts(s); } // return type is void
int sum(int a, int b) { return a+b: } // return type is int
int (*foo(const void *p))[3] { // return type is pointer to array of 3 int
    return malloc(sizeof(int[3]));
}

和函数声明一样，参数的类型从函数调整到指针，从数组到指针，为了构造函数类型，它们的顶级限定符被去除。

与函数声明不同，未命名的形式参数是不允许的，即使它们没有在函数中使用，它们也必须被命名。唯一的例外是特殊参数列表(void)。

int f(int, int); // declaration
// int f(int, int) { return 7; } // Error
int f(int a, int b) { return 7; } // definition
int g(void) { return 8; } // OK, void doesn't declare a parameter

在函数体内，每个参数都是一个左值表达式，它们具有自动存储持续时间和块范围。内存中的参数布局（或者如果它们存储在内存中）未指定：它是调用约定的一部分。

int main(int ac, char **av)
{
    ac = 2; // parameters are lvalues
    av = (char *[]){"abc", "def", NULL};
    f(ac, av);
}

有关函数调用机制的其他详细信息，请参阅函数调用运算符，然后返回以从函数返回。

笔记

参数列表必须明确地出现在声明器中，它不能从 typedef 继承。

typedef int p(int q, int r); // p is a function type int(int, int)
p f { return q + r; } // Error

参考

• C11 standard (ISO/IEC 9899:2011):
  • 6.9.1 Function definitions (p: 156-158)
• C99 standard (ISO/IEC 9899:1999):
  • 6.9.1 Function definitions (p: 141-143)
• C89/C90 standard (ISO/IEC 9899:1990):
  • 3.7.1 Function definitions