在声明者之外声明参数

Question

C标准规定，对于函数定义， 如果声明符包含标识符列表，则参数的类型应在以下声明列表中声明。 显然这会产生影响。

extern int max(int a, int b)
{
return a > b ? a : b;
}

extern int max(a, b)
int a, b;
{
return a > b ? a : b;
}

这里是int a，b; 是参数的声明列表。 这两个定义之间的区别在于第一个表单充当原型声明，强制将后续调用的参数转换为函数，而第二个表单则不然。

这对程序员意味着什么，它是否会影响编译器生成的代码？

Answer 1

这意味着在第二种情况下，调用者有责任确保提供的参数类型正确; 不会提供隐式转换（默认参数促销除外）。 从6.5.2.2节：

如果表示被调用函数的表达式具有不包含原型的类型，则对每个参数执行整数提升。

...

如果表示被调用函数的表达式具有包含原型的类型，则将参数隐式转换为相应参数的类型，就像通过赋值一样。

所以调用这样的代码就可以了：

char   x = 3;
char   y = 7;
max(x, y);  // Equivalent to max((int)x, (int)y)

因为x和y在放入堆栈之前被提升为int 。

但是，像这样的代码是不可行的：

double x = 3.0;
long   y = 7;
max(x, y);  // Uh-oh

x和y将以double和long形式放在堆栈中，但max()将尝试读取两个int ，这将导致未定义的行为（实际上，原始位将被重新解释）。

这是不使用第二种形式的一个原因; 它在标准中的唯一原因是提供与（极端）遗留代码的向后兼容性。 如果您正在使用GCC，则可以使用-Wold-style-definition标志强制执行此操作; 我希望其他编译器提供相同的东西。