C++ articles:Guru of the Week #1

王朝c/c++·作者佚名  2006-01-08
窄屏简体版  字體: |||超大  

作者: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"有效的地方使用都是有效的,而且具有其它的优点(比如,它可以带多个参数)。

(结束)

 
 
 
免责声明:本文为网络用户发布,其观点仅代表作者个人观点,与本站无关,本站仅提供信息存储服务。文中陈述内容未经本站证实,其真实性、完整性、及时性本站不作任何保证或承诺,请读者仅作参考,并请自行核实相关内容。
 
 
© 2005- 王朝網路 版權所有 導航