C++ 解構函式&虛解構函式

1.為什麼要定義虛解構函式？

如果有一個帶有虛函數功能的類，則它需要一個虛解構函式，原因如下：
1)如果一個類有虛函數功能，它經常作為一個基類使用；
2)如果它是一個基類，它的衍生類別經常使用new來分配；
3)如果一個衍生類別對象使用new來分配，並且通過一個指向它的基類的指標來控制，那麼它經常通過一個指向它的基類的指標來刪除它（如果基類沒有虛解構函式，結果將是不確定的，實際發生時，衍生類別的解構函式永遠不會被調用）；
基類有虛解構函式的話，最底層的衍生類別的解構函式最先被調用，然後各個基類的解構函式被調用。

2.聲明為保護(protected)的解構函式

如果在一個衍生類別中定義了基類以外的成員對象，且基類解構函式不是virtual修飾的，那麼當基類指標或引用指向衍生類別對象並析構（例如自動對象在函數範圍結束時；或者通過delete）時，會調用基類的解構函式而導致衍生類別定義的成員沒有被析構，產生記憶體泄露等問題。
雖然把解構函式定義成virtual的可以解決這個問題，但是當其它成員函數都不是virtual函數時（即基類中沒有虛函數），會在基類和衍生類別引入vtable，執行個體引入vptr造成運行時的效能損失。如果確定不需要直接而是只通過衍生類別對象使用基類，
可以把解構函式定義為protected（這樣會導致基類和衍生類別外使用自動對象和delete時的錯誤，因為存取權限禁止調用解構函式），就不會導致以上問題。

3.建構函式、解構函式聲明為私人和保護時的用法

從文法上來講，一個函數被聲明為protected或者private，那麼這個函數就不能從“外部”直接被調用了。
對於protected的函數，子類的“內部”的其他函數可以調用之；
而對於private的函數，只能被本類“內部”的其他函數說調用；

通常使用的情境如下：
1）如果你不想讓外面的使用者直接構造一個類（假設這個類的名字為A）的對象，而希望使用者只能構造這個類A的子類，那你就可以將類A的建構函式/解構函式聲明為protected，而將類A的子類的建構函式/解構函式聲明為public。

例如：

class A{    protected: A(){}   public:   ....};calss B : public A{   public: B(){}   ....};A a; // errorB b; // ok

2）如果將建構函式/解構函式聲明為private，那隻能這個類的“內部”的函數才能構造這個類的對象了。
例如：

class A{   private:     A(){  }     ~A(){ }   public:     void Instance()//類A的內部的一個函數     {        A a;     }};

上面的代碼是能通過編譯的。上面代碼裡的Instance函數就是類A的內部的一個函數。Instance函數體裡就構建了一個A的對象。
但是，這個Instance函數還是不能夠被外面調用的。為什麼呢？
如果要調用Instance函數，必須有一個對象被構造出來。但是建構函式被聲明為private的了。外部不能直接構造一個對象出來。

A aObj; // 編譯通不過aObj.Instance();

但是，如果Instance是一個static靜態函數的話，就可以不需要通過一個對象，而可以直接被調用。

class A{   private:     A():data(10){ cout << "A" << endl; }     ~A(){ cout << "~A" << endl; }   public:     static A& Instance()     {         static A a;         return a;     }      void Print()     {         cout << data << endl;     }  private:     int data;};A& ra = A::Instance();ra.Print();

上面的代碼其實是設計模式singleton模式的一個簡單的C++代碼實現。

 

原文：http://www.cnblogs.com/kanego/archive/2011/10/03/virtual_destructor.html