VS2015编译器反转了参数包扩展。
我有以下代码:
#include <iostream>
#include <vector>
template <typename... T>
void f_Swallow(T &&...)
{
}
template <typename... T>
std::vector<int> f(T ...arg)
{
std::vector<int> result;
f_Swallow
(
[&]()
{
result.push_back(arg);
return true;
}
()...
) ;
return result;
}
using namespace std;
int main()
{
auto vec = f(1,2,3,4);
for (size_t i = 0; i < vec.size(); ++i)
cout << vec[i] << endl;
}
当我在XCode(clang-700.1.81)中运行此代码时,得到以下结果:
1
2
3
4
但是在VS2015中运行的相同代码会产生以下输出:
4
3
2
1
为什么参数包根据编译器的不同而有所不同?有没有办法在不检查平台和编译器版本的情况下对其进行修复?
标准不保证有关扩展顺序的任何事情吗?
最佳答案
不是参数包扩展的顺序不同,而是函数参数评估的顺序。
f_Swallow
(
[&]()
{
result.push_back(arg);
return true;
}
()...
) ;
为了简洁起见,让我们为该lambda命名为
funcN
,其中N
是参数编号。给定四个参数,参数包将由任何符合条件的编译器扩展为:f_Swallow(func1(), func2(), func3, func4()) ;
函数参数的求值顺序在C++中未指定。编译器可以按顺序(例如您的Clang版本),按相反的顺序(例如您的MSVC版本)或按其喜欢的任何顺序评估它们。您不能指望评估订单。
要获得所需的内容,可以将表达式放入指定评估顺序的上下文中。例如:
template <typename... T>
std::vector<int> f(T ...arg)
{
std::vector<int> result;
(void)std::initializer_list<int> { (result.push_back(arg), 0)... };
return result;
}
在C++ 17中,您可以使用fold expressions进行以下操作:
template <typename... T>
std::vector<int> f(T ...arg)
{
std::vector<int> result;
(result.push_back(arg), ...);
return result;
}