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

Core List

1. 初始化

(1) 内置类型 ：手工初始化

(2) 非内置类型 ：构造函数初始化

2. 初始化和赋值的区别

(1) 赋值

Man::Man(const string& name, const string& info) {

    theName =  name; // 三条语句为赋值语句而非初始化操作

    theInfo = info;

    theAge = 18;

}

注：【初始化时间】：C++规定对象的初始化操作发生在进入构造函数体之前，即调用了default构造函数进行初始化。

       【内置类型初始化特例】：由于theAge为内置类型，不确保在赋值之前一定被初始化。

       【赋值操作缺点】：效率低

(2) 初始化列表

例1：调用copy构造函数

Man::Man(const string& name, const string& info) : theName(name), theInfo(info), thAge(0) {}

注：【运行机制】：theName 以 name为初值调用copy构造函数

       【内置类型初始化特例】：theAge为内置类型，其赋值和初始化的成本基本相同，但为保证一致性可以均使用初始化列表

例2：调用default构造函数

Man::Man() : theName(), theInfo(), thAge(0) {}

注：【运行机制】：调用theName的default构造函数

总结：

【初始化次序】：同声明顺序有关，同初始化列表次序无关；基类先于派生类

【内置对象】：初始化和赋值成本相同，但对于const 和 reference 类型必须使用初始化

3 不同编译单元内 “non-local static对象” 的初始化次序
(1) static 对象

【变量定义】：包括 global 对象，定义域namespace 作用域内的对象，在classes内、在函数内、以及在文件作用域内被声明为static的对象。（除堆，栈内的对象）

【生命周期】：从被构造出来直到程序终止

(2) static对象分类

【local static 对象】：函数内的 static 对象，在函数第一次调用时构造初始化，程序结束时消失

【non-local static 对象】：非函数内的 static 对象，在main函数调用之前初始化，程序结束时消失

(3) 多个non-local 对象的初始化顺序 

注 ：a. 在同一个文件或不同编译单元（不同文件）中，如果存在多个non-local static 对象，它们均需要在 main 函数被调用之前被构造，但是构造的顺序是“不定的”。

        b. 编译单元的含义：产出单一目标文件的那些源码。基本上包括单一源码文件和其所含入的头文件。

        c. 结论：不能用某个non-local static 对象去初始化另一个 non-local static 对象，无论这两个 non-local static 对象是否在同一个编译单元中。

例：