构造函数必须用初始化列表初始化const成员、引用类型及无默认构造函数的类类型成员;初始化顺序按声明顺序而非列表顺序;初始化列表比函数体内赋值更高效;委托构造函数时初始化列表必须为空。

构造函数必须用初始化列表的场景
不是所有成员都能在构造函数体内赋值,比如 const 成员、引用类型、没有默认构造函数的类类型成员——这些必须在初始化列表中完成初始化,否则编译直接报错。
常见错误现象:error: uninitialized const member 或 error: reference member is not initialized。
-
const int x:不能写x = 5;,只能写: x(5) -
std::string& ref:引用必须绑定到有效对象,只能在初始化列表里写: ref(other_str) -
MyClass obj(MyClass没有默认构造函数):若只声明没传参,必须用: obj(10, "hello")显式调用带参构造
初始化列表顺序不等于书写顺序
类成员在内存中的初始化顺序,严格按它们在类定义中声明的先后顺序,和初始化列表里的书写顺序无关。如果依赖顺序(比如后声明的成员要用先声明成员的值来初始化),写错顺序会导致未定义行为。
例如:
立即学习“C++免费学习笔记(深入)”;
class A {
int x;
int y;
public:
A() : y(x + 1), x(42) {} // ❌ y 先被初始化,但此时 x 还未初始化!实际 y 得到垃圾值
};
正确写法是调整声明顺序,或避免跨成员依赖。编译器通常不会警告这种逻辑错误,运行时才暴露问题。
初始化列表比构造函数体更高效
对于类类型成员,如果在构造函数体内写 member = value;,会先调用默认构造函数创建对象,再调用赋值运算符;而初始化列表直接调用目标构造函数,跳过默认构造+赋值两步。
- 自定义类
BigData有昂贵的默认构造?用: data(buf, size)直接构造,比data = BigData(buf, size)少一次构造+一次析构 -
std::vector:写v : v(1000)分配 1000 个元素;写v = std::vector先默认构造空 vector,再移动赋值,多一次内存分配(1000) - 内置类型(如
int)无差别,但统一用初始化列表更一致、更易维护
委托构造函数与初始化列表共存规则
C++11 支持委托构造函数(一个构造函数调用同类另一个构造函数),但被委托的构造函数可以有初始化列表,而委托方自己的初始化列表必须为空——所有初始化工作交给被委托者完成。
错误写法:
class B {
int a, b;
public:
B(int x) : a(x), b(0) {}
B() : a(1), B(42) {} // ❌ 编译错误:初始化列表不能同时含成员初始化和委托调用
};
正确写法:
class B {
int a, b;
public:
B(int x) : a(x), b(0) {}
B() : B(42) {} // ✅ 委托调用,初始化列表仅保留委托表达式
};
注意:委托构造函数不能和成员初始化混用,这是语法硬性限制,不是风格建议。










