K&R风格函数定义问题

Question

以下代码有效：

int main()
{
   void foo(int);
   foo(3);
   return 0;
}
void foo(a) int a;
{
   printf("In foo\n");
}

但这个没有：

int main()
{
   void foo(float);
   foo(3.24);
   return 0;
}
void foo(a) float a;
{
   printf("In foo\n");
}

为什么会这样？

Answer 1

实际上，这是一个有趣的问题。

这与 C 语言的演变以及它向后兼容旧版本的方式有关。

在这两种情况下，foo() 都有一个 K&R 时代的定义，但之前有一个 C99 声明（带有原型）。

但是第一种情况，int的默认参数其实就是参数，所以函数调用是兼容的。

不过，在第二种情况下，K&R 定义引入了 K&R 时代的标准参数提升规则，参数的类型实际上是 double。

但是，您在呼叫站点使用了现代原型，将其设为float。所以调用站点的代码可能推送了一个真正的float，无论如何它都是与double不同的类型。

如果所有对 foo() 的引用都是 K&R 风格，我相信你得到的最多将是一个警告，这就是编译器当时会做的事情，编译器必须这样做才能编译遗留代码.它甚至可能是一个类型安全的调用，因为浮点数都将被提升为双精度，至少对于过程调用接口是这样。 （内部功能码不一定。）