C++中虛析構函數的作用-- 從內存角度來看這個問題

----引用

我們知道，用C++開發的時候，用來做基類的類的析構函數一般都是虛函數。可是，爲什麼要這樣做呢？下面用一個小例子來說明：    
    有下面的兩個類：

class ClxBase
{
public:
    ClxBase() {};
    virtual ~ClxBase() {};

    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; };
};

    代碼

ClxBase *pTest = new ClxDerived;
pTest->DoSomething();
delete pTest;

    的輸出結果是：

Do something in class ClxDerived!
Output from the destructor of class ClxDerived!

    這個很簡單，非常好理解。
    但是，如果把類ClxBase析構函數前的virtual去掉，那輸出結果就是下面的樣子了：

Do something in class ClxDerived!

    也就是說，類ClxDerived的析構函數根本沒有被調用！一般情況下類的析構函數裏面都是釋放內存資源，而析構函數不被調用的話就會造成內存泄漏。我想所有的C++程序員都知道這樣的危險性。當然，如果在析構函數中做了其他工作的話，那你的所有努力也都是白費力氣。
    所以，文章開頭的那個問題的答案就是－－這樣做是爲了當用一個基類的指針刪除一個派生類的對象時，派生類的析構函數會被調用。
    當然，並不是要把所有類的析構函數都寫成虛函數。因爲當類裏面有虛函數的時候，編譯器會給類添加一個虛函數表，裏面來存放虛函數指針，這樣就會增加類的存儲空間。所以，只有當一個類被用來作爲基類的時候，才把析構函數寫成虛函數。

---引用

       從內存分配角度考慮這個問題：

      1. 關於定義指針的內存分配

        ClxBase *pTest = new ClxDerived;

      雖然new 開闢了一個clxDerived大小的內存，但當賦值給ptest進行了內存剪切，只保留了基類ClxBase的內存和相關虛函數表。  

所以當析構函數爲非虛擬函數的時候，delete ptest 不會執行子類的析構函數。

     

      2。關於虛函數虛擬表的內存分配

       虛函數表是自動分配4個字節，子類在繼承基類的時候，會把虛函數表一起繼承，所以當析構函數爲虛擬函數時候，子類指針對象釋放的時候會調用析構函數，而析構函數又放在虛函數表裏面，並且被子類重定義覆蓋，所以最後析構回調用子類析構函數。