作者:Hub Sutter
译者:plpliuly
/*此文是译者出于自娱翻译的GotW(Guru of the Week)系列文章第一篇,原文的版权是属于Hub Sutter(著名的C++专家,《Exceptional C++》的作者)。此文的翻译没有征得原作者的同意,只供学习讨论。——译者
*/
#1 变量的初始化(97年2月21日提出)
难度:4/10
你知道有多少种初始化变量的方法?可千万要当心那些看起来象变量初始化,而实际上并不是的错误哟。
问题:
请看下面的语句,它们之间是否有区别?
SomeType t = u;
SomeType t(u);
SomeType t();
SomeType t;
解决方法:
我们从后往前分别讨论上面的四种情况:
SomeType t;
变量t是通过却省构造函数SomeType::SomeType()初始化.
SomeType t();
这条语句具有一点“欺骗”性,乍看起来象是一个变量声明,其实,它是一个函数声明,这个函数没有参数,返回一个SomeType类型的返回值。
SomeType t(u);
这是一个直接的初始化。变量t通过构造函数SomeType::SomeType(u)初始化。
SomeType t = u;
这是一个拷贝初始化,变量t总是通过SomeType的拷贝构造函数初始化。(尽管这儿有"=",但这只是为了和C语法的兼容——这里只是初始化,而没有赋值操作,因此操作符=不会被调用。)
从语义上讲:如果变量u为SomeType类型,那么上述语句就和"SomeType t(u)"或者调用SomeType的拷贝构造函数是等同的;如果u是其他类型的变量,那么上述语句就和"SomeType t( SomeType(u) )"是等同的——也就是说,u被转换成一个临时的SomeType对象,而t是以该临时对象拷贝构造而成。
注意:对于这种情况,具体的编译器常常被允许(但不是必需的)为了优化性能而并省去拷贝构造这一步(也就是将临时对象的内存空间直接作为t的内存空间——译者注)。如果是编译器作了这种优化的话,那拷贝构造函数本身必须仍然是可访问的。
[忠告]:尽量使用"SomeType t(u)"的形式来初始化变量。它在任何"SomeType t = u"有效的地方使用都是有效的,而且具有其它的优点(比如,它可以带多个参数)。
(结束)