为什么析构函数常常必须为虚函数_为什么析构函数常常设为虚析构-优快云博客

本文链接：https://blog.youkuaiyun.com/doubleintfloat/article/details/52529874

本文通过实例演示了虚析构函数的重要性，展示了如何避免在使用多态时出现内存泄漏问题。通过对比实现实现和虚实现，解释了虚析构函数的工作原理。

摘要生成于 C知道，由 DeepSeek-R1 满血版支持，前往体验 >

首先来看下面很简单的代码

#include<iostream>
using namespace std;
class Base
{
private :
    int ma;
public:
    Base(int n):ma(n){cout<<"Base()"<<endl;}//构造函数
    void virtual  show(){cout<<"ma="<<ma<<endl;}    
     ~Base(){cout<<"~Base"<<endl;}//析构函数
};

class Derive: public Base
{
private :
    int mb;
public:
    Derive(int n):Base(n){cout<<"Derive()"<<endl;}//构造函数
    void  virtual show(){cout<<"mb="<<mb<<endl;}
    ~Derive(){cout<<"~Derive()"<<endl;}//析构函数
};

int main()
{
    Base*p = new Derive(10);    
    delete p;
    return 0;
}

运行结果：
Base()
Derive()
~Base
请按任意键继续…
虽然能运行，但是很明显，存在内存泄漏，p指向的是一个派生类对象，但是释放的时候，只是把基类给释放掉了，那么派生类自己的数据呢，并没有释放，依然在堆上，造成内存的泄漏。
如果把基类的析构函数改为虚函数：

#include<iostream>
using namespace std;
class Base
{
private :
    int ma;
public:
    Base(int n):ma(n){cout<<"Base()"<<endl;}//构造函数
    void virtual  show(){cout<<"ma="<<ma<<endl;}    
    virtual ~Base(){cout<<"~Base"<<endl;}//析构函数
};

class Derive: public Base
{
private :
    int mb;
public:
    Derive(int n):Base(n){cout<<"Derive()"<<endl;}//构造函数
    void  virtual show(){cout<<"mb="<<mb<<endl;}
    ~Derive(){cout<<"~Derive()"<<endl;}//析构函数
};

int main()
{
    Base*p = new Derive(10);    
    delete p;
    return 0;
}

运行结果：
Base()
Derive()
~Derive()
~Base
请按任意键继续…

不存在内存泄漏。
把基类的析构函数改为虚函数，那么delete p 的时候调用析构函数，因为基类的析构函数为虚函数，此时派生类的析构函数就变成了虚函数，调用虚函数时，就要查找vftable(虚函数表)，此时在派生类对象的虚函数表里，派生类的虚析构函数，把基类的析构函数给覆盖了。虚函数表的最上面的第一行表示RTTI运行时的类型状态，此时为派生类，于是调用派生类的析构函数。
于是调用派生类的析构函数，系统先调用基类的析构函数，再调用派生类的析构函数，就不会存在内存的泄漏现象。

用一句话概括为什么使用虚析构函数：在使用多态，而且基类的指针指向堆上的对象时，调用delete释放对上的对象，防止内存泄漏。