无法将可变参数从一个可变参数函数传递到另一个的问题排查

问题原因 #

1. 参数传递方式错误：你试图将va_list直接传给签名为...的bar函数，这是核心错误。bar的...语法表示接收可变数量的普通参数，而非va_list类型对象。调用bar(format, args)时，实际是把va_list结构体本身当作第二个参数传给了bar，而非它指向的原始可变参数列表，导致bar内部通过va_start无法获取到正确的"args1"。

2. va_list的提前消费（次要问题）：在foo中你调用va_arg(args, char*)取出了第一个参数，虽然va_list是值传递（传给wrapper的是拷贝），所以wrapper里的args还能访问到该参数，但如果后续有多个参数，这种提前消费的行为会导致传递的参数不完整，需要注意。

修复方案 #

正确的做法是给bar实现一个接收va_list的版本（类似标准库中printf和vprintf的设计），让bar和wrapper都调用这个版本：

修正后的代码 #

#include<stdio.h>
#include<string.h>
#include<stdarg.h>

#define BUF_SIZE 1024

void foo(char*, ...);
void wrapper(char*, va_list);
void bar(char*, ...);
void vbar(char*, va_list); // 新增接收va_list的核心逻辑函数

int main() {
    char *format = "Unit testing this function %s";
    
    foo(format, "args1");

    return 0;
}

void foo(char *format, ...) {
    va_list args;
    va_start(args, format);
    char *temp = va_arg(args, char*);
    printf("args foo %s\n", temp);
    
    // 拷贝原始va_list避免提前消费的影响
    va_list args_copy;
    va_copy(args_copy, args);
    va_end(args);
    
    wrapper(format, args_copy);
    va_end(args_copy);
}

void bar(char *format, ...) {
    va_list args;
    va_start(args, format);
    vbar(format, args); // 委托给vbar处理核心逻辑
    va_end(args);
}

// 核心逻辑函数，直接接收va_list
void vbar(char *format, va_list args) {
    char buffer[BUF_SIZE];
    va_list args_copy;
    va_copy(args_copy, args); // 拷贝一份用于vsprintf，避免va_arg偏移影响
    
    char *temp = va_arg(args, char*);
    printf("args bar %s\n", temp);
    
    vsprintf(buffer, format, args_copy);
    printf("%s\n", buffer);
    
    va_end(args_copy);
}

void wrapper(char* format, va_list args) {
    vbar(format, args); // 直接调用vbar而非bar
    char *temp = va_arg(args, char*);
    printf("args wrapper %s\n", temp);
}

修正后的输出 #

args foo args1
args bar args1
Unit testing this function args1
args wrapper args1

关键注意点 #

• 可变参数函数如需间接调用（如通过wrapper传递参数），必须提供接收va_list的版本（命名通常以v开头，和标准库函数保持一致）。
• va_list是值类型，传递时会拷贝，修改拷贝后的va_list不影响原对象，但va_arg会移动当前va_list的指针，如需保留原始位置，必须用va_copy拷贝。
• 禁止直接将va_list传给期望普通可变参数的函数（签名带...的函数），这属于类型不匹配，会触发未定义行为。

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