因为基类析构函数非virtual时delete会静态绑定只调用基类析构,导致派生类析构被跳过;加virtual后通过vtable动态绑定,先调派生类再自动链式调基类析构。

为什么 delete 基类指针会漏掉派生类析构?
因为 C++ 默认用静态绑定:编译期就决定调用哪个析构函数。如果 Base* 指向 Derived 对象,而 Base::~Base() 不是 virtual,那 delete ptr; 就只调 Base::~Base(),Derived::~Derived() 根本不执行——哪怕它里面 delete 了堆内存、关了文件句柄、解了锁,全被跳过。
虚析构函数怎么让 delete 正确工作?
加 virtual 后,编译器会给类加虚函数表(vtable),其中存着该类型真正的析构函数地址。运行时通过指针的动态类型查表,先调 Derived::~Derived(),再自动链式调 Base::~Base()(这是编译器保证的,不用手动写 Base::~Base() 调用)。
- 只要基类有虚函数(哪怕只有
virtual ~Base() = default;),就必须把析构函数也设为virtual - 抽象基类常用纯虚析构:
virtual ~Base() = 0;,但必须在类外定义:Base::~Base() {},否则链接失败——因为派生类析构里隐式调用了它 - 没继承需求的类(比如
std::string这种工具类),别乱加virtual析构,徒增虚表开销和 ABI 复杂度
常见错误写法与后果
下面这些看着像对,其实埋雷:
-
class Base { ~Base(); };—— 没virtual,多态删除直接资源泄漏 -
class Base { virtual ~Base() = 0; };但没在 .cpp 里写Base::~Base() {}—— 链接时报undefined reference to 'Base::~Base()' -
class Base { virtual ~Base() {} };+class Derived : public Base { ~Derived() override; };却忘了在Derived::~Derived()里显式释放自己的资源 —— 虚析构只是启动了调用链,不替你写逻辑
inline 虚析构有用吗?
可以加 inline virtual ~Base() = default;,编译器可能内联最顶层的调用,但注意:虚函数表条目仍存在,动态绑定机制照常;真正省的是“调用指令跳转”开销,不是虚机制本身。对性能敏感场景有意义,但别指望靠它消除虚表。
立即学习“C++免费学习笔记(深入)”;
纯虚析构必须定义,不是语法刁难,而是 C++ 规定析构函数调用链必须完整可达——哪怕抽象类从不实例化,它的析构函数仍是派生类析构过程中的一个真实环节。











