Effective C++笔记之四：确定对象被使用前已先被初始化

       关于初始化的定义参考Effective C++笔记之一：声明、定义、初始化与赋值，这里先看一个例子：#include <iostream>
using namespace std;

class TestA
{
public:
TestA()
{
cout << "default constructor" << endl;
}

TestA(const TestA &other)
{
cout << "copy constructor" << endl;
}

TestA& operator=(const TestA &other)
{
cout << "copy assignment" << endl;
return *this;
}
};

class TestB
{
public:
TestB(const TestA & tmp)
{
value = tmp;
str = "";
}
private:
TestA value;
string str;
};

class TestC
{
public:
TestC(const TestA & tmp) :value(tmp), str()
{
}
private:
TestA value;
string str;
};

int main()
{
TestA a;
cout << "==========" << endl;
TestB b(a);
cout << "==========" << endl;
TestC c(a);

system("pause");
return 0;
}


       这个例子主要是为了说明赋值(assignment)和初始化(initialization)的区别。
       TestB中的value数据成员带有你期望(你指定)的值，但不是最佳做法。C++规定，对象的成员变量的初始化动作发生在进入构造函数本体之前。在TestB构造函数内，value不是被初始化，而是被赋值。初始化的发生时间更早，发生于这些成员的default构造函数被自动调用之时(比进入TestB构造函数本体的时间更早)
       TestC中使用所谓的member initialization list(成员初值列)替换赋值动作。这个构造函数和TestB的最终结果相同，但通常效率较高。基于赋值的那个版本(TestB)首先调用default构造函数为value设初值，然后立刻再对它们赋予新值。default构造函数的一切作为因此浪费了。成员初值列(member initialization list)的做法(TestC)避免了这一问题，因为初值列中针对各个成员变量而设的实参，被拿去作为各成员变量之构造函数的实参。本例中的value以tmp为初值进行copy构造。
       对大多数类型而言，比起先调用default构造函数然后再调用copy assignment操作符，单只调用一次copy构造函数是比较高效的，有时甚至高效得多。对于内置型对象，其初始化和赋值的成本相同，但为了一致性最好也通过成员初值列来初始化。同样道理，甚至当你想要default构造一个非内置成员变量，你都可以使用成员初值列，只要指定无物(nothing) 作为初始化实参即可，比如例子中的str。
        需要注意的是，C++有着十分固定的"成员初始化次序"。是的，次序总是相同：base class应更早于其derived classes被初始化，而class的成员变量总是以其声明次序被初始化。因此为避免代码阅读时的困惑，当你在成员初值列中条列各个成员时，最好总是以其声明次序为次序。