[译]GotW #1: Variable Initialization 续

Answer 2. 下面每行代码都做了什么？

在Q2中，我们创建了一个vector<int>且传了参数10和20到构造函数中，第一种情况下（10，20），第二种情况是{10， 20}。

它们都将调用构造函数，但是是哪个？vector<int>有好几个带两个参数的构造函数，但只有两个能在参数10和20下正确调用。为了简单，在此忽略了默认可选的allocator参数。这两个构造函数是：

vector( size_t n, const int& value );    // A: n copies of value

vector( initializer_list<int> values );  // B: copy of values

有两个简单的C++规则可以告诉我们上面问题中哪个会被调用：

      · 在表达式上下文中使用语法{ /*…*/ }将会带来initializer_list。

      · 带initializer_list参数的构造函数会优先于其他构造函数，这样可以隐藏其他可能会是可行的构造函数。

使用两个小缀饰，答案就变得简单了：

vector<int> v1( 10, 20 );    // (a) calls A: 10 copies of the value 20
assert( v1.size() == 10 );

vector<int> v2{ 10, 20 };    // (b) calls B: the values 10 and 20
assert( v2.size() == 2 );

 

Answer 3. 除了上面代码，使用{}初始化对象还有什么其他好处？

首先，它被称为“统一初始化”，因为它对所有类型都是一样的，包括aggregate structs、数组和std::containers，且没有恼人的“棘手的解析”：

struct mystruct { int x, y; };

// C++98 
rectangle       w( origin(), extents() );       // oops, vexing parse 
complex<double> c( 2.71828, 3.14159 ); 
mystruct        m = { 1, 2 };
int             a[] = { 1, 2, 3, 4 };
vector<int>     v;                              // urk, need more code
for( int i = 1; i <= 4; ++i ) v.push_back(i);   //   to initialize this

// C++11 (note: "=" is mostly optional)
rectangle       w   = { origin(), extents() }; 
complex<double> c   = { 2.71828, 3.14159 }; 
mystruct        m   = { 1, 2 }; 
int             a[] = { 1, 2, 3, 4 };
vector<int>     v   = { 1, 2, 3, 4 };

要注意的是这不仅仅是一个美学上的问题。在写通用代码的时候应该能初始化任意类型，下面使用perfect forwarding演示一个例子：

template<typename T, typename ...Args>
void forwarder( Args&&... args ) {
    // ...
    T local = { std::forward<Args>(args)... };
    // ...
}

forwarder<int>            ( 42 );                  // ok
forwarder<rectangle>      ( origin(), extents() ); // ok
forwarder<complex<double>>( 2.71828, 3.14159 );    // ok
forwarder<mystruct>       ( 1, 2 );                // ok because of {}
forwarder<int[]>          ( 1, 2, 3, 4 );          // ok because of {}
forwarder<vector<int>>    ( 1, 2, 3, 4 );          // ok because of {}

最后3行如果在forwarder内部使用（）来初始化的话是不合法的。

新的{}语法在几乎在任何地方都能工作，包括初始化成员：

widget::widget( /*...*/ ) : mem1{init1}, mem2{init2, init3} { /*...*/ }

在传函数参数或者返回一个值（没有类型名的临时对象）也非常方便：

void draw_rect( rectangle ); 

draw_rect( rectangle(origin, selection) );         // C++98
draw_rect({ origin, selection });                  // C++11

rectangle compute_rect() {
   // ...
   if(cpp98) return rectangle(origin, selection);  // C++98
   else      return {origin, selection};           // C++11
}

 

Answer 4. 在什么时候应该使用（）或者{ }语法来初始化对象？为什么？

这有一些简单的指南：

 

      Guideline：优先使用{}进行初始化，比如：vector<int> v = { 1, 2, 3, 4 };或auto v = vector<int>{ 1, 2, 3, 4 };（译注：※２）。因为它更一致，更正确，且完全避免了一些老式的陷阱。在单参数情况下，你可能会只看见=符号，比如：int i = 42;或者auto x = anything;省略花括号是OK的。。。

 

这覆盖了大部分情况，只有一个主要的例外情况：

      在很少情况下，比如：vector<int> v(10,20);或者auto v = vector<int>(10,20);。显示地使用（）被initializer_list构造函数隐藏的构造函数进行初始化。

然而，这应该是很少见的情况，因为默认和拷贝构造函数已经可以和{}一起工作，一个类的好的设计为了用户定义的构造函数，现在应该通常避免还原到（）的情况，所有有了最后一条设计指南：

      Guideline: 当设计一个类，避免提供一个与initializer_list构造函数有二义性的构造函数，因此用户不需要使用（）来达到调用被隐藏的构造函数。

 

※：真心不太好翻译，这里red herring应该不是字面意思。

※2：这条语句至少在VS12 CTP版的编译器上是通不过编译的。http://rise4fun.com/Vcpp/r60