c++只在基類中用虛解構函式的原因

    

C++的多態性是通過虛函數來實現的，虛函數的出現使得動態連結成為可能。

基於建構函式的特點，不能將建構函式定義為虛函數，但可以將解構函式定義為虛函數。

一般情況：當衍生類別的對象從記憶體中撤銷時，會先調用衍生類別的解構函式，然後自動調用基類的解構函式，如此看來解構函式也沒有必要定義為虛函數。

但如考慮如下這種情況，如果使用基類指標指向衍生類別的對象，而這個衍生類別對象恰好是用new運算建立的，這種情況下會如何呢？當程式使用delete運算撤銷衍生類別對象時，這時只會調用基類的解構函式，而沒有調用衍生類別的解構函式。如果使用的是虛解構函式的話，就不一樣了，所以定義虛解構函式有時候還是很有必要的。

我們知道，用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++程式員都知道這樣的危險性。當然，如果在解構函式中做了其他工作的話，那你的所有努力也都是白費力氣。
    所以，文章開頭的那個問題的答案就是－－這樣做是為了當用一個基類的指標刪除一個衍生類別的對象時，衍生類別的解構函式會被調用。
    當然，並不是要把所有類的解構函式都寫成虛函數。因為當類裡面有虛函數的時候，編譯器會給類添加一個虛函數表，裡面來存放虛函數指標，這樣就會增加類的儲存空間。所以，只有當一個類被用來作為基類的時候，才把解構函式寫成虛函數。

Note：可見，子類型化要求將解構函式聲明為虛函數。特別是當解構函式完成了一些有意義的操作時，例如，關閉檔案、刪除指標所指向的對象等。總之，將解構函式聲明為虛函數一般沒有什麼壞處，所以，如果不能決定是否應當將解構函式聲明為虛函數時，就將解構函式聲明為虛函數。
    建構函式不能被聲明為虛函數。因為對建構函式的調用意味著要建立一個對象，這時，必須要確切地知道這個對象的類型，而且我們也不會為一個已存在的對象調用建構函式，因此，將建構函式聲明為虛函數是沒有意義的。