统一初始化的语法和语义
按照对象的类型以及初始化时的上下文,C++提供了五花八门的对象初始化的方式。若不慎误用,可能会产生匪夷所思的谬误,而且还伴随着莫名其妙的错误(调试)信息。考虑如下的代码:
string a[] = { “foo”, ” bar” }; //正确:初始化数组变量
//错误:初始化列表应用在了非聚合的向量上
vector<string> v = { “foo”, ” bar” };
void f(string a[]);
f( { “foo”, ” bar” } ); //语法错误,把一个块(block)作为了参数
以及:
int a = 2; //“赋值风格”的初始化
int aa[] = { 2, 3 }; //用初始化列表进行的赋值风格的初始化
complex z(1,2); //“函数风格”的初始化
x = Ptr(y); // “函数风格”的转换/赋值/构造操作
再如:
int a(1); //变量的定义
int b(); //函数的声明
int b(foo); // 变量的定义,或者函数的声明
要记住这么多种初始化规则,并从中选用最合适的一种,绝非易事。
C++11的解决方法是对于所有的初始化,均可使用“{}-初始化变量列表”:
X x1 = X{1,2};
X x2 = {1,2}; // 此处的'='可有可无
X x3{1,2};
X* p = new X{1,2};
struct D : X {
D(int x, int y) :X{x,y} { /* … */ };
};
struct S {
int a[3];
// 对于旧有问题的解决方案
S(int x, int y, int z) :a{x,y,z} { /* … */ };
};
与以往相比最为关键的变动是,X{a}方式的初始化,在所有的语境中都能构造出同样的结果,所以凡是能用“{}”的初始化,得到的结果都是一致的。例如:
X x{a};
X* p = new X{a};
z = X{a}; // 使用了类型转换
f({a}); // a作为函数的X型实参
return {a}; // a作为函数的X型返回值
其他参考文档:
- the C++ draft section ???
- [N2215==07-0075 ] Bjarne Stroustrup and Gabriel Dos Reis: Initializer lists (Rev. 3) .
- [N2640==08-0150] Jason Merrill and Daveed Vandevoorde: Initializer Lists — Alternative Mechanism and Rationale (v. 2) (final proposal).
(翻译:张潇)