一. 何为构造函数初始化列表
class Sample {
public:
// 构造函数内部赋值
Sample(int a) {
a_ = a;
}
// 构造函数初始化列表
Sample(int a) : a_(a) {
}
private:
int a_;
};
上面的代码中,Sample
类的2个构造函数的功能是一样的,都是初始化成员变量a_
,区别在于一个采用的是构造函数内部赋值
的方式来初始化的,另一个采用的是构造函数初始化列表
初始化列表的方式来初始化的。
二. 何时必须使用初始化列表
如果按照上面所说的,既然2种初始化成员变量的方式所起得作用是一样的,那么在哪些情况下必须使用构造函数初始化列表
的了?
下面2种情况的成员变量必须使用构造函数初始化列表
的方式来初始化:
- 成员变量是const常量。
- 成员变量是引用类型。
下面例子演示了成员变量是const常量
和引用类型
时,如何初始化它们:
class Sample {
public:
Sample() : kCount(11), name_(std::string("jeff")) {
}
private:
std::string &name_;
const int kCount;
};
三. 初始化列表的顺序问题
使用构造函数初始化列表
进行成员变量初始化时,要注意成员变量的初始化顺序。
举个例子来说明,现有类SeqSample
有3个成员变量a_, b_, c_
,构造函数被设计为将a_, b_, c_
都初始化为m
,也就是a_ == b_ == c_ == m
:
class SeqSample {
public:
SeqSample(int m) :
a_(m),
b_(a_),
c_(b_)
{
}
private:
int b_;
int a_;
int c_;
};
int main()
{
SeqSample ss(1);
return 0;
}
通过调试器观察到执行构造函数初始化之后,成员变量a_, b_, c_
的值分别为:
b_ = -858993460
a_ = 1
c_ = -858993460
而不是我们期望的a_ = 1 b_ = 1 c_ = 1
。
出现这种问题的原因在于:编译器对构造函数初始化列表中的变量进行初始化的时候,不是按照变量初始化列表中的顺序来进行初始化的,而是按照变量在类中的声明顺序来初始化的。
所以,在初始化列表中的变量有依赖关系时(如上面的b_
依赖于a_
的初始化结果),要特别注意这种情况。