可变参数模板参数上的 C++11 初始值设定项列表：为什么这不起作用

Question

在初始化列表中包含可变参数模板的参数应该确保它们按顺序进行评估，但这里不会发生：

#include <iostream>
using namespace std;


template<class T> void some_function(T var)
{
   cout << var << endl;
}

struct expand_aux {
    template<typename... Args> expand_aux(Args&&...) { }
};

template<typename... Args> inline void expand(Args&&... args) 
{
   bool b[] = {(some_function(std::forward<Args>(args)),true)...}; // This output is 42, "true", false and is correct
   cout << "other output" << endl;
   expand_aux  temp3 { (some_function(std::forward<Args>(args)),true)...  }; // This output isn't correct, it is false, "true", 42
}

int main()
{
   expand(42, "true", false);

   return 0;
}

怎么会？

Answer 1

如前所述，您的问题是编译器错误。您编写的代码应按顺序评估其参数。

我的建议是明确说明您想要做什么，以及您执行的顺序，并避免滥用逗号运算符（顺便说一句，如果 some_function 返回的类型为覆盖operator,）或使用初始化列表保证（虽然标准，但也相对晦涩）。

我的解决方案是写然后使用do_in_order:

// do nothing in order means do nothing:
void do_in_order() {}
// do the first passed in nullary object, then the rest, in order:
template<typename F0, typename... Fs>
void do_in_order(F0&& f0, Fs&&... fs) {
  std::forward<F0>(f0)();
  do_in_order( std::forward<Fs>(fs)... );
}

你可以这样使用：

do_in_order( [&]{ some_function(std::forward<Args>(args)); }... );

您将要执行的操作包装在匿名的 nullary 全捕获 lambda 中，然后使用 ... 创建所述 lambda 的一整套实例并传递给 do_in_order，后者通过完美转发按顺序调用它们.

这对于编译器来说应该很容易内联并简化为一系列调用。它直接说明了它的作用，不需要奇怪的 void 强制转换、逗号运算符的使用或值被丢弃的数组。

Answer 2

这似乎是一个错误。输出应该是您所期望的。

虽然不能保证构造函数调用的参数的求值顺序一般，但可以保证花括号初始化器列表中表达式的求值顺序。

根据 C++11 标准的第 8.5.4/4 段：

在花括号初始化列表的初始化列表中，初始化子句，包括任何由 pack 产生的子句 扩展 (14.5.3)，按照它们出现的顺序进行评估。也就是说，每个值计算和 与给定初始化子句相关的副作用在每个值计算和边之前排序 与在初始化器列表的逗号分隔列表中跟随它的任何初始化器子句相关联的效果。 [注意：无论初始化的语义如何，这种评估顺序都成立；例如，它适用 当初始化列表的元素被解释为构造函数调用的参数时，即使 通常对调用的参数没有顺序限制。 ——尾注]