调用带有额外参数的C函数是否可移植？

Question

请考虑以下代码:

#include <stdio.h>

typedef int (*addif_fn_t) (int, int, int);

int add (int a, int b) {
    return a + b;
}

int addif (int a, int b, int cond) {
    return cond ? (a + b) : 0;
}

int main() {
    addif_fn_t fn;

    fn = addif;
    printf("addif:\t%d %d\n", fn(1, 2, 1), fn(1, 2, 0));

    fn = (addif_fn_t)add;
    printf("add:\t%d %d\n", fn(1, 2, 1), fn(1, 2, 0));

    return 0;
}

在使用标准C调用约定的任何Intel计算机上,这会导致:

addif:  3 0
add:    3 3

问题是:这个成语有多便携？C允许调用一个参数多于它接受的函数吗？

我的猜测是它完全取决于ABI以及它如何确定函数参数和局部变量的存储位置.更重要的是,这可能不是可移植代码.但我已经看到这个习惯用法在实际代码库中多次使用.

Answer 1

实际上,我不知道它是多么"可移植"(从某种意义上说它是否会按照您在现有实现中的预期行为,或者至少在您关注的实现子集中).

就C标准而言,它根本不可移植.你的程序有不确定的行为,因为它要求通过(一个类型的表达式的功能int(*)(int, int),从实际类型的功能(不同int(*)(int, int, int))(前者是用来类型.定义你的add功能;后者则是表达的类型fn用作通话的前缀.)

这在C标准第6.5.2.2节第9段中说明:

如果函数定义的类型与表示被调用函数的表达式指向的类型(表达式)不兼容,则行为未定义.

(该链接指向C11标准的N1570草案的PDF.您可以在该标准的其他版本中找到类似或相似的措辞.)

我的建议:不要那样做.

但是请注意,对于可变参数函数的多余参数(类似于printf()a的函数, ...)被静静地忽略.例如,这是完全合法的:

printf("Ignore the arguments\n", 10, 20, 30);

如果你真的需要能够在不知道它期望多少个参数的情况下调用一个函数,这可能是一种可行的方法(尽管你将失去与之匹配的任何参数的编译时类型检查, ...).

对于非可变函数,您可以自由地将函数指针从一种类型转换为另一种类型,但您必须为每次调用转换回正确的类型.