为什么 `int (*)(float)` 指向 `int foo()` 会触发警告，而 `int (*)(double)` 指向它却不会？

Question

我有这段代码：

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

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

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

但是，当我从float更改为double ( Link ) 时：

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

警告现在消失了。

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

我哪里错了吗？ 为什么 GCC 不抱怨第二个例子？

Answer 1

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

因此，这个 function 不可能接收到float参数，这使得它与int (*)(float)不兼容，但与int (*)(double)不兼容。

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

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

如果您将其替换为声明int foo(); 并将定义放在别处，则以上是正确的。 在那种情况下，相关的标准报价 (C17 6.7.6.3/15) 是：

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

Answer 2

您是正确的，这两个示例都应该产生警告，因为正在初始化的 function 指针的类型（“ int ()(float) ”或“ int ()(double)”）与正在分配的 function 的类型不匹配到它（'int（）'）。 但是，在第二个示例中，类型“double”在没有警告的情况下隐式转换为“int”，因此赋值不会产生不兼容的指针类型错误。 这在 C/C++ 中称为“整数提升”，其中小的 integer 类型在表达式中使用时被提升为 int 或 unsigned int。

在第一个示例中，类型“float”未提升为“int”，因此不允许赋值并产生您看到的警告。 还值得注意的是，当您尝试使用不同的 arguments 调用 function 指针时，行为未定义。