构造函数初始化列表必须写在冒号后,用于初始化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是未定义行为 - 基类构造函数也必须通过初始化列表调用,不能在函数体里“手动 new”或“调用基类函数”来模拟
初始化列表里调用成员函数要小心生命周期问题
初始化列表中可以调用普通成员函数,但该函数不能访问尚未初始化的成员(包括 this 指向的对象本身可能还未完全构建)。常见坑是:在初始化列表里调用虚函数,结果调不到派生类重写的版本,因为此时虚表还没切换完成。
- 初始化列表中调用的函数,其内部若访问了当前类中排在它后面的成员变量,行为未定义
- 避免在初始化列表中调用虚函数;即使调了,也只会绑定到当前正在构造的类的版本
- 静态成员函数或非成员函数相对安全,因为不依赖对象状态
委托构造函数和初始化列表不能共存于同一构造函数
C++11 引入委托构造函数(即一个构造函数调用同类另一个构造函数),此时初始化列表必须为空,否则编译报错:error: constructor delegation cannot have member initializers。
立即学习“C++免费学习笔记(深入)”;
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") {} // ❌ 错误:委托构造 + 初始化列表并存
};
- 委托构造只能出现在初始化列表位置,且是唯一内容(不能混用其他初始化项)
- 被委托的构造函数仍需自己处理所有成员初始化,委托者不再插手
- 递归委托(A → B → A)是非法的,编译器会拒绝
std::vector 等容器在初始化列表中用花括号初始化更安全
对于含默认构造函数的类型(如 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)带来的隐式转换开销











