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)。如果u是SomeType以外的其它类型,那么这条语句与“SomeType t(SomeType(u))”是等同的。可以看到,在语句“SomeType t(SomeType(u))”里,u被转换成一个临时的SomeType对象,而t则是由此拷贝构造出来的。
[注意]:在这种情况下,编译器通常可以(但不是必须要)对其进行优化,适当的处理拷贝构造(Copy Construction)操作(一般是省略掉拷贝构造过程)。如果进行了优化,则一定要保证拷贝构造函数(Copy Constructor)的可达性。
[学习指导]: 建议总是使用“SomeType t(u)”的形式, 一来是因为只要可以用“SomeType t = u”的地方也同样可以它;二来是因为它还有一些其它的优点,比如支持多个参数等。