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

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”的地方也同样可以它；二来是因为它还有一些其它的优点，比如支持多个参数等。