C语言已知可变参数个数时如何实现可变参数函数转发

就算提前明确知道可变参数的传入个数，在符合标准C语法、不修改被调函数f签名、不使用C++特性的约束下，完全无法实现通用、可移植的可变参数转发逻辑。

• 标准C的可变参数设计从根上就不支持这种转发：标准提供的va_list相关接口（va_start/va_arg/va_end）只支持逐个数按指定类型读参数，根本没有提供把已经读出的参数重新拼成...要求的传参序列的能力，没法直接塞给另一个接收可变参数的函数。
• 仅知道参数个数完全不够构造合法调用：C生成函数调用指令的时候，必须在编译期确定每个位置传的参数是什么类型，才能正确处理参数提升、栈对齐、寄存器/栈分配这些逻辑。你在f_wrapper里拿到的只有运行时的参数原始值，没有任何类型信息——同样是3个参数，可能是3个字符串指针，可能是2个整型加1个浮点数，也可能是各种类型混着传，你根本不可能为每个传参位置匹配正确的类型，硬传就是未定义行为。
• 靠switch写分支穷举的思路没有实际可用性：你确实可以按argc的数值跳转到不同分支，手动取参数再传给f，但你得穷举所有参数个数、每个位置所有可能的参数类型组合，这是不可能完成的事——只要实际传入的参数类型不在你预写的覆盖范围内，程序立刻出问题，根本算不上通用实现。
• 靠编译器私有扩展硬凑的方案完全不可移植：比如GCC提供的__builtin_apply一类内置函数可以手动拼调用栈，但这套逻辑强依赖架构、调用约定、编译选项，参数传寄存器还是传栈、栈要对齐到多少字节这些规则一变，程序直接崩，生产环境根本不敢用。

所有符合标准的C代码里，可变参数转发只有一种可行路径：被调用的可变参数函数必须额外提供一个接收va_list参数的版本（比如printf对应的vprintf），转发方只需要把自己初始化好的va_list直接传入这个版本即可。但题目里明确约束不能给f添加带va_list的签名，这条路直接被堵死。

下面是典型的错误实现示例，可以直观看到类型未知带来的问题：

int f_wrapper(int argc, ...){ 
  va_list ap;
  va_start(ap, argc);
  switch(argc) {
    case 0: 
      va_end(ap);
      return f();
    case 1: {
      // 这里硬编码按int取参数，如果调用方传的是char*或者double，直接触发未定义行为
      int a1 = va_arg(ap, int);
      va_end(ap);
      return f(a1);
    }
    case 2: {
      // 两个参数的类型组合无穷无尽，根本不可能穷举覆盖
      int a1 = va_arg(ap, int);
      int a2 = va_arg(ap, int);
      va_end(ap);
      return f(a1, a2);
    }
    // 更多参数个数的分支全有同样的类型未知问题，永远不可能覆盖所有场景
  }
  va_end(ap);
  return -1;
}

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