类对象的构造顺序是这样的:
1.分配内存,调用构造函数时,隐式/显示的初始化各数据成员;
2.进入构造函数后在构造函数中执行一般赋值与计算。
使用初始化列表有两个原因:
原因1.必须这样做:
《C++ Primer》中提到在以下三种情况下需要使用初始化成员列表:
情况一、需要初始化的数据成员是对象的情况(这里包含了继承情况下,通过显示调用父类的构造函数对父类数据成员进行初始化);
情况二、需要初始化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){}初始化列表就会报错:
1>c:\test\test.cpp(22): error C2512: 'Test' : no appropriate default constructor available
因为Test有了显示的带参数的构造函数,那么他是无法依靠编译器生成无参构造函数的,所以没有三个int型数据,就无法创建Test的对象。Test类对象是MyTest的成员,想要初始化这个对象test,那就只能用成员初始化列表,没有其他办法将参数传递给Test类构造函数。
②初始化列表在构造函数执行前执行(这个可以看上面的结果,对同一个变量在初始化列表和构造函数中分别初始化,首先执行参数列表,后在函数体内赋值,后者会覆盖前者)。
■情况二的说明:对象引用或者cosnt修饰的数据成员
情况二:当类成员中含有一个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;
}
结果:如果在构造函数内部被显示调用输出结果是:1100;
如果在初始化列表中被显示调用输出结果是:-842150451(原因是这里调用了无参构造函数)