高质量C/C++编程指南 阅读笔记（四）类的构造函数、析构函数与赋值函数

1、构造函数、析构函数与赋值函数是每个类最基本的函数。它们太普通以致让人容易麻痹大意，其实这些貌似简单的函数就象没有顶盖的下水道那样危险。每个类只有一个析构函数和一个赋值函数，但可以有多个构造函数（包含一个拷贝构造函数，其它的称为普通构造函数）。

对于任意一个类A，如果不想编写上述函数，C++编译器将自动为A 产生四个缺省的函数，如

A(void); // 缺省的无参数构造函数
A(const A &a); // 缺省的拷贝构造函数
~A(void); // 缺省的析构函数
A & operate =(const A &a); // 缺省的赋值函数
这不禁让人疑惑，既然能自动生成函数，为什么还要程序员编写？
原因如下：
（1）如果使用“缺省的无参数构造函数”和“缺省的析构函数”，等于放弃了自主“初始化”和“清除”的机会，C++发明人Stroustrup 的好心好意白费了。

（2）“缺省的拷贝构造函数”和“缺省的赋值函数”均采用“位拷贝

2、构造函数有个特殊的初始化方式叫“初始化表达式表”（简称初始化表）。初始化表位于函数参数表之后，却在函数体 {} 之前。这说明该表里的初始化工作发生在函数体内的任何代码被执行之前。

3、构造函数初始化表的使用规则：

（1）如果类存在继承关系，派生类必须在其初始化表里调用基类的构造函数。

（2）类的 const 常量只能在初始化表里被初始化，因为它不能在函数体内用赋值的方式来初始化。

（3）类的数据成员的初始化可以采用初始化表或函数体内赋值两种方式，这两种方式的效率不完全相同。非内部数据类型的成员对象应当采用第一种方式初始化，以获取更高的效率。

4、构造从类层次的最根处开始，在每一层中，首先调用基类的构造函数，然后调用成员对象的构造函数。析构则严格按照与构造相反的次序执行，该次序是唯一的，否则编译器将无法自动执行析构过程。
      一个有趣的现象是，成员对象初始化的次序完全不受它们在初始化表中次序的影响，
只由成员对象在类中声明的次序决定。这是因为类的声明是唯一的，而类的构造函数可
以有多个，因此会有多个不同次序的初始化表。如果成员对象按照初始化表的次序进行
构造，这将导致析构函数无法得到唯一的逆序

5、基类的构造函数、析构函数、赋值函数都不能被派生类继承。如果类之间存在继承关系，在编写上述基本函数时应注意以下事项：

（1）派生类的构造函数应在其初始化表里调用基类的构造函数。

（2）基类与派生类的析构函数应该为虚（即加 virtual 关键字）。

（3）在编写派生类的赋值函数时，注意不要忘记对基类的数据成员重新赋值。

6、待续