初始化列表中元素的求值顺序

Order of evaluation of elements in list-initialization

本文关键字:顺序 元素 列表 初始化      更新时间:2023-10-16

在另一个话题中,@Dietmar给出了这样的解决方案:

template <typename... T>
std::tuple<T...> parse(std::istream& in) 
{
    return std::tuple<T...>{ T(in)... };
}

说,

使用大括号初始化是有效的,因为在大括号初始化列表中,参数求值顺序与它们出现的顺序相同。(强调我)

c++标准(n3485)中的相关文本是,

在大括号初始化列表的初始化列表中,初始化子句,包括包展开(14.5.3)产生的任何初始化子句,按照它们出现的顺序求值。也就是说,在初始化器列表的逗号分隔列表中,与给定初始化器子句关联的每个值计算和副作用都排在与它后面的任何初始化器子句关联的每个值计算和副作用之前。[注:无论初始化的语义如何,这个求值顺序都保持不变;例如,当初始化器列表的元素被解释为构造函数调用的参数时,即使调用的参数通常没有排序约束,它也适用。-end note]


所以我试着用下面的代码来测试:
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.04.7.2测试了我的代码。甚至ideone也给出了这样的输出。

是编译器中的错误吗?

回答我自己的问题。删除这个问题不是一个好主意,因为将来有人可能会有同样的问题。

是的。这是GCC编译器中的一个错误。

  • Bug 51253 - [c++ 11][DR 1030]在括号-init-list
  • 中初始化子句的求值顺序(sequence -before关系)

摘自@Johannes Schaub对这个问题的评论

相关文章: