x86_64 va_list 结构的格式是什么？

Question

有人有关于 x86_64 ABI（Linux 上使用的）中 va_list 表示的参考吗？我正在尝试调试一些堆栈或参数似乎已损坏的代码，这确实有助于理解我应该看到的内容......

Answer 1

x86-64 System V ABi 文档可能会有所帮助< /a>.尽管很轻，但它是一个参考。

变量参数列表参考从第 54 页开始，然后是第 56-57 页文档 va_list：

va_list 类型

va_list 类型是一个数组，其中包含一个结构的单个元素，该结构包含实现 va_arg 宏所需的信息。 va_list 类型的 C 定义如图 3.34 所示。

图 3.34：va_list 类型声明

typedef 结构 {
   无符号整型 gp_offset；
   无符号整型 fp_offset；
   无效*overflow_arg_area；
   无效*reg_save_area;
} va_list[1];

va_start 宏

va_start 宏初始化结构如下：

reg_save_area 该元素指向寄存器保存区域的起始位置。

overflow_arg_area 该指针用于获取在堆栈上传递的参数。它使用堆栈上传递的第一个参数的地址（如果有）进行初始化，然后始终更新以指向堆栈上下一个参数的开头。

gp_offset 该元素保存从 reg_save_area 到保存下一个可用通用参数寄存器的位置的字节偏移量。如果所有参数寄存器都已用尽，则将其设置为值 48 (6 * 8)。

fp_offset 该元素保存从 reg_save_area 到保存下一个可用浮点参数寄存器的位置的字节偏移量。如果所有参数寄存器都已用尽，则将其设置为值 304 (6 * 8 + 16 * 16)。

Answer 2

事实证明，问题是 gcc 将 va_list 设为数组类型。我的函数具有签名：

void foo(va_list ap);

并且我想将指向 ap 的指针传递给另一个函数，所以我这样做了：

void foo(va_list ap)
{
    bar(&ap);
}

不幸的是，数组类型在函数参数列表中衰减为指针类型，因此而不是传递指针对于原始结构，我将一个指针传递给一个指针。

为了解决这个问题，我将代码更改为：

void foo(va_list ap)
{
    va_list ap2;
    va_copy(ap2, ap);
    bar(&ap2);
    va_end(ap2);
}

这是我能想到的唯一可移植的解决方案，它解释了 va_list 是数组类型的可能性和不是数组类型的可能性。

Answer 3

在i386架构中，va_list是指针类型。然而，在AMD64架构中，它是数组类型。有什么区别？实际上，如果您应用 &对指针类型进行操作，您将得到该指针变量的地址。但无论您申请多少次，对数组类型进行操作，值是相同的，等于这个数组的地址。

那么，在 AMD64 下你应该做什么呢？在函数中传递 va_list 变量的最简单方法就是不带 * 或 & 传递它。操作员。

例如：

void foo(const char *fmt, ...) {
    va_list ap;
    int cnt;
    va_start(ap, fmt);
    bar(fmt, ap);
    va_end(ap);
    return cnt;
}
void bar(const char *fmt, va_list ap) {
    va_arg(ap, int);
    //do something
    test(ap);
}
void test(va_list ap) {
    va_arg(ap, int);
    //do something
}

它确实有效！而且你不需要担心你有多少争论。