const成员和引用必须在初始化列表中初始化,因二者不可赋值;基类及无默认构造函数的成员也必须通过初始化列表构造,否则编译失败。

const 成员变量必须在初始化列表中赋值
因为 const 成员一旦声明,就不可再被赋值;而构造函数体内的语句属于“赋值”阶段,此时对象已创建完成,const 成员早已默认初始化(但未定义行为),再试图赋值会编译失败。
-
const成员没有默认构造函数,也不能被默认初始化为“未定义值”,必须显式初始化 - 如果写成构造函数体内赋值:
MyClass() { x = 10; } // 错误:x 是 const int,不能在此赋值,编译器直接报错:assignment of read-only member - 只有初始化列表能真正“初始化”,而非“赋值”:
MyClass() : x(10) {} // 正确
引用成员也必须用初始化列表
引用必须绑定到有效对象,且不能重新绑定,因此它和 const 成员一样,无法在构造函数体内“赋值”,只能在初始化列表中绑定。
- 例如:
int& ref;没有默认值,也不允许先声明后绑定 - 错误写法:
MyClass(int& r) { ref = r; } // 编译错误:non-const lvalue reference to type 'int' cannot bind to a temporary - 正确写法:
MyClass(int& r) : ref(r) {} // 绑定发生在这里,是初始化,不是赋值
初始化列表比构造函数体更高效(尤其对类类型成员)
若成员是自定义类类型,且该类有非平凡构造函数,在初始化列表中初始化可避免默认构造 + 赋值两步;否则在构造函数体内写 member = value; 会先调用默认构造函数,再调用赋值运算符,多一次开销。
- 假设
std::string s;在类中声明,MyClass()构造函数体里写s = "hello";→ 先调用std::string()默认构造,再调用operator= - 而
MyClass() : s("hello") {}→ 直接调用std::string(const char*)构造函数,一步到位 - 对
const或引用成员,这不只是效率问题,而是语法强制要求
基类子对象必须由初始化列表调用其构造函数
派生类无法绕过基类构造——基类部分必须在派生类对象内存布局完成前就构造好,这个时机只在初始化列表中存在。
立即学习“C++免费学习笔记(深入)”;
- 即使基类有默认构造函数,显式写
Base()在初始化列表中仍是推荐做法,逻辑清晰 - 若基类无默认构造函数,而你没在初始化列表中调用其带参构造,编译直接失败:
no matching constructor for initialization of 'Base' - 错误示例:
class Derived : public Base { Derived() {} }; // Base 无默认构造 → 编译失败 - 正确示例:
class Derived : public Base { Derived() : Base(42) {} };
const、引用、基类、无默认构造的成员,只要出现其一,就绕不开它。漏掉一个,编译器就会立刻拦住你——不是警告,是硬性拒绝。










