va_arg在Linux与Windows上的行为差异及C标准规范问询

先看你用来复现差异的测试代码：

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

void print_vint(va_list args)
{
    int i = va_arg(args, int);
    printf("%d\n", i);
}

void variadic_f(const char* format, ...)
{
    va_list args;
    va_start(args, format);
    print_vint(args);
    print_vint(args);
    va_end(args);
}

int main(int argc, char* argv[])
{
    variadic_f("dummy ", 1, 2);
    return 0;
}

平台差异的本质原因 #

你观察到的Windows与Linux输出差异，核心是**va_list的具体实现属于平台定义范畴**：

• Windows平台中，va_list是直接指向栈位置的指针类型。按值传递va_list时，函数拿到的是指针副本，va_arg仅修改这个本地副本，不会影响原va_list的状态，因此两次调用print_vint都会读取同一个栈位置，输出均为1。
• Linux平台中，va_list是指向包含栈指针的不透明结构体的指针。按值传递时，虽然传递的是结构体指针的副本，但指针指向的结构体是同一个实例，va_arg修改的是结构体内部的栈指针，后续调用会读取下一个参数，因此输出1和2。

C标准的明确规定 #

C99及后续版本的标准对相关行为有以下明确要求：

1. va_arg的行为：va_arg会从va_list指向的位置读取指定类型的参数，并将va_list推进到下一个参数的位置。
2. va_list的传递规则：标准并未强制va_list是值类型还是引用类型，仅做出两点关键约束：
   • 若要在多个函数中独立使用同一可变参数列表（比如各自从头读取），必须通过va_copy创建副本，再传递副本；
   • 直接按值传递va_list的行为由实现定义（即平台可自行决定）。

这意味着你最初的代码行为是未被标准保证的，不同平台出现差异完全符合标准要求。

跨平台一致的写法 #

正如你发现的，将print_vint改为接收va_list的指针，即可保证跨平台行为一致：

void print_vint(va_list *args)
{
    int i = va_arg(*args, int);
    printf("%d\n", i);
}

此时va_arg直接修改原va_list的状态，无论平台如何实现va_list，两次调用都会依次读取参数，输出1和2。

如果需要在多个函数中独立读取可变参数列表（每个函数都从第一个参数开始），标准推荐的做法是用va_copy创建副本：

void print_vint(va_list args)
{
    va_list args_copy;
    va_copy(args_copy, args);
    int i = va_arg(args_copy, int);
    printf("%d\n", i);
    va_end(args_copy);
}

内容的提问来源于stack exchange，提问作者zdenko.s