Guru of the week:#36 初始化.

/*此文是译者出于自娱翻译的GotW(Guru of the Week)系列文章的一篇，原文的版权是属于Hub Sutter（著名的C++专家，《Exceptional C++》的作者）。此文的翻译没有征得原作者的同意，只供学习讨论。――译者:黄森堂*/

#36 初始化.

难度：3/10

直接初始化与拷贝初始化有什么区别呢？，且在什么时候使用？

JG 问题：

1.直接初始化与拷贝初始化有什么区别呢？

（提示：查看早期的GotW)

Guru 问题

2.以下哪处使用直接初始化且何处使用拷贝初始化？

  struct T : S {    T() : S(1),             // 初始化基类          x(2) {}           // 成员函数初始化    X x;  };  T f( T t ) {              // passing a function argument    return t;               // 返回值  }  S s;  T t;  S& r = t;  reinterpret_cast<S>(t);   // 执行reinterpret_cast  static_cast<S>(t);        // 执行static_cast  dynamic_cast<T&>(r);      // 执行dynamic_cast  const_cast<const T&>(t);  // 执行const_cast  try {    throw T();              // 抛出异常  } catch( T t ) {          // 处理异常  }  f( T(s) );                // functional-notation type conversion  S a[3] = { 1, 2, 3 };     // brace-enclosed initializers  S* p = new S(4);          // new expression

解决方法：

1.直接初始化与拷贝初始化有什么区别呢？

（提示：查看早期的GotW)

直接初始化的理由：对象在初始化使用专一构造函数(可以转换),同等于"T t(u);":

    U u;    T t1(u); // 调用 T::T( U& ) 或类似的

拷贝初始化的理由：对象在初始化使用拷贝构造函数之后，如果成功的话首先调用用户预定的转换函数，同等于"T t = u;":

    T t2 = t1;  // 相似类型: calls T::T( T& ) 或类似的    T t3 = u;   // 不同类型different type: calls T::T( T(u) )                //  or T::T( u.operator T() ) or similar

[旁注：上述的"类似的"理由是拷贝与转换构造从普通的引用中取对象的细微差异（引用可能是const或volatile或两者），与取得用户定义的转换构造或操作，或返回对象胜于引用

注释：在最后的情形("T t3 = u;"),编译器调用两个用户定义的转换(创建临时对象)与T的拷贝构造(从临时对象构造t3),或者它选择取消从临时对象构造，而是直接从u构造t3(在结果前同等于"T t3(u);"),因为在1997年7月的最后草案里，规定编译器在取消临时对象的范围是有受限，但在优化里与在返回值的优化里是允许的,更多详细的信息，请看GotW #1(基础课)与GotW #27

Guru 问题

2.以下哪处使用直接初始化且何处使用拷贝初始化？

Section 8.5 [dcl.init] covers most of these. There were also three tricks that actually don't involve initialization at all... did you catch them?

  struct T : S {    T() : S(1),             // 基类初始化          x(2) {}           // 内部成员始化    X x;  };

基类与内部成员使用直接初始化。

  T f( T t ) {              // passing a function argument    return t;               // 返回值  }

传递到函数的对象与返回值使用拷贝初始化。

  S s;  T t;  S& r = t;  reinterpret_cast<S>(t);   // 抛行reinterpret_cast

窍门：A reinterpret_cast在所有的new出来的对象都不能初始化，但reinterpret从S仅仅是按位拷贝。

  static_cast<S>(t);        // 抛行static_cast

static_cast使用直接初始化。

  dynamic_cast<T&>(r);      // 抛行dynamic_cast  const_cast<const T&>(t);  // 抛行const_cast

窍门:new出来的对象没有初始化。

  try {    throw T();              // 抛出异常  } catch( T t ) {          // 处理异常  }

抛出与捕获异常同使用拷贝初始化。

注释：在部分代码里有两个拷贝对象，共有3个T对象：在异常点内产生对象并拷贝抛出，与在这种情形有二个在产生的对象进行拷贝，因为捕获处理抛出对象的值（也就是说这里的捕获处理是按值传送的。）

  f( T(s) );                // 函数参数类型转换

“构造语法”中的类型转换使用直接初始化

  S a[3] = { 1, 2, 3 };     // 对象数组的初始化

对象数组的初始化使用拷贝初始化。

  S* p = new S(4);          // new表达式

new表达式使用直接初始化。