统一初始化的语法和语义

按照对象的类型以及初始化时的上下文,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型返回值

其他参考文档:

(翻译:张潇)