必须在派生类构造函数初始化列表中显式调用基类构造函数,语法为Base(arg1, arg2),紧随参数列表之后、函数体之前;不可在函数体内用Base::Base()调用,否则创建临时对象而非初始化当前对象。

派生类构造函数初始化列表中直接调用基类构造函数
不能在派生类构造函数体内部用 BaseClass(args) 这种写法去“调用”基类构造函数——那只是创建一个临时对象,跟当前对象无关。真正有效的调用必须出现在派生类构造函数的初始化列表里。
常见错误现象:error: constructor for 'Derived' must explicitly initialize the base class 'Base'(当基类没有默认构造函数时);或者运行时行为异常(误以为构造了基类部分,实际没走预期逻辑)。
- 语法格式固定:
Derived::Derived(...) : Base(arg1, arg2) { /* 构造函数体 */ } - 如果基类有多个构造函数,必须选一个匹配参数类型的来显式调用
- 若不写初始化列表且基类无默认构造函数,编译直接失败
- 初始化列表中基类构造函数调用顺序与继承声明顺序一致,和写在列表中的先后位置无关
基类构造函数参数来自派生类构造函数参数或计算结果
派生类可以转发、变换甚至计算出基类所需参数,只要能在初始化列表中求值即可。C++11 起支持委托构造,但基类调用仍只能在初始化列表发生。
使用场景:封装配置、适配不同接口、隐藏基类实现细节。
立即学习“C++免费学习笔记(深入)”;
- 直接转发:
Derived(int x) : Base(x * 2) {} - 使用 constexpr 函数预处理:
Derived(int v) : Base(transform(v)) {}(前提是transform是 constexpr) - 不能调用虚函数、
this指针不可用、成员变量尚未构造,所以所有参数必须是传入参数或全局/静态可求值表达式
多重继承时各基类构造函数都要显式列出
每个直接基类(无论是否虚继承)都必须在初始化列表中被构造一次。遗漏任一无默认构造函数的基类,编译报错。
容易踩的坑:以为虚基类会自动构造,其实仍需显式调用(只是最终只执行最派生类指定的那一次)。
- 示例:
class D : public A, public B { D() : A(1), B(2) {} }; - 虚基类也一样:
class D : virtual public V { D() : V(42) {} }; - 若 A 和 B 都虚继承自 V,而 D 的初始化列表没写
V(...),则编译失败(即使 A/B 各自写了)
构造顺序固定,无法绕过或延迟基类构造
基类子对象总是在派生类成员之前构造,且顺序由继承列表顺序决定,不是初始化列表书写顺序。这个顺序不可更改,也不受构造函数体内代码影响。
性能/兼容性影响:这意味着你不能依赖派生类成员的初始值来构造基类(比如想用 member_ 初始化 Base(member_)),因为 member_ 此时还未构造。
- 错误写法:
class Bad : Base { int x; Bad() : Base(x) {} }→x未初始化,行为未定义 - 正确做法:把需要的数据作为参数传入派生类构造函数,再转发给基类
- 如果逻辑复杂,考虑将部分初始化逻辑后移到
init()成员函数中(但注意此时对象已处于“半构造”状态)
最常被忽略的是:基类构造函数执行时,派生类的虚函数表指针还没切换到派生类版本,所以哪怕你在基类构造中调用了虚函数,也只会绑定到基类实现——这和直觉相反,但属于标准规定的行为。


















