c - va_list 参数实际上不是 va_list

Question

尝试编译此代码时

#include <stdarg.h>

void bar_ptr(int n, va_list *pvl) {
    // do va_arg stuff here
}

void bar(int n, va_list vl) {
    va_list *pvl = &vl; // error here
    bar_ptr(n, pvl);
}

void foo(int n, ...) {
    va_list vl;
    va_list *pvl = &vl; // fine here
    va_start(vl, n);
    bar(n, vl);
    va_end(vl);
}

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

GCC 编译器打印一个关于 initialization from incompatible pointer type 的警告。在 bar功能。 foo 中的相同语句很好。 .

似乎 va_list 类型的 agument 的类型不是 va_list .这可以使用静态断言轻松测试，例如

_Static_assert(sizeof(vl) == sizeof(va_list), "invalid type");

在 bar功能。使用 GCC， _Static_assert失败。同样可以在 C++ 中使用 declytpe 进行测试。和 std::is_same .

我想取 va_list vl的地址 bar 的论点, 并将其作为 bar_ptr 的参数传递, 做的想法就像这个 thread 中描述的那样.另一方面，可以调用 bar_ptr(n, pvl)直接来自 main , 替换 bar(n, vl) .

根据 C11 final draft 的脚注 253 ,

It is permitted to create a pointer to a va_list and pass that pointer to another function

如果 va_list 为什么不能这样做被定义为函数的参数，而不是在函数体中？

解决方法:

即使这不能回答问题，一个可能的解决方法是更改​​ bar 的内容。通过使用 va_copy 创建的参数的本地副本:

void bar(int n, va_list vl) {
    va_list vl_copy;
    va_copy(vl_copy, vl);
    va_list *pvl = &vl_copy; // now fine here
    bar_ptr(n, pvl);
    va_end(va_copy);
}

Answer 1

va_list标准允许是一个数组，而且通常是这样。
这意味着 va_list在函数参数中被调整为指向任何 va_list 的指针的内部第一个元素是。

关于如何 va_list 的奇怪规则 (7.16p3)通过基本上可以容纳va_list的可能性。可能是数组类型或常规类型。

我个人包va_list在 struct所以我不必处理这个。

然后，当您将指针传递给这样的 struct va_list_wrapper ，基本上就好像您将指针传递给 va_list ，然后是 footnote 253适用，它允许您让被调用者和调用者都操作相同的 va_list通过这样的指针。

(同样的事情也适用于 jmp_buf 和 sigjmp_buf 中的 setjmp.h。一般来说，这种类型的数组到指针调整是最好避免使用数组类型的 typedef 的原因之一。它只会造成困惑，国际海事组织。)