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 编译器在 bar 函数中打印关于 initialization from incompatible pointer type 的警告。 foo.

中的相同语句很好

va_list 类型的参数似乎不是 va_list。这可以使用像

这样的静态断言轻松测试

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

在bar函数中。使用 GCC，_Static_assert 失败。同样可以在 C++ 中使用 declytpe 和 std::is_same.

进行测试

我想获取 bar 的 va_list vl 参数的地址，并将其作为 bar_ptr 的参数传递，以实现此 thread。另一方面，可以直接从 main 调用 bar_ptr(n, pvl)，替换 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 被定义为函数的参数，而不是在函数体中，为什么不能这样做？

解决方法：

即使这不能回答问题，一个可能的解决方法是使用 va_copy:

创建的参数的本地副本来更改 bar 的内容

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。一般来说，这种数组到指针的调整是数组类型[=的原因之一23=]s 最好避免。它只会造成混乱，IMO。）

Answer 2

另一种解决方案（仅限 C11+）：

_Generic(vl, va_list: &vl, default: (va_list *)vl)

说明：如果 vl 的类型为 va_list，则 va_list 不是数组类型，只需获取地址就可以得到 va_list * 指向它。否则，它必须具有数组类型，然后您可以将指向数组第一个元素的指针（无论是什么类型）转换为指向数组的指针。

va_list 参数实际上不是 va_list

va_list argument actually is not a va_list

c

variadic-functions