构造函数初始化列表必须写在冒号后,用于初始化const成员、引用成员及无默认构造函数的类类型成员,且初始化顺序仅由成员声明顺序决定,与列表中书写顺序无关。
成员变量的初始化必须在进入构造函数体之前完成,尤其是 const 成员、引用成员、没有默认构造函数的类类型成员——这些根本不能在函数体内用赋值操作(=)初始化。比如:
class A {
const int x;
int& ref;
std::string s;
public:
A(int v, int& r) : x(v), ref(r), s("hello") {} // ✅ 正确:全部在初始化列表中
};
如果写成这样就会编译失败:
A(int v, int& r) {
x = v; // ❌ 错误:const 成员不能赋值
ref = r; // ❌ 错误:引用必须初始化,不能赋值
s = "hello"; // ✅ 这行能过,但属于“先默认构造再赋值”,低效且不适用于前两者
}
a(b),而 b 是后声明的成员,b 实际还没构造,此时读 b 是未定义行为初始化列表中可以调用普通成员函数,但该函数不能访问尚未初始化的成员(包括 this 指向的对象本身可能还未完全构建)。常见坑是:在初始化列表里调用虚函数,结果调不到派生类重写的版本,因为此时虚表还没切换完成。
C++11 引入委托构造函数(即一个构造函数调用同类另一个构造函数),此时初始化列表必须为空,否则编译报错:error: constructor delegation cannot have member initializers。
class B {
int x;
std::string s;
public:
B() : x(0), s("default") {}
B(int v) : B() { // ✅ 委托调用,初始化列表为空
x = v; // 只能在函数体里修改
}
B(int v) : x(v), s
("x") {} // ❌ 错误:委托构造 + 初始化列表并存
};
对于含默认构造函数的类型(如 std::vector),初始化列表中用 vec{} 或 vec{1,2,3} 明确表示初始化,比 vec() 更不容易触发最 vexing parse 问题(尤其在模板上下文中)。
class C {
std::vector data;
public:
C() : data{1, 2, 3} {} // ✅ 清晰、无歧义
C(int n) : data(n, 0) {} // ✅ 调用 vector(size_t, T) 构造函数
C() : data() {} // ⚠️ 可能被解析为函数声明(极少见但存在风险)
};
data{} 总是初始化为空容器;data() 在某些上下文里可能被当作函数声明(虽然现代编译器通常能推断,但不保险){...} 会编译失败T(x) 或 T{x}),避免复制初始化(T = x)带来的隐式转换开销