如何在C语言中向固定参数格式的函数传递参数数组

你要的是把数组里的参数传递给固定参数列表的函数，直接像示例里那样add(args)是行不通的——因为add需要两个int参数，你传的是int*，类型不匹配会触发编译错误，强行运行也会导致参数传递错误的未定义行为。下面是两种可行的实现方式：

1. 编译期宏展开（推荐） #

利用C11的_Generic特性，在编译阶段把数组元素逐个展开为函数的参数，没有运行时开销，类型安全：

#include <stdlib.h>

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

int add3(int a, int b, int c){
    return a + b + c;
}

// 宏根据函数类型和参数个数匹配对应的调用方式
#define CALL_FUNC(func, args, count) \
    _Generic((count), \
        int: _Generic((func), \
            int(*)(int,int): func(args[0], args[1]), \
            int(*)(int,int,int): func(args[0], args[1], args[2]) \
        ) \
    )

int main(){
    int* args = calloc(2, sizeof(int));
    args[0] = 1; args[1] = 2;
    int result1 = CALL_FUNC(add, args, 2); // 等价于直接调用add(1,2)

    args = realloc(args, 3 * sizeof(int));
    args[2] = 3;
    int result2 = CALL_FUNC(add3, args, 3); // 等价于直接调用add3(1,2,3)

    free(args);
    return 0;
}

如果要支持更多参数个数或函数类型，只需要扩展_Generic里的分支即可。

2. 运行时分发函数 #

如果需要运行时动态处理不同参数个数，可以写一个分发函数，通过switch分支匹配不同的函数签名：

#include <stdlib.h>

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

int add3(int a, int b, int c){
    return a + b + c;
}

int call_int_func(void (*func)(), int* args, int arg_count) {
    switch(arg_count) {
        case 2: {
            // 强制转换函数指针类型匹配add的签名
            int (*target_func)(int,int) = (int(*)(int,int))func;
            return target_func(args[0], args[1]);
        }
        case 3: {
            int (*target_func)(int,int,int) = (int(*)(int,int,int))func;
            return target_func(args[0], args[1], args[2]);
        }
        default:
            return -1; // 参数个数不匹配时的错误处理
    }
}

int main(){
    int* args = calloc(2, sizeof(int));
    args[0] = 5; args[1] = 7;
    int res1 = call_int_func((void*)add, args, 2); // 结果为12

    args = realloc(args, 3 * sizeof(int));
    args[2] = 3;
    int res2 = call_int_func((void*)add3, args, 3); // 结果为15

    free(args);
    return 0;
}

这种方式的缺点是需要手动维护每个参数个数对应的函数类型转换，扩展性较差，而且类型转换存在一定风险，必须确保传入的函数指针和分支里的类型完全匹配。

关键注意点 #

• 绝对不能直接把数组指针传给固定参数的函数，参数传递的栈布局完全不匹配，会导致未定义行为。
• 两种方案都要求数组里的参数类型和目标函数的参数类型完全一致，否则会触发类型错误或未定义行为。

内容的提问来源于stack exchange，提问作者Ben