在以下三种情况下需要使用初始化成员列表:
- 需要初始化的数据成员是某一个类的对象,且这个类没有默认构造函数;
- 需要初始化const或引用类型的成员;
- 子类初始化父类;
数据成员是某一个类的对象,且这个类没有默认构造函数
如果我们有一个类成员,它本身是一个类或者是一个结构,而且这个成员它只有一个带参数的构造函数,而没有默认构造函数,这时要对这个类成员进行初始化,就必须调用这个类成员的带参数的构造函数,如果没有初始化列表,就会报错。
例子:
#include "iostream"
using namespace std;
class Test
{
public:
Test (int, int, int){
cout <<"Test" << endl;
};
private:
int x;
int y;
int z;
};
class Mytest
{
public:
Mytest():test(1,2,3){ //初始化
cout << "Mytest" << endl;
};
private:
Test test; //声明
};
int _tmain(int argc, _TCHAR* argv[])
{
Mytest test;
return 0;
}
输出结果:
注意:初始化列表在构造函数执行前执行。
如果没有mytest():test(1,2,3){}初始化列表就会报错:
因为Test有了显示的带参数的构造函数,那么他是无法依靠编译器生成无参构造函数的,所以没有三个int型数据,就无法创建Test的对象。Test类对象是MyTest的成员,想要初始化这个对象test,那就只能用成员初始化列表,没有其他办法将参数传递给Test类构造函数。
数据成员的类型是const或者引用
当类成员中含有一个const对象时,或者是一个引用时,他们也必须要通过成员初始化列表进行初始化,因为这两种对象要在声明后马上初始化,而在构造函数中,做的是对他们的赋值,这样是不被允许的。
例子:
class Test
{
priate:
const int a; //const成员声明
public:
Test():a(10){} //初始化
};
class Test
{
private:
int &a; //声明
public:
Test(int a):a(a){} //初始化
}
子类初始化父类
子类初始化父类时,需要在(并且也只能在)参数初始化列表中显示调用父类的构造函数。
例子:
class Test{
public:
Test(){};
Test (int x){ int_x = x;};
void show(){cout<< int_x << endl;}
private:
int int_x;
};
class Mytest:public Test{
public:
Mytest() :Test(110){
//Test(110); // 构造函数只能在初始化列表中被显示调用,不能在构造函数内部被显示调用
};
};
int _tmain(int argc, _TCHAR* argv[])
{
Test *p = new Mytest();
p->show();
return 0;
}
如果在构造函数内部被显示调用输出结果是:-842150451(原因是这里调用了无参构造函数);
如果在初始化列表中被显示调用输出结果是:110
初始化列表先后顺序
构造函数需要初始化的数据成员,不论是否显式的出现在构造函数的成员初始化列表中,都会在该处完成初始化,并且初始化的顺序和其在类中声明时的顺序是一致的,与列表的先后顺序无关,所以要特别注意,保证两者顺序一致才能真正保证其效率和准确性。
class x {
int i;//声明顺序是先i,后j,故初始化列表中,会先初始化i,在初始化j
int j;
public:
x(int tem): j(tem),i(j){}
};
初始化列表中看起来是先初始化j,然后初始化i,其实恰恰相反。先用未初始化的j来初始化i,虽然编译器不会提示你什么,但是j未初始化它便由计算机随即分配的内存存储,它的值也是随机的,这个值可能不是你想要的,错误就出现了。将i和j的声明顺序调过来就没有问题了。
使用成员初始化列表的优点
类对象的构造顺序显示,进入构造函数体后,进行的是计算,是对成员变量的赋值操作,显然,赋值和初始化是不同的。如果不用成员初始化列表,那么类对自己的类成员分别进行的是一次隐式的默认构造函数的调用,和一次赋值操作符的调用,如果是类对象,这样做效率就得不到保障。