C++的继承体系里,构造函数和析构函数的使用规则和普通类有不少差异,尤其是在多层继承或者多继承的场景下,很容易因为调用顺序或者声明方式不对引发问题。理解这些规则能帮你写出更稳妥的继承相关代码。

继承中构造函数的调用规则
派生类创建对象时,会先调用基类的构造函数,再执行派生类自身的构造逻辑。如果基类有多个构造函数重载,派生类需要在初始化列表中显式指定要调用的基类构造函数,否则会默认调用基类的无参构造函数。
如果基类没有无参构造函数,而派生类又没有显式指定调用的基类构造函数,编译阶段就会直接报错。下面是一个简单的示例:
#include <iostream>
using namespace std;
// 基类
class Base {
public:
// 带参数的基类构造函数
Base(int val) {
cout << "Base构造函数执行,参数值:" << val << endl;
base_val = val;
}
private:
int base_val;
};
// 派生类
class Derived : public Base {
public:
// 显式指定调用基类的带参构造函数
Derived(int base_val, int derived_val) : Base(base_val) {
cout << "Derived构造函数执行,参数值:" << derived_val << endl;
derived_val = derived_val;
}
private:
int derived_val;
};
int main() {
Derived obj(10, 20);
return 0;
}上面的代码执行后,会先输出Base构造函数的内容,再输出Derived构造函数的内容,符合先基类后派生类的构造顺序。
继承中析构函数的调用规则
析构函数的调用顺序和构造函数完全相反,派生类对象销毁时,会先执行派生类的析构函数,再执行基类的析构函数。如果继承体系有多层,会从最底层的派生类开始,逐层向上调用基类的析构函数。
这里有个非常重要的注意点:如果基类的析构函数没有声明为虚函数,当用基类指针指向派生类对象并删除该指针时,只会调用基类的析构函数,派生类的析构函数不会执行,就会导致派生类申请的内存无法释放,产生内存泄漏。
下面是对比示例:
#include <iostream>
using namespace std;
// 基类,析构函数未声明为虚函数
class BaseNoVirtual {
public:
BaseNoVirtual() { cout << "BaseNoVirtual构造" << endl; }
~BaseNoVirtual() { cout << "BaseNoVirtual析构" << endl; }
};
// 派生类
class DerivedNoVirtual : public BaseNoVirtual {
public:
DerivedNoVirtual() { cout << "DerivedNoVirtual构造" << endl; }
~DerivedNoVirtual() { cout << "DerivedNoVirtual析构" << endl; }
};
// 基类,析构函数声明为虚函数
class BaseVirtual {
public:
BaseVirtual() { cout << "BaseVirtual构造" << endl; }
virtual ~BaseVirtual() { cout << "BaseVirtual析构" << endl; }
};
// 派生类
class DerivedVirtual : public BaseVirtual {
public:
DerivedVirtual() { cout << "DerivedVirtual构造" << endl; }
~DerivedVirtual() { cout << "DerivedVirtual析构" << endl; }
};
int main() {
cout << "测试非虚析构函数场景:" << endl;
BaseNoVirtual* p1 = new DerivedNoVirtual();
delete p1; // 只会调用BaseNoVirtual的析构,DerivedNoVirtual的析构不会执行
cout << endl << "测试虚析构函数场景:" << endl;
BaseVirtual* p2 = new DerivedVirtual();
delete p2; // 会先调用DerivedVirtual的析构,再调用BaseVirtual的析构
return 0;
}其他注意事项
- 构造函数不能被继承,派生类需要自己定义构造函数,即使基类和派生类的构造逻辑完全一致,也不能直接复用基类的构造函数。
- 构造函数中不要调用虚函数,因为在构造基类阶段,派生类的成员还没有初始化,此时调用虚函数不会触发派生类的重写版本,不符合预期的多态效果。
- 如果基类有默认构造函数,派生类的构造函数初始化列表可以不显式写基类构造,编译器会自动插入调用逻辑,但如果基类没有默认构造,就必须显式指定。
- 析构函数建议都声明为虚函数,尤其是在会被继承的基类中,这样能避免用基类指针操作派生类对象时的析构不全问题。
常见错误总结
| 错误场景 | 错误原因 | 解决方法 |
|---|---|---|
| 派生类构造时编译报错 | 基类没有无参构造,派生类未显式指定调用的基类构造 | 在派生类构造初始化列表中显式调用基类的带参构造 |
| 派生类内存泄漏 | 基类析构未声明为虚函数,用基类指针删除派生类对象 | 将基类的析构函数声明为virtual |
| 构造阶段虚函数调用不符合预期 | 在基类构造函数中调用了虚函数 | 避免在构造函数中调用虚函数,改用其他初始化方式 |
掌握这些继承中构造函数和析构函数的使用规则,能有效减少C++继承相关的bug,让代码的逻辑更符合预期。