为什么“int (*)(float)”指向“int foo()”会触发警告，而“int (*)(double)”则不会触发警告？

Question

我有这段代码：

int foo() { return 0; }
int main()
{
    int (*float_function)(float) = foo;
}

x86-64 GCC 12.2当使用, with编译时-Wall，它会产生警告（链接）：

警告：从不兼容的指针类型“int (*)()”初始化“int (*)(float)”[-Win兼容指针类型]

但是，当我从 更改float为double（链接）时：

int foo(){ return 0;}
int main()
{
    int (*double_function)(double) = foo;
}

现在警告消失了。

但我认为这两者都应该受到警告。

我有什么地方说错了吗？为什么 GCC 不抱怨第二个例子？

Answer 1

int foo()声明时未指定其参数。这是一个过时的功能，允许您使用任何参数调用它。调用该函数时，整数参数将提升为int（如果需要），float参数将提升为double。

因此，该函数无法接收参数float，这使得它与 不兼容int (*)(float)，但与 不兼容int (*)(double)。

如果您想要一个不带参数的函数，请将其声明为 ，int foo(void)这将使其与两者不兼容。

请注意，即使使用double，代码也不是有效的 C，因为int foo() {...}它是函数定义，因此编译器知道它没有参数（有关标准参考，请参阅下面 chux 的注释）。大多数编译器仍然允许它。

如果您用声明替换它int foo();并将定义放在其他地方，那么上面的内容是正确的。在这种情况下，相关标准引用（C17 6.7.6.3/15）为：

为了使两种函数类型兼容，[...]如果一种类型具有参数类型列表，而另一种类型由不属于函数定义的一部分且包含空标识符列表的函数声明符指定，[...] .] 每个参数的类型应与应用默认参数提升所产生的类型兼容。