见《C++ Primer》P387
何谓初始化列表
与其他函数不同,构造函数除了有名字,参数列表和函数体之外,还可以有初始化列表,初始化列表以冒号开头,后跟一系列以逗号分隔的初始化字段。在C++中,struct和class的唯一区别是默认的克访问性不同,而这里我们不考虑访问性的问题,所以下面的代码都以struct来演示。
struct foo { string name ; int id ; foo(string s, int i):name(s), id(i){} ; // 初始化列表 };
构造函数的两个执行阶段
构造函数的执行可以分成两个阶段,初始化阶段和计算阶段,初始化阶段先于计算阶段。
初始化阶段
初始化顺序:首先,调用基类的构造函数,如果基类构造函数调用在初始化列表中存在,则就按照初始化列表中的调用形式做;否则,就调用基类相应的无参数构造函数。紧接着,所有类类型(class type)的成员都会在初始化阶段初始化,即使该成员没有出现在构造函数的初始化列表中;如果类类型的成员没有出现在初始化列表中,则会调用该类类型成员的默认构造函数来初始化它。
计算阶段
一般用于执行构造函数体内的赋值操作。
为什么使用初始化列表
初始化类的成员有两种方式,一是使用初始化列表,二是在构造函数体内进行赋值操作。使用初始化列表主要是基于性能问题,对于内置类型,如int, float等,使用初始化类表和在构造函数体内初始化差别不是很大----因为内置类型的成员在初始化阶段不进行隐式初始化,但是对于类类型来说,最好使用初始化列表,为什么呢?因为对于类类型而言,在初始化阶段已经调用默认构造函数初始化过一次了,如果再在构造函数里调用赋值函数再初始化一次就相当于初始化两次了。
哪些东西必须放在初始化列表中
除了性能问题之外,有些时场合初始化列表是不可或缺的,以下几种情况时必须使用初始化列表
- 常量成员,因为常量只能初始化不能赋值,所以必须放在初始化列表里面
- 引用类型,引用必须在定义的时候初始化,并且不能重新赋值,所以也要写在初始化列表里面
- 没有默认构造函数的类类型,因为使用初始化列表可以不必非要默认构造函数来初始化,而是直接调用有参构造函数或拷贝构造函数初始化。
对于没有默认构造函数的类,我们看一个例子。
struct Test1 { Test1(int a):i(a){} int i ; }; struct Test2 { Test1 test1 ; Test2(Test1 &t1) { test1 = t1 ; } };
以上代码无法通过编译,因为Test1没有默认的构造函数,故而编译错误。正确的代码如下,使用初始化列表代替赋值操作。
struct Test2 { Test1 test1 ; Test2(Test1 &t1):test1(t1){} }
成员变量的初始化顺序
成员是按照他们在类中出现的顺序进行初始化的,而不是按照他们在初始化列表出现的顺序初始化的,看代码。
struct foo { int i ; int j ; foo(int x):i(x), j(i){}; // ok, 先初始化i,后初始化j };
再看下面的代码
struct foo { int i ; int j ; foo(int x):j(x), i(j){} // i值未定义 };
这里i的值是未定义的因为虽然j在初始化列表里面出现在i前面,但是i先于j定义,所以先初始化i,但i由j初始化,此时j尚未初始化,所以导致i的值未定义。所以,一个好的习惯是,按照成员定义的顺序进行初始化。
const常量需要在声明的时候即初始化。因此需要在变量创建的时候进行初始化。一般采用在构造函数的初始化列表中进行。
class CA
{
public:
const int max;
……
public:
CA();
……
};
CA::CA():max(100)
{
……
}
Reference 引用型变量:
引用型变量和const变量类似。需要在创建的时候即进行初始化。也是在初始化列表中进行。但需要注意用Reference类型。
class CA
{
public:
int init;
int& counter;
……
public:
CA();
……
};
CA::CA():counter(&init)
{
……
}