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;
}

07-24 09:45
查看更多