在另一个主题中,@Dietmar 给出了这个解决方案:
template <typename... T>
std::tuple<T...> parse(std::istream& in)
{
return std::tuple<T...>{ T(in)... };
}
说明,
大括号初始化的使用是有效的,因为大括号初始化列表中参数的求值顺序是它们出现的顺序。(强调我的)
C++ 标准 (n3485) 中的相关文本是,
在一个花括号初始化列表的初始化列表中,初始化子句,包括任何由包扩展 (14.5.3) 产生的子句,按照它们出现的顺序进行评估。也就是说,与给定初始化子句相关联的每个值计算和副作用在初始化器列表的逗号分隔列表中与任何初始化子句相关联的每个值计算和副作用之前进行排序。[注意:无论初始化的语义如何,这种评估顺序都成立;例如,它适用于初始化器列表的元素被解释为构造函数调用的参数时,即使调用的参数通常没有顺序约束。——尾注]
所以我尝试使用以下代码对此进行测试:
template<int N>
struct A
{
std::string data;
A(std::istream & stream) { stream >> data; }
friend std::ostream& operator<<(std::ostream & out, A<N> const & a)
{
return out << "A"<<N<<"::data = " << a.data;
}
};
typedef A<1> A1;
typedef A<2> A2;
template<typename ...Args>
void test(std::istream & stream)
{
std::tuple<Args...> args { Args(stream)... };
std::cout << std::get<0>(args) << std::endl;
std::cout << std::get<1>(args) << std::endl;
}
int main()
{
std::stringstream ss("A1 A2");
test<A1,A2>(ss);
}
预期输出:
A1::data = A1
A2::data = A2
实际输出:
A1::data = A2
A2::data = A1
我在测试代码中做错了吗?我将代码更改为:
std::stringstream ss("A1 A2");
std::tuple<A1,A2> args{A1(ss), A2(ss)};
std::cout << std::get<0>(args) << std::endl;
std::cout << std::get<1>(args) << std::endl
与之前的输出相同。我用MinGW (GCC) 4.7.0
and测试了我的代码4.7.2
。甚至 ideone 也给出了这个输出。
它是编译器中的错误吗?