指向函数赋值的指针，C

Question

我不明白为什么下面的代码会生成警告：

int func(double a, int b, char c)
{
    return 0;
}
int main()
{
    int(*myPointer)() = func;
    return 0;
}

我认为在 C 中，具有空参数列表的函数意味着可以接收未知数量参数的函数。 func4 恰好接收 3 个参数。那么为什么它与 myPointer 不兼容呢？

它特别令人困惑，因为以下内容会在没有警告的情况下进行编译：

void boo()
{
     return;
}
int main()
{
    int(*pointerDude)(double) = boo;
    return 0;
}

发生了什么事？

Answer 1

这两种情况之间的区别可以这样解释：如果将参数传递给不接受任何参数的函数，那么您只是消耗了堆栈上的一些内存。如果您不将任何参数传递给接受一些参数的函数，则后者将从堆栈中读取随机数据。

更新：更改为社区 wiki，添加 Pascal Cuoq 的这些更正：

尽管编译器会发出警告，但函数指针在两个方向上的转换都是合法的、信息丰富的警告。在这两种情况下，调用具有错误原型的函数都是非法的。某些 ABI 要求函数清理堆栈，在这种情况下，将参数传递给不接受任何参数的函数，就像不将参数传递给需要参数的函数一样，肯定会破坏堆栈。

C99 6.3.2.3 段8：

指向一种类型的函数的指针可以转换为指向
另一种类型的函数然后再返回；结果应比较
等于原来的指针。如果使用转换后的指针来调用
其类型与所指向的类型不兼容的函数，
行为未定义

Answer 2

这是您收到的警告：

警告：从不兼容的指针类型初始化

您正在传递void，这意味着需要进行强制转换。您应该使用正确的类型。

Answer 3

IIRC C 编译器有某些假设，这些假设可能会导致非常奇怪的错误，因为您没有告诉它每当调用该函数时它需要多少堆栈空间。特别是由于定义不匹配，这可能会让某人无意中读取您的函数指针声明并假设没有参数并使函数返回垃圾。如果您确实想采用可变数量的参数，请使用 my_func(...) 和 varargs。

Answer 4

警告就是警告。诚实的。

在这种情况下，编译器知道您的函数指针类型不正确，并且它会公然地告诉您这一点。如果您尝试传递多个参数而不是 3 个，则会发出错误。

Answer 5

我认为问题与参数的转换有关，因为 char 不是 32 位。请注意，如果将 char 更改为 int，则效果很好。它与变量的自动提升有关。

比较两者：

int func();
int func(double a, int b, int c) 
{
    return 0;
}

gcc

int func();
int func(double a, int b, char c) 
{
    return 0;
}

会为第二个发出警告，但不会为第一个发出警告

Answer 6

在 C 中，空参数列表意味着该函数不带任何参数。我相信您将空参数列表与可变参数混淆了。

更改第一个示例以包含参数将删除警告。

int func(double a, int b, char c)
{
    return 0;
}
int main()
{
    int(*myPointer)(double, int, char) = func;
    return 0;
}