C++构造函数初始化列表

时间:2022-07-15 20:03:20

一. 何为构造函数初始化列表

class Sample {
public:
// 构造函数内部赋值
Sample(int a) {
a_ = a;
}

// 构造函数初始化列表
Sample(int a) : a_(a) {

}
private:
int a_;
};

上面的代码中,Sample类的2个构造函数的功能是一样的,都是初始化成员变量a_,区别在于一个采用的是构造函数内部赋值的方式来初始化的,另一个采用的是构造函数初始化列表初始化列表的方式来初始化的。


二. 何时必须使用初始化列表

如果按照上面所说的,既然2种初始化成员变量的方式所起得作用是一样的,那么在哪些情况下必须使用构造函数初始化列表的了?
下面2种情况的成员变量必须使用构造函数初始化列表的方式来初始化:

  1. 成员变量是const常量。
  2. 成员变量是引用类型。

下面例子演示了成员变量是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_的初始化结果),要特别注意这种情况。