C++分析如何用虛析構(gòu)與純虛析構(gòu)處理內(nèi)存泄漏

更新時間：2022年08月24日 16:32:58 作者：_拾貳_

虛析構(gòu)和純虛析構(gòu)共性：可以解決父類指針釋放子類對象，都需要有具體的函數(shù)實現(xiàn)；虛析構(gòu)和純虛析構(gòu)區(qū)別：如果是純虛析構(gòu)，該類屬于抽象類，無法實例化對象

一、問題引入

使用多態(tài)時，如果有一些子類的成員開辟在堆區(qū)，那么在父類執(zhí)行完畢釋放后，沒有辦法去釋放子類的內(nèi)存，這樣會導致內(nèi)存的泄漏。如下代碼段。

如果沒有堆區(qū)的數(shù)據(jù)，可以不寫虛析構(gòu)或純虛析構(gòu)。

#include <iostream>
#include <string>
using namespace std;
class Animal{
  public:
    Animal(){
        cout<<"Animal-構(gòu)造"<<endl;
    }
      ~Animal(){
        cout<<"Animal-析構(gòu)"<<endl;
    }
    virtual void Run()=0;  //純虛函數(shù)無需實現(xiàn)，只需聲明
};
class Cat:public Animal{
  public:
  string *s_name;
  Cat(string name){
      s_name = new string(name);//在堆區(qū)創(chuàng)建內(nèi)存
      cout<<"Cat-構(gòu)造"<<endl;
  }
  void Run()
  {
      cout<<*s_name<<"->"<<"Cat-Run"<<endl;
  }
  ~Cat(){
      cout<<"Cat-析構(gòu)"<<endl;
      if(s_name!=NULL){
          delete s_name;
          s_name=NULL;
      }
  }
};
int main()
{
    Animal *a;
    a = new Cat("Tom");
    a->Run();
    delete a;   //父類指針析構(gòu)的時候，不會調(diào)用子類析構(gòu)函數(shù)
    return 0;
}

運行結(jié)果：

結(jié)果可以看到都有父類和子類的構(gòu)造，雖然在主函數(shù)中delete 父類，但最終只有父類的析構(gòu)函數(shù)，此時子類在堆區(qū)創(chuàng)建的s_name并沒有得到釋放，導致內(nèi)存泄漏。

以上的問題我們引入虛析構(gòu)和純虛析構(gòu)來解決——父類指針釋放子類對象時不干凈的問題

二、利用虛析構(gòu)解決

虛析構(gòu)只需要在析構(gòu)函數(shù)前加關(guān)鍵字 virrtual 即可，再觀察結(jié)果，可以看到父類和子類的都執(zhí)行了析構(gòu)函數(shù)，而子類中在堆區(qū)創(chuàng)建的數(shù)據(jù)也被釋放干凈，這是最終的結(jié)果！

   virtual ~Animal(){
        cout<<"Animal析構(gòu)"<<endl;
    }

三、利用純虛析構(gòu)解決

純虛析構(gòu)格式如下，和純虛函數(shù)有點類似，但需要有具體的聲明和具體的實現(xiàn)。純虛析構(gòu)需要在類外實現(xiàn).

class Animal{
  public:
    Animal(){
        cout<<"Animal-構(gòu)造"<<endl;
    }
    //虛析構(gòu)
     /*virtual ~Animal(){
        cout<<"Animal析構(gòu)"<<endl;
    }*/
    //純虛析構(gòu)
    virtual ~Animal()=0;
    virtual void Run()=0;  //純虛函數(shù)無需實現(xiàn)，只需聲明
};
//需要有聲明，也需要有實現(xiàn)
Animal::~Animal(){
    cout<<"純虛析構(gòu)"<<endl;
}

結(jié)果如下，和虛析構(gòu)有相同的作用