为什么C++列表初始化也会考虑常规构造函数？

Question

在C++中,当使用initializer_list语法初始化对象时,当没有其他列表初始化规则适用时,对象的常规构造函数也参与重载解析.据我所知,以下代码调用X :: X(int)

class X { int a_; X(int a):a_(a) {} );

void foo() {
   X bar{3};
}

但我不明白,为什么常规构造函数也被考虑在initializer_lists的上下文中.我觉得很多程序员现在编写X {3}来调用构造函数而不是X(3)来调用construcor.我根本不喜欢这种风格,因为它让我觉得这个对象没有常规的构造函数.

initializer_list语法也可用于调用常规构造函数的原因是什么？是否有理由比常规构造函数调用更喜欢这种语法？

Answer 1

基本上它是一个混乱.对于C++ 11,尝试创建一种统一的方法来初始化对象,而不是其他必要的多种方法:

• T v(args...); 对于通常的情况
• T d = T(); 使用基于堆栈的对象的默认构造函数时
• T m((iterator(x)), iterator());打击最疯狂的解析(注意第一个参数周围的额外括号)
• T a = { /* some structured values */ }; 用于聚合初始化

而是发明了统一初始化语法:

T u{ /* whatever */ };

目的是统一初始化语法将在任何地方使用,旧的stule将不再流行.一切都很好,除了初始化的支持者std::initializer_list<S>意识到语法将是这样的:

std::vector<int> vt({ 1, 2, 3 });
std::vector<int> vu{{ 1, 2, 3 }};

这被认为是不可接受的,并且统一的初始化语法被无可挽回地妥协以允许更好

std::vector<int> vx{ 1, 2, 3 };

这种混合的问题在于,现在有时不清楚实际意味着什么,并且统一初始化语法不再是统一的.它仍然是有必要在某些情况下(尤其是值初始化基于堆栈的对象的通用代码),但它不是在所有情况下的正确选择.例如,以下两个符号意味着相同的意思,但它们不是:

std::vector<int> v0(1, 2); // one element with value 2
std::vector<int> v1{1, 2}; // two elements: 1 and 2

tl; dr:初始化列表和统一初始化语法是两个单独的符号.可悲的是,他们发生冲突.