c - 调用带有额外参数的 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 调用约定的英特尔机器上，这会导致:

addif:  3 0
add:    3 3

问题是:这个成语的可移植性如何？ C 是否允许使用比它接受的参数更多的参数调用函数？

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

Answer 1

作为一个实际问题，我不知道它的“便携性”如何(从它是否会像您预期的那样在现有实现下运行，或者至少在您关心的实现子集下运行) .

就 C 标准而言，它根本不可移植。您的程序具有未定义的行为，因为它通过类型为 (int(*)(int, int) 的表达式调用函数，该类型不同于函数的实际类型 (int(* )(int, int, int)).(前者是用来定义你的add函数的类型；后者是表达式的类型fn 用作调用的前缀。)

这在 C standard 中说明, 第 6.5.2.2 节第 9 段:

If the function is defined with a type that is not compatible with the type (of the expression) pointed to by the expression that denotes the called function, the behavior is undefined.

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

我的建议:不要那样做。

但是请注意，variadic 函数的多余参数(像 printf() 这样用 , ... 声明的函数)被悄悄地忽略了。例如，这是完全合法的:

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

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

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