函数原型 - 关闭参数检查

Question

从关于 C 的 K&R Book 中，我收集到如果函数原型声明省略了参数（如在int foo(); 中），则类型和参数检查将被关闭，并且不会假设参数与旧版本的 C 兼容所以它不会破坏遗留代码。

但是下面的代码会抛出原型不匹配的编译错误：

#include <stdio.h>
void test();
int main(void) {
    test(34.5f);
}

void test(float a) {
    printf("%f\n", a);
}

错误：

C:\***.c:7:6: error: conflicting types for 'test'
 void test(float a) {
      ^

有什么解释吗？

Answer 1

当一个函数被多次声明时，所有声明必须具有兼容类型 (C11 6.2.7/2)。在您的代码中，f 被声明了两次 - 该定义也算作声明。

“兼容函数类型”的定义在C11 6.7.6.3/15：

对于要兼容的两种函数类型，两者都应指定兼容的返回类型。此外，参数类型列表（如果两者都存在）在参数数量和省略号终止符的使用方面应一致；相应的参数应具有兼容的类型。如果一种类型具有参数类型列表，而另一种类型由不属于函数定义的函数声明符指定且包含空标识符列表，则参数列表不应有省略号终止符和 每个参数都应与应用默认参数提升所产生的类型兼容。 如果一种类型具有参数类型列表，而另一种类型由包含（可能为空）标识符列表的函数定义指定，两者在参数数量上应一致，并且每个原型参数的类型应与将默认参数提升应用到相应标识符的类型所产生的类型兼容。 （在确定类型兼容性和复合类型时，每个声明为函数或数组类型的参数都被视为具有调整后的类型，每个声明为限定类型的参数被视为具有其声明类型的非限定版本。）

因此void test() 和void test(float) 不兼容。换句话说，在看到void test(); 之后，任何原型都只能使用默认参数提升未更改的类型。在这些促销活动下，float 更改为 double。

我相信自第一个 C 标准以来一直如此。

Answer 2

使用double类型的参数定义函数。

void test(double a) {
    //...
}

问题出在这个电话里

test(34.5f);

使用了将参数转换为双精度类型的默认参数提升。

Answer 3

根据错误消息，具有默认提升的参数类型无法匹配空参数名称列表声明。所以问题是float会被提升为int，这会导致与函数定义的float参数不匹配。

声明：

void test();

它告诉编译器存在一个函数test，它没有参数也没有返回值。

定义：

void test(float a)

它告诉编译器 test() 实际上是什么，并且还提供了声明。

Answer 4

所以，最后从这里给出的所有答案和一点点阅读中，这就是我学到的东西（我将它作为答案发布，以便对将来可能遇到这个问题的任何人有所帮助）：

• 当我调用 test(23.4f) 时 - 参数会自动“强制”为双精度参数，并将调用为 test(double)，因为没有指定原型（至少对于参数）
• 由于我使用任何参数进行的任何调用都将转换为“默认提升”，因此我不能将函数声明为test(float)，因为它永远不会被使用/调用。所以，test(double) 有效，test(float) 无效。

如果我错了，请纠正我，我会编辑我的答案。

Answer 5

您告诉gcc 编译c11 代码，而不是作为K&R。

我查看了-std= 选项，但没有一个特别有用。也许完全省略语言标准参数会有所帮助。或者指定为c89。

在 c11 中，始终需要完整的原型。所以第一次使用给函数参数=(void)。在 pre-c++ 中，这确实意味着“可能有或没有传递参数”。