CSDN博客

img kingofark

Guru of the Week 条款01: 变量的初始化

发表于2001/10/23 20:07:00  1128人阅读

GotW #01 Variable Initialization

著者:Herb Sutter     

翻译:kingofark

[声明]:本文内容取自www.gotw.ca网站上的Guru of the Week栏目,其著作权归原著者本人所有。译者kingofark在未经原著者本人同意的情况下翻译本文。本翻译内容仅供自学和参考用,请所有阅读过本文的人不要擅自转载、传播本翻译内容;下载本翻译内容的人请在阅读浏览后,立即删除其备份。译者kingofark对违反上述两条原则的人不负任何责任。特此声明。

Revision 1.0

Guru of the Week 条款01: 变量的初始化

难度:4 / 10

(想想看,有多少种将变量初始化的方法? 千万要注意那些看上去很像“变量初始化”的东西。)

 

[问题]

下列四条语句有什么区别吗?

    SomeType t = u;

    SomeType t(u);

    SomeType t();

    SomeType t;

[解答]

我们按从下往上的顺序逐个考察四条语句:

*   SomeType t;

    变量t被缺省构造函数SomeType::SomeType()初始化。

*   SomeType t();

    这是一个骗局,因为这条语句看上去很像一个变量声明,而实际上却是一个函数声明;这个函数t没有参数并且返回类型为SomeType

*   SomeType t(u);

    这是直接初始化。变量t通过构造函数SomeType::SomeType(u)被初始化。

*   SomeType t = u;

    这是拷贝初始化。变量t通过SomeType的拷贝构造函数(Copy Constructor)被初始化。(注意,这条语句虽然含有“=”,但仍然是一个初始化操作,而不是一个赋值操作,因为在这里,允许使用'='只是为了可以沿用C语言的语法,operator=是不会被调用的。)

    [语义学参考]:如果u恰好也是SomeType类型,那么这条语句与“SomeType t(u);”是等同的,将调用SomeType的拷贝构造函数(Copy Constructor)。如果uSomeType以外的其它类型,那么这条语句与“SomeType t(SomeType(u))”是等同的。可以看到,在语句“SomeType t(SomeType(u))”里,u被转换成一个临时的SomeType对象,而t则是由此拷贝构造出来的。

    [注意]:在这种情况下,编译器通常可以(但不是必须要)对其进行优化,适当的处理拷贝构造(Copy Construction)操作(一般是省略掉拷贝构造过程)。如果进行了优化,则一定要保证拷贝构造函数(Copy Constructor)的可达性。

 

[学习指导]  建议总是使用“SomeType t(u)”的形式, 一来是因为只要可以用“SomeType t = u”的地方也同样可以它;二来是因为它还有一些其它的优点,比如支持多个参数等。

0 0

相关博文

我的热门文章

img
取 消
img