条款04:确定对象被使用前已先被初始化
在这一条款中,我们学到的最重要的一点就是,一定要在定义变量时进行初始化。因为读取未初始化的值会导致不明确的行为。
其实,在这一条款中,我们应该注意到的是,初始化和赋值的区别。在对象的成员函数中,我们常常将赋值和初始化的行为混淆。初始化是发生在对象调用构造函数之前,在构造函数内对变量的操作都是赋值操作。其中,构造函数中进行初始化的方法也就是最重要的初始化列表。
其次,在这一条款内学到的最重要的一点:不同编译单元内定义之non-local static对象的初始化顺序问题。
static 对象和non-local static对象:
static对象:包括global对象、定义于namespace作用域内的对象、在class内、函数内、以及在file作用域内被声明为static的对象
其中,函数内的static对象称为local static对象(因为他们对于函数来说是local),其他的static对象称之为non-local static对象。
C++对于“定义在不同的编译单元内的non-local static 对象“的初始化次序并没有明确的定义。所以当我们如果在一个编译单元内的non-local static对象在初始化时,调用到了另外编译单元内的non-local static对象时,它所使用到的这个对象可能尚未被初始化,因此,这样做就很有可能会发生错误。
在这里,有一个的问题就是,在创建B类对象 b_obj时会调用到a_obj对象的函数,除非a_obj对象比b_obj对象先被初始化,否则,b_obj对象会调用到未被初始化的a_obj,从而发生错误。
但是由于他们位于不同的编译单元内,所以我们无法确定他们的初始化次序。
但是,我们可以这样做:
将non_local static对象的初始化放入到函数中,使其变为local static对象即可解决问题,这也是著名的设计模式:singleton的常见实现手法之一.
应当记住的要点:
1、为内置型对象进行手工初始化,因为C++不保证初始化他们。
2、构造函数最好使用成员初值列(member initialization list),而不要在构造函数本体内使用赋值操作(assignment)。初始化列表的成员变量的顺序应该和他们在class中的声明顺序一致(为了确保能够不遗漏地初始化,但是不按顺序在语法上是允许的)。
3、为免除“跨编译单元之初始化次序”问题,请以local static对象替换non-local static对象。