©
本文档使用 PHP中文网手册 发布
函数声明引入了一个指定函数的标识符,并且可选地指定函数参数的类型(原型)。函数声明(与定义不同)可能出现在块作用域和文件作用域中。
在函数声明的声明语法中,可能由声明者修改的类型说明符序列指定返回类型(可以是除数组或函数类型之外的任何类型),声明符具有以下两种形式之一:
noptr-declarator ( parameter-list ) | (1) | |
---|---|---|
noptr-declarator ( identifier-list(optional) ) | (2) |
其中
noptr声明符 | - | 除unparenthesized指针声明符外的任何声明符。包含在此声明器中的标识符是成为函数标识符的标识符。 |
---|---|---|
参数列表 | - | 无论是单个关键字void还是以逗号分隔的参数列表(可能以省略号参数结尾) |
标识符表 | - | 逗号分隔的标识符列表(只有在该声明符被用作旧式函数定义的一部分时),对于不是定义的旧式声明,必须省略。 |
1)新式(C89)函数声明。该声明既引入了函数指示符本身,也作为未来函数调用表达式的函数原型,强制从参数表达式转换为声明的参数类型,并对参数个数进行编译时检查。
int max(int a, int b); // declarationint n = max(12.01, 3.14); // OK, conversion from double to int
2)旧式(K&R)功能声明。这个声明不像原型,任何未来的函数调用表达式都会执行默认的参数提升,并且如果参数的数量与参数的数量不匹配,将会调用未定义的行为。
int max();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)int max(a, b) int a, b; { return a>b?a:b; } // definition expects ints; the second call is undefined
函数的返回类型由声明符中的类型说明符确定,并可能在声明中像通常那样可能由声明器修改,这些类型必须是完整的非数组对象类型或类型void
。
void f(char *s); // return type is voidint sum(int a, int b); // return type of sum is int.int (*foo(const void *p))[3]; // return type is pointer to array of 3 int
函数声明符可以与其他声明符合在一起,只要它们可以共享它们的类型说明符和限定符。
int f(void), *fip(), (*pfi)(), *ap[3]; // declares two functions and two objectsinline int g(int), n; // error: inline qualifier is for functions onlytypedef int array_t[3];array_t a, h(); // error: array type cannot be a return type for a function
如果函数声明出现在任何函数之外,它引入的标识符具有文件范围和外部链接,除非static
被使用或者以前的静态声明是可见的。如果声明发生在另一个函数中,则该标识符具有块范围(并且还有内部或外部链接)。
int main(void){ int f(int); // external linkage, file scope f(1); // definition needs to be available somewhere in the program}
声明中不是函数定义一部分的参数不需要命名:
int f(int, int); // declaration// int f(int, int) { return 7; } // Error, parameters must be named in definitions
参数列表中的每个参数都是引入单个变量的声明,并具有以下附加属性:
声明符中的标识符是可选的(除非该函数声明是函数定义的一部分)
int f(int, double); // OKint g(int a, double b); // also OKint f(int, double) { return 1; } // Error: definition must name parameters
唯一允许存在参数的存储类说明符是register
,并且它在函数声明中被忽略,而非定义
int f(static int x); // Errorint f(int [static 10]); // OK (array index static is not a storage class specifier)
数组类型的任何参数都会调整为相应的指针类型,如果数组声明符的方括号之间存在限定符(可能为C99)
int f(int[]); // declares int f(int*)int g(const int[10]); // declares int g(const int*)int h(int[const volatile]); // declares int h(int * const volatile)int x(int[*]); // declares int x(int*)
函数类型的任何参数都会被调整为相应的指针类型
int f(char g(double)); // declares int f(char (*g)(double))int h(int(void)); // declares int h(int (*)(void))
参数列表可能会终止, ...
,详见可变参数函数。
int f(int, ...);
参数不能有类型void
(但可以有指向void的类型指针)。完全由关键字组成的特殊参数列表void
用于声明不带参数的函数。
int f(void); // OKint g(void x); // Error
出现在参数列表中的任何标识符都可以作为typedef名称或参数名称处理为 typedef 名称:int f(size_t,
uintptr_t)
被解析为函数的新样式声明器,该函数采用两个未命名的 size_t 和 uintptr_t 类型的参数,而不是一个旧式的声明器,它以一个名为 “size_t” 和 “uintptr_t” 的参数开始函数的定义。
参数可能有不完整的类型,并可能使用 VLA 符号*(除了在函数定义中,数组间指针和函数指针调整后的参数类型必须完整)
有关函数调用机制的其他详细信息,请参阅函数调用运算符,然后返回以从函数返回。
不像在 C ++中,说明符f()
和f(void)
具有不同的含义:该声明符f(void))
是一种新的风格(原型)声明符声明一个函数,它没有参数。声明符f()
是一种旧式(K&R)声明符,它声明了一个函数,该函数接受未指定数量的参数(除非在旧式函数定义中使用)。
int f(void); // declaration: takes no parametersint g(); // declaration: takes unknown parameters int main(void) { f(1); // compile-time error g(2); // undefined behavior} int f(void) { return 1; ) // actual definitionint g(a,b,c,d) int a,b,c,d; { return 2; } // actual definition
与函数定义不同,参数列表可以从 typedef 继承。
typedef int p(int q, int r); // p is a function type int(int, int)p f; // declares inf f(int, int)
在 C89中,说明符和限定符是可选的,如果省略,函数的返回类型默认为 int(可能由声明者修改)。* f(){//函数返回 int *返回NULL; } | (直到C99) |
---|
C11 standard (ISO/IEC 9899:2011):
6.7.6.3 Function declarators (including prototypes) (p: 133-136)
C99 standard (ISO/IEC 9899:1999):
6.7.5.3 Function declarators (including prototypes) (p: 118-121)
C89/C90 standard (ISO/IEC 9899:1990):
3.5.4.3 Function declarators (including prototypes)