Effective C++(4) 确定对象被使用前已先被初始化

危害：读取未初始化的值会导致不明确甚至是半随机化的行为。

最佳处理办法：永远在使用对象之前先将它初始化；确保每一个构造函数都将对象的每一个成员初始化。

1 注意区分赋值和初始化：

从初始化的角度而言，这不是一个最佳的处理办法。虽然这会让对象的指最终为你期望的值，但是实际上，对象的成员变量的初始化动作发生在进入构造函数本体之前。而在构造函数本体之内，不是被初始化，而是被赋值。

2 较佳的写法：使用成员变量初始化列表

结果和上一个的最终结果相同，但是效率较高。

规定：总是在初值列表中列出所有成员变量，以免遗漏需要初始化的成员变量。即，总使用成员初始化列表。

一个特例再次印证了上句的价值：如果成员变量是const或reference，它们就一定需要初值，不能被赋值。

3 成员初始化次序：

一般地：

base classes更早于其derived classes被初始化，而class的成员变量总是以其声明次序被初始化。

特别低：

不同编译单元内定义的non-local static对象的初始化次序

解析：

1 non-local static:  包括：

• global对象
• 定义于namespace作用域内的对象
• 在classes内、在file作用域内被声明为static的对象

  local static对象，指在函数内被声明为static的对象。

2 编译单元：产出单一目标文件的那些源码。基本上可以认为是一个源码文件加上它所包含的头文件。

问题：

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

原因：

决定它们的初始化次序相当困难，甚至是无解的。

解决：

reference-returning函数（示例如下）

原理：

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

所以以函数调用替换直接的对象访问，就保证获得一个已经初始化的对象的引用。

Demo：

可能会发生初始化次序问题的版本：

a.cpp 

b.cpp

 

 

改进后的版本：

          

 

 

小结：

• 为内置类型对象进行手工初始化，以为C++不保证初始化它们；
• 构造函数最好使用成员变量初始化列表，其排列次序应该和它们在class中的声明次序相同；
• 为免除“跨编译单元之初始化次序”问题，请以local static对象（referance returning函数）替换non-local static对象。

参考资料：

《Effective C++ 3rd》