可变参数函数中va_list解析：gp_offset递增、fp_offset固定与垃圾值问题

va_list的平台实现 #

目标平台将va_list定义为结构体数组，具体实现如下：

typedef struct {
   unsigned int gp_offset;
   unsigned int fp_offset;
   void *overflow_arg_area;
   void *reg_save_area;
} va_list[1];

测试示例代码 #

用于观察行为的可变参数函数代码如下：

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

void example_function(int arg_count, ...) {
    va_list args;
    va_start(args, arg_count);

    int i = 0;
    while (i < arg_count) {
      printf("%d\n", va_arg(args, int));
      i++;
    }

    va_end(args);
}

int main() {
    example_function(3, 1, 2, 3);
    return 0;
}

运行观察到的现象 #

运行上述代码时，va_list结构体成员呈现以下行为：

• gp_offset初始值为8，每次调用va_arg时递增8；
• fp_offset始终固定为48；
• overflow_arg_area和reg_save_area被初始化为垃圾值。

问题解答 #

1. 为何每次调用va_arg时gp_offset会递增8？ #

这是因为你使用的是64位平台，gp_offset用于记录通用寄存器参数区域的剩余偏移量。在64位系统的ABI（比如x86-64的System V ABI）中，通用寄存器传递的参数每个占8字节（int和指针类型在64位平台下都是8字节宽度）。

你的函数第一个参数arg_count已经通过通用寄存器传递，后续可变参数从下一个寄存器位置开始，初始gp_offset=8就是第一个可变参数相对于寄存器保存区域的偏移量。每次调用va_arg读取一个int类型参数，自然需要将偏移量增加8，以指向下一个参数的位置。

2. 为何fp_offset固定为48？ #

fp_offset是浮点寄存器参数区域的偏移量。你的测试代码中所有可变参数都是int类型，完全没有用到浮点寄存器传递参数，因此va_start初始化时会将fp_offset设为目标平台ABI规定的浮点寄存器保存区域的初始偏移值（这里就是48）。由于整个过程中从未读取过浮点类型参数，这个字段根本不会被修改，所以始终保持固定值。

3. 为何overflow_arg_area和reg_save_area指向垃圾值？ #

• overflow_arg_area指向的是栈上传递的参数：当可变参数数量超过寄存器能承载的数量时，多余的参数会放到栈上，这个指针就会指向栈上的参数起始位置。但你的测试中3个int参数都可以通过通用寄存器传递（x86-64的System V ABI支持前6个整数参数用寄存器传递），没有参数溢出到栈上，所以这个指针没有有效地址可指向，表现为垃圾值。
• reg_save_area指向的是寄存器参数的保存区域：如果编译器需要将寄存器中的参数保存到内存中（比如函数需要修改寄存器值），这个指针会指向该内存区域。但你的函数直接通过寄存器访问参数，不需要额外保存，所以这个指针指向的是无效内存，呈现为垃圾值。

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