/*此文是译者出于自娱翻译的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表达式使用直接初始化。
