为什么我可以通过带有太多参数的指针调用函数？

Question

假设我有这个函数：

int func2() {
    printf("func2\n");
    return 0;
}

现在我声明一个指针：

int (*fp)(double);

它应该指向一个接受 double 参数并返回 int 的函数。

func2 没有任何参数，但当我写：（

fp = func2;
fp(2);

2 只是一个任意数字）时， func2` 被正确调用。

这是为什么？我为函数指针声明的参数数量没有意义吗？

Answer 1

是的，有一个意义。在 C 中（但在 C++ 中则不然），使用一组空括号声明的函数意味着它采用未指定数量的参数。当你这样做时，你会阻止编译器检查参数的数量和类型；它是 C 语言被 ANSI 和 ISO 标准化之前的遗留物。

未能使用正确数量和类型的参数调用函数会导致未定义的行为。如果您使用 void 参数列表显式声明函数采用零个参数，那么当您分配错误类型的函数指针时，编译器会向您发出警告：

int func1();  // declare function taking unspecified parameters
int func2(void);  // declare function taking zero parameters
...
// No warning, since parameters are potentially compatible; calling will lead
// to undefined behavior
int (*fp1)(double) = func1;
...
// warning: assignment from incompatible pointer type
int (*fp2)(double) = func2;

Answer 2

您需要显式声明参数，否则您将得到未定义的行为:)

int func2(double x)
{
    printf("func2(%lf)\n", x);
    return 0;
}