条款4:确定对象被使用前已被初始化

Posted 2020-08-13

一. 永远在使用对象之前将它初始化

1.对于内置类型，手动完成初始化。

例如：int =0;

2.除了内置类型之外的类型，由构造函数进行初始化：确保每个构造函数都将对象的每一个成员进行了初始化。

二. 特别区分“赋值”和“初始化”

例如：有一个类：A中有一个成员变量string  name;

有一个构造函数：A(const string &n){name=n;}//这是赋值操作而非初始化，这里调用了默认构造函数和赋值运算符

             A(const string &n):name(n){}//这是初始化而非赋值，这里只调用了拷贝构造函数

三. 记住总是使用成员初值列

特别的：如果成员变量是const和reference(引用)，就必须需要初值，而不能赋值

Tips：const和reference必须初始化。 

四. 初始化顺序

成员初始化顺序：base  classes总是先于derived  classes被初始化，class的成员变量总是以 其声明顺序被初始化。即便是成员初值列中的顺序不同也是如此。并且，成员初值列中的顺序最好也要按照声明顺序。

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

编译单元：指产出单一目标文件的源码。基本上它是单一源码文件加上其所含入的头文件。

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

local static对象：函数内的static对象，其余static对象为non-local static对象。在main()函数

结束时析构函数自动被调用。

例如A，B为两个文件：

class A{ public:      int A()const;//某个成员函数 }; extern A a;

class B{ public:      B(params); }; B::B(params){       int item=a.A(); } B b(params);//创建一个类型为B的变量，调用构造函数

class B中的构造函数必须要在A初始化后调用才会有确切的值，否则会出现错误。由于两个是不同的文件，无法确定究竟是谁先被初始化。 

解决方法：利用Singleton模式的一个常见的实现手法（单例）

        将每个non-local static对象搬到自己专属的函数内（在该函数内部声明该对象为static），这些函数返回一个reference指向它所含的对象。

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

修改后代码如下：

class A{}; A& a()//用来替换之前的a对象 {     static A m;          return m; }

class B{}; B::B(params){       int item=a().A(); } B& b(){        static B n;        return n; }

 

也就是为免除“跨编译单元的初始化次序”问题，用local static对象替换non-local static对象。