Effective C++读书笔记（条款04：确定对象被使用前已被初始化）

通常在使用C part of C++，而且初始化可能招致运行期成本，那么就不保证初始化，一旦进入 non-C parts of C++，规则又有些变化。这也很好的解释了为什么array（来自C part of C++）不保证其内容被初始化，而vector（来自 STL part of C++）却有此保证。

表面上这是一个无法决定的状态，最佳的办法就是：永远在使用对象之前将它初始化。对于无任何成员的内置类型，你必须手功完成此事。

int x=0;                                //对int进行手工初始化
const char* text="A Cstyle string";     //对指针进行手工初始化

double d;
std::cin >> d;                          //以读取input stream的方式完成初始化

对于内置类型以外的任何其他东西，初始化的责任落在构造函数身上。规则很简单：确保每一个构造函数都将对象的每一个成员初始化。

这个规则很容易奉行，但重要的是不要混淆了赋值和初始化：

class A{...};

class B{
public: 
    B(const std::string& name,const std::list<A>& phones);
private:
    std::string theName;
    std::list<A> thePhones;
};

B::B(const std::string& name, const std::list<A>& phones) {
    theName=name;        //这些都是赋值，而非初始化
    thePhones=phones;
}

这会导致B对象带有你期望的值，不是最佳做法。

C++规定：对象的成员变量的初始化动作发生在进入构造函数本体之前

B的构造函数的一个较佳的写法是，使用成员初值列替换赋值动作：

 

B::B(const std::string& name, const std::list<A>& phones)
    ：theName(name),        //这些都是初始化
    :thePhones(phones)
{ }

这个构造函数的最终结果和上一个相同，但效率较高。基于赋值的那个构造函数首先调用default（默认）构造函数为theName和thePhone设初值，然后再立刻为他们赋新值。

成员初值列中针对各成员变量而设的实参，被拿去作为各成员变量之构造函数的实参，比如theName以name为初值进行了拷贝构造。

对大多数类型而言，比起先调用默认构造函数再调用赋值操作符，单只调用一次拷贝构造函数是比较高效的，有时甚至高效得多。对于内置对象而言，其初始化和赋值的成本相同，但为了一致性，也通过成员初值列来初始化。

规定总是在成员初值列中列出所有成员变量，以免还得记住哪些成员变量可以无需初值。 

如果成员变量是const或引用，他们就一定需要初值，不能被赋值。使用成员初值列。 

C++有着十分固定的成员初始化次序：base classes更早于derived classes被初始化，而class成员变量总是以其声明的次序（不是成员初值列的顺序）被初始化。 

所谓static对象，其寿命从被构造出来直到程序结束为止 。

函数内的static对象称为local static对象（因为他们对于函数而言是local的），其他static对象称为non-local static对象。程序结束时static对象会被自动销毁，也就是它们的析构函数会在main（）结束时被自动调用。

C++对于“定义于不同编译单元的non-local static对象”的初始化相对次序无明确定义。 

C++保证，函数内的local static对象会在“该函数被调用期间”“首次遇上该对象的定义式”时被初始化 

请记住： 

1. 为内置类型进行手工初始化，因为C++不保证初始化它们
2. 构造函数最好使用成员初值列，而不要在构造函数内使用赋值操作。初值列列出的成员变量，其排序次序应该和它们在class中声明的次序相同
3. 为了免除“跨编译单元之初始化次序”问题，请以local static对象替换non-local static