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”的地方也同样可以它；二来是因为它还有一些其它的优点，比如支持多个参数等。
本文地址：http://com.8s8s.com/it/it29889.htm