C语言可变参数函数级联调用问题：vprintf封装异常排查

问题场景 #

需要封装vprintf实现多个类printf函数的不同实现，但现有代码输出不符合预期：

原代码 #

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

void print_fmt2(const char *fmt, ...)
{
    va_list args;
    va_start(args, fmt);
    vprintf(fmt, args);
    va_end(args);
}


void print_fmt1(const char *fmt, ...)
{
    va_list args, args_copy;
    va_start(args, fmt);
    va_copy(args_copy, args);
    print_fmt2(fmt, args_copy);
    va_end(args_copy);
    va_end(args);
    print_fmt2("\r\n");
}


int main ()
{
  print_fmt1("test return %s %u\r\n", "is", 0);
  return 0;
}

实际输出 #

test return 3447949600

期望输出 #

test return is 0

错误原因 #

核心问题是函数调用签名不匹配：

• print_fmt2定义为可变参数函数（...），这类函数要求调用时传入实际的可变参数（如字符串、整数等），但你传递的是va_list类型的args_copy对象，这会导致vprintf解析参数时出现错误，把va_list的内存地址当成第一个可变参数的值，从而输出乱码。
• va_copy的使用本身没有问题，错误出在传递va_list给可变参数函数的行为上。

解决思路（符合C99标准） #

将print_fmt2改为接收va_list的函数（和vprintf的接口对齐），这样才能正确接收va_copy生成的参数列表：

修正后的代码 #

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

// 改为接收va_list的函数，对应vprintf的调用方式
void print_fmt2(const char *fmt, va_list args)
{
    vprintf(fmt, args);
}

void print_fmt1(const char *fmt, ...)
{
    va_list args, args_copy;
    va_start(args, fmt);
    va_copy(args_copy, args);
    // 直接传递va_list给print_fmt2
    print_fmt2(fmt, args_copy);
    va_end(args_copy);
    va_end(args);
    
    // 直接调用vprintf处理换行更简洁
    vprintf("\r\n");
}

int main ()
{
  print_fmt1("test return %s %u\r\n", "is", 0);
  return 0;
}

关键说明 #

1. 让print_fmt2的签名和vprintf一致（接收va_list），这样它就能正确处理传递过来的参数列表，完全符合C99标准中对可变参数函数和va_list的使用规范。
2. va_copy的使用是正确的，它用于复制参数列表，保证原参数列表不受后续操作影响。
3. 对于无可变参数的换行输出，直接调用vprintf更简洁，避免多余的va_list操作。

验证结果 #

编译运行修正后的代码，输出会符合预期：

test return is 0

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