C++ articles:Guru of the Week #1

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