# 統一初始化的語法和語義 按照對象的類型以及初始化時的上下文，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)](http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2007/n2215.pdf) . * [N2640==08-0150] Jason Merrill and Daveed Vandevoorde: [Initializer Lists — Alternative Mechanism and Rationale (v. 2)](http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2008/n2640.pdf) (final proposal). （翻譯：張瀟）