重温《C++ Primer》笔记四 构造函数的初始化列表

在C++中保证初始化是非常重要的，因为并不能总是保证第一次使用所定义对象的时候是对其赋值而不是读取。因此，在创建一个对象的时候，编译器总是保证该对象中所有的“子对象”全部被初始化。而我们需要关注的则是这些“子对象”是什么，并且是在什么时候被初始化的，以及如何被初始化的。

首先抛出一句话：“子对象”包括成员变量和该类的父类对象。

到底构造函数是在什么时候被调用的呢？很多书上都是很简单地介绍说，是在创建一个对象的时候。确实，是在创建对象的时候，但是类类型并不是普通的内置类型，它内部含有许多不同种类的成员，所以它的初始化并不像内置类型那样简单地分配个存储空间，然后存储一个默认或者给定的初值。其实在进入函数体之前，即构造函数的左大括号之前，类中的成员变量已经被初始化过了。所以在《C++ Primer》就有写到：“从概念上讲，可以认为构造函数分两个阶段执行：（1）初始化阶段；（2）普通的计算阶段。计算阶段由构造函数函数体中的所有语句组成。因此，不管成员是否在构造函数初始化列表中显式初始化，类类型的数据成员总是在初始化阶段初始化。初始化发生在计算阶段开始之。”。注意，虽然初始化工作是在进入构造函数函数体之前完成的，但是构造一个对象并不只是简单的初始化一下类成员，而是一直到构造函数完成执行完为止，因此，回到大家常说的一句话就是：创建一个对象等于调用一个指定的构造函数，但是包括成员的初始化阶段和计算阶段。

这样感觉构造函数的函数体没什么作用啊。（给人是这样觉得的），但是构造函数是必须存在的，因为当需要传递初始化值给成员变量时，只能从构造函数的参数列表从进行。另外，对于继承类，要初始化从父类继承来的成员，即初始化父类子对象，这需要调用父类的构造函数，当然不可能是在函数体中调用，因为在函数体之前该父类子对象就必须被初始化过了。举个例子：

<span style="font-size:18px;">#include<iostream>
using namespace std;

class People{
public:
	People(int k){i = k;}
private:
	int i;
	int j;
};
class Man : public People{
public:
	Man():People(9){}
private:
	int m;
};

void main()
{
	Man p;
}</span>

上面的程序即是从构造函数初始化列表中调用父类子对象的构造函数。如果程序改成下面这样：

<span style="font-size:18px;">#include<iostream>
using namespace std;

class People{
public:
	People(int k){i = k;}
private:
	int i;
	int j;
};
class Man : public People{
public:
	Man(){People(9);}
private:
	int m;
};

void main()
{
	Man p;
}</span>

将会提示如下的错误：

<span style="font-size:18px;">'People' : no appropriate default constructor available</span>

即父类没有默认的构造函数。这明显是不符合我们的意愿的。我们想要调用的是People(int)的构造函数，可以却显示说没有默认构造函数，我们什么时候调用默认构造函数了呢？哦哦，就是在进入函数体之前就已经调用了，在初始化列表中，我们没有初始化父类子对象，因此它会帮助我们自动调用父类子对象的默认构造函数，但是父类中没有定义默认构造函数，而合成的默认构造函数已经被我们定义的构造函数People(int)给覆盖了，因此，找不到符合的构造函数来初始化父类子对象了，因此出错了。因此说：“构造函数的初始化列表允许我们显式地调用成员对象的构造函数，事实上，也没有其它方法可以调用那些构造函数。”。不仅父类子对象，类类型对象成员也是如此的。

注意不要弄混了构造函数，构造函数除了在创建对象时被调用，不能在其它时候被调用的。

也许会觉得这就是类类型与内置类型的区别。其实不然。为什么呢？我们可以这样理解，并不是所有的类类型都有默认的构造函数，而内置类型却有。内置类型的初始化不想类类型那样复杂。对于内置类型，如果不给其确定的初始值，那么编译器会跟去它的位置自动为其处理初值。而编译器没有义务为类类型也这么做，因为编译器为类类型服务的只是为其匹配合适的构造函数然后实例化之。

还有一点必须注意，初始化列表的顺序有什么意义吗？答案是有的，但是并不是你想的那种意义，即它不是初始化的顺序。它只是成员变量和子对象在初始化时的值参照表，初始化是按照成员定义的顺序来的。

现在知道了，成员变量和子对象是在构造函数体之前就初始化完成了，对于内置类型比较容易，而对于子对象必须要有与初始化列表中相同的构造函数，或者默认构造函数，而不能在构造函数体中调用其构造函数。

最后再介绍一下构造函数和析构函数调用的次序。

理解这个次序的时候不需要看很多例子程序，只需要记住一点即可——在构造一个对象或者析构一个对象的时候，必须保证其成员变量和子对象是存在的，而不是已经被析构不存在了。

因此，在构造函数中，为了保证子对象都存在，都是先调用子对象的构造函数，包括父类子对象和类成员对象；而在析构函数中，为了保证子对象都存在，必须先析构继承类对象，然后在析构其中的父类子对象和类成员对象。如果是多层继承或者类成员中包含其它的类成员，则一直遵循这个规则，这样就能组成一棵析构树了。是不是很清楚呢。

总结：1、创建一个对象的过程等于调用相应的构造函数，其过程包含两步：初始化成员，完成构造函数体中的计算；

        2、构造函数初始化列表不是成员初始化顺序；

               3、对于初始化子对象，只能从初始化列表中调用其构造函数；

                 4、构造和析构函数调用的次序需要保证其成员变量和子对象是存在的。