c - 通过指向未指定参数的函数的指针调用的不同元数的函数

Question

在查看了 C 标准和几个 comp.lang.c 帖子后，我 99% 相信这是合法的，但我希望有人可以在允许(或禁止)这种情况的标准中提供准确的语言:

#include <stdio.h>

double id (double x) { return x; }
double add2 (double x, double y) { return x + y; }
double add3 (double x, double y, double z) { return x + y + z; }

typedef double (*fp) ();
static fp funcs[] = { id, add2, add3 };

int main (void)
{
    printf("id(5.3) = %f\n", funcs[0](5.3));
    printf("add2(5.3, 6.1) = %f\n", funcs[1](5.3, 6.1));
    printf("add3(5.3, 6.1, 7.2) = %f\n", funcs[2](5.3, 6.1, 7.2));

    return 0;
}

所提供的示例在 MinGW gcc 4.4.0 下使用 -Wall -pedantic -ansi 为我提供了预期结果。

注意事项:

• 我知道调用带有未指定参数的函数会根据整数提升规则和 float 参数隐式提升整数参数到 double。当通过指向未指定参数的函数的函数指针调用时，此行为是否会以任何方式改变？ (我不明白为什么会这样。)
• 我看到一些帖子暗示不允许通过函数调用带有 ... 说明符(例如 double uhoh (double x, ...))的函数指向未指定参数的函数的指针。从实现的角度来看，这是有道理的，但我无法确定标准中禁止这样做的条款。

Answer 1

首先我可以建议标准函数调用语法:

void foo(int);
foo(3);

根据 foo 定义为函数指针，然后被调用；因此我不明白为什么您的情况与“标准”函数调用之间会有任何差异。

其次，n1256 6.5.2.2 详细介绍了函数调用语义，如果参数的数量和类型与参数的数量和类型相匹配，那么它对于没有原型(prototype)的函数指针似乎定义得很好。

根据 n1256 6.7.5.3p15，空参数列表与可变参数列表不兼容:

If one type has a parameter type list and the other type is specified by a function declarator that is not part of a function definition and that contains an empty identifier list, the parameter list shall not have an ellipsis terminator and the type of each parameter shall be compatible with the type that results from the application of the default argument promotions.

这意味着将可变函数指针分配给没有原型(prototype)的指向函数的指针是违反约束的 (6.5.16.1p1)，因为您正在将指针分配给不兼容的类型。

我猜想将可变参数函数指针转换为非原型(prototype)函数指针也是 UB，也可能是 CV；但我没有检查过。