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