我们定义一个如下的Person类:
class Person {
public:
Person() { } //default constructor function
Person(string name, string phone, string addr)
{
m_name = name; //想采用赋值初始化数据成员
m_phone = phone;
m_addr = addr;
}
private:
const string m_name;
const string m_phone;
const string m_addr;
};
编译后发现这个类的第二个带参数的构造函数是错误的。我们创建一个Person对象:
Person p("marcky", "13233232", "cqupt"); //调用带参数的构造函数创建一个Person对象
创建对象的过程分为了两步:
一、从内存中分配实际的空间给对象p,其三个字符串对象的数据成员是调用的默认构造函数初始化为空。也就说,此时为止,对象p的三个数据成员都是一个空的字符串。
二、执行调用的构造函数的函数体语句,完成对数据成员的赋值,以此达到我们期望的创建一个指定Person对象,而不是空对象。
从上面的第二步就可以看到,我们在对三个const对象进行赋值操作,这显然是不允许的操作,因此利用这个构造函数创建Person将以失败告终。要想成功的创建一个特定的Person对象,我们需要构造函数初始化列表:
Person(string name, string phone, string addr)
:m_name(name), m_phone(phone), m_addr(addr){ } //冒号开始定义初始化列表
使用初始化列表创建对象的构造函数同样是通过上述的两个步骤来完成的,不同之处在于创建对象的数据成员时使用的不是默认构造函数,而是根据指定参数调用了相应的构造函数,以此创建特定的对象,而不是空对象。这样一来,对象的数据成员的特定值在创建对象的时候就被赋予了相应的成员,而不是在创建对象完成之后再通过赋值语句去修改数据成员,因此利用构造函数初始化列表就可以成功的创建具有const数据成员的对对象了。
除了const的数据成员外,没有默认构造函数的类类型或者是引用类型的成员,都必须在构造函数的初始化列表中进行初始化。
没有默认构造函数的类类型成员,如果不在初始化列表中初始化的话,那么创建该对象的时候,由于没有指定相应的“实参”,编译器就会去调用默认构造函数来创建对象,必然会以失败而告终。
引用类型的成员和const类型成员一样,因为引用必须初始化,初始化后就不能修改,所以后期通过赋值来修改其值是错误的。
ps:数据成员被初始化的顺序与构造函数初始化列表中的次序无关,而是与成员的定义顺序一致。