詳解C++中虛析構函數的作用及其原理分析

更新時間：2019年04月08日 10:38:53 作者：Stoneplay26

這篇文章主要介紹了C++中虛析構函數的作用及其原理分析，文中通過示例代碼介紹的非常詳細，對大家的學習或者工作具有一定的參考學習價值，需要的朋友們下面隨著小編來一起學習學習吧

C++中的虛析構函數到底什么時候有用的，什么作用呢。

一.虛析構函數的作用

總的來說虛析構函數是為了避免內存泄露，而且是當子類中會有指針成員變量時才會使用得到的。也就說虛析構函數使得在刪除指向子類對象的基類指針時可以調用子類的析構函數達到釋放子類中堆內存的目的，而防止內存泄露的.

我們知道，用C++開發(fā)的時候，用來做基類的類的析構函數一般都是虛函數?？墒?，為什么要這樣做呢？下面用一個小例子來說明：

#include<iostream>
using namespace std;

class ClxBase
{
  public:
    ClxBase() {};
    virtual ~ClxBase() { cout<<"delete ClxBase"<<endl; };

    virtual void DoSomething() { cout << "Do something in class ClxBase!" << endl; };

};

class ClxDerived : public ClxBase
{
  public:
    ClxDerived() {};
    ~ClxDerived() { cout << "Output from the destructor of class ClxDerived!" << endl; };

    void DoSomething() { cout << "Do something in class ClxDerived!" << endl; };

};

int main(int argc, char const* argv[])
{
   ClxBase *pTest = new ClxDerived;
   pTest->DoSomething();
   delete pTest;
  return 0;
}

但是，如果把類ClxBase析構函數前的virtual去掉，那輸出結果就是下面的樣子了：

沒有調動子類的析構函數

也就是說，類ClxDerived的析構函數根本沒有被調用！一般情況下類的析構函數里面都是釋放內存資源，而析構函數不被調用的話就會造成內存泄漏。我想所有的C++程序員都知道這樣的危險性。當然，如果在析構函數中做了其他工作的話，那你的所有努力也都是白費力氣。

所以，文章開頭的那個問題的答案就是－－這樣做是為了當用一個基類的指針刪除一個派生類的對象時，派生類的析構函數會被調用。

當然，并不是要把所有類的析構函數都寫成虛函數。因為當類里面有虛函數的時候，編譯器會給類添加一個虛函數表，里面來存放虛函數指針，這樣就會增加類的存儲空間。所以，只有當一個類被用來作為基類的時候，才把析構函數寫成虛函數。

總結一下虛析構函數的作用：

（1）如果父類的析構函數不加virtual關鍵字
當父類的析構函數不聲明成虛析構函數的時候，當子類繼承父類，父類的指針指向子類時，delete掉父類的指針，只調動父類的析構函數，而不調動子類的析構函數。

（2）如果父類的析構函數加virtual關鍵字
當父類的析構函數聲明成虛析構函數的時候，當子類繼承父類，父類的指針指向子類時，delete掉父類的指針，先調動子類的析構函數，再調動父類的析構函數。

二.虛析構函數的原理分析

#include<iostream>
using namespace std;

class Base
{
public:
  Base(){cout<<"create Base"<<endl;}
  virtual ~Base(){cout<<"delete Base"<<endl;}
};

class Der : public Base
{
public:
  Der(){cout<<"create Der"<<endl;}
  ~Der(){cout<<"Delete Der"<<endl;}
};
int main(int argc, char const* argv[])
{
  Base *b = new Der;
  delete b;

  return 0;
}

從創(chuàng)建講起，用gdb調試你會發(fā)現，

（1）先調用父類的構造函數，再調用子類的構造函數，

這里有一個問題:父類的構造函數/析構函數與子類的構造函數/析構函數會形成多態(tài)，但是當父類的構造函數/析構函數即使被聲明virtual，子類的構造/析構方法仍無法覆蓋父類的構造方法和析構方法。這是由于父類的構造函數和析構函數是子類無法繼承的，也就是說每一個類都有自己獨有的構造函數和析構函數。

（2）而由于父類的析構函數為虛函數，所以子類會在所有屬性的前面形成虛表，而虛表內部存儲的就是父類的虛函數

即使子類也有虛函數，但是由于是單繼承，所以也只有一張?zhí)摫?，這在上一篇博客多態(tài)中講到過。
執(zhí)行 Base *b = new Der;之后b的最終形態(tài)