使用 va_arg 传递给函数va_list不起作用

Question

我有这段使用可变参数函数的代码：

#include <cstdarg>
#include <iostream>
template <typename T>
void bar(va_list vl) {
std::cout << va_arg(vl, T) << std::endl;
}
void foo(int n, ...) {
va_list vl;
va_start(vl, n);
while (n--) {
bar<int>(vl);
}
va_end(vl);
}
int main() {
foo(3, 1, 2, 3);
return 0;
}

遗憾的是，此代码的输出取决于平台。在 GCC 7 中，我得到：

1
2
3

而在MSVC 2015中是

1
1
1

我正在编写代码来获取 GCC 输出，但我想我做错了什么，我不知道在哪里。哪个是正确的输出(如果有的话(？

两个编译器都设置为最大警告级别，但它们不会打印任何警告。 在MSVC中，va_listchar*的别名，输出是有意义的。在GCC中，它是一个内置类型，我不知道那里发生了什么。

编辑：

如果我将bar的定义更改为void bar(va_list& vl)，则输出是相同的。通过引用传递va_list是否合法？

Answer 1

程序调用未定义的行为。

C++中C标准库的语义与C语言相同，cstdarg的内容应与C中的stdarg.h相同，C++标准很大，所以我在这里使用C标准，这样我更容易阅读。从C99 7.15.3开始，注释我的：

....对象 ap[类型为 va_list，我的注释] 可以作为参数传递给另一个函数;如果该函数使用参数 AP 调用va_arg宏，则调用函数中的 ap 值不确定，应在进一步引用 AP 之前传递给va_end宏。

如果你va_list对象传递给另一个函数，并在该函数中调用va_arg，则必须在同一函数中调用va_end。

根据 C99 的脚注 221，您可以将指针传递给va_list。

Answer 2

您应该使用现代 C++11 方法。使用老式的C可变参数函数是危险的。

您可以使用C++模板参数包，但在您的情况下，简单的 std：：initializer_list 只需完成工作，它非常方便：

void foo(std::initializer_list<int> items) {
for (auto item : items) {
std::cout << item  << std::endl;
}
}
int main() {
foo({1, 2, 3});
return 0;
}

演示