va_list 参数实际上不是 va_list答案

【问题标题】：va_list argument actually is not a va_listva_list 参数实际上不是 va_list
【发布时间】：2020-02-04 10:57:07
【问题描述】：

当试图编译这段代码时

#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，

允许创建指向va_list 的指针并将其传递给指向另一个函数的指针

如果 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);
}

【问题讨论】：

关于您拥有的标准引用：您实际上并没有将指针传递给va_list。
允许创建指向 va_list 的指针并将该指针传递给另一个函数您没有将指针传递给 @987654347 @，你传递的是一个实际的va_list。
我知道我正在传递一个va_list。假设我有第三个函数void bar_ptr(va_list *pvl);，我想将指向va_list vl 的指针传递给该函数。我将编辑问题以指定它。
This 和 this 问题可能会有所帮助。而且编译器也很有可能对va_list进行了特殊处理
您拥有的va_copy 方法是解决此问题的规范方法。我有几个过去的问题基本上得出了这个结论。

标签： c variadic-functions

【解决方案1】：

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

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

我个人将va_list 包裹在struct 中，所以我不必处理这个问题。

当您将指针传递给这样的struct va_list_wrapper 时，基本上就好像您将指针传递给va_list，然后应用footnote 253，这使您有权让被调用者和调用者都操作相同的@ 987654332@通过这样的指针。

(同样的事情适用于jmp_buf和setjmp.h中的sigjmp_buf。一般来说，这种类型的数组到指针的调整是最好避免数组类型typedefs的原因之一。它只是造成混乱，IMO。）

【讨论】：

如果va_list 可能是一个数组，那么标准会误导说“对象ap 可以作为参数传递给另一个函数......”（C 2018 7.16 3，@987654339 @ 是 va_list) 类型的对象。
@EricPostpischil：该标准说了很多误导性的东西，只要“某人”的意图很清楚，就认为它们不是而是/WONTFIX ... :-P

【解决方案2】：

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

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

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

【讨论】：