C++中虛析構函數的作用之誤解

今天在看c++虛函數時，對虛析構函數的作用有了一些疑問，上網查看時，發現很多人博客上寫的有誤。具體表現爲：

如果你這樣: 
a *pa = new b; // upcast 
然後這樣: 
delete pa; 
這句delete, 如果你基類的析構函數不是虛的的話, 就會造成內存泄露, 具體表現爲派生類的內存被釋放了而基類沒有. 
後來經過本人測試發現，如果你基類的析構函數不是虛的的話，會導致你基類的內存被釋放，而派生類沒有，與上文恰恰相反。


實際上，虛析構只是虛函數的一種，作用與虛函數也是相同的。在公有繼承中，基類對派生類及其對象的操作，只能影響到那些從基類繼承下來的成員。如果想要用基類對非繼承成員進行操作，則要把基類的這個操作（函數）定義爲虛函數。那麼，析構函數自然也應該如此：如果它想析構子類中的重新定義或新的成員及對象，當然也應該聲明爲虛的。


＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝


注意：
如果不需要基類對派生類及對象進行操作，則不能定義虛函數（包括虛析構函數），因爲這樣會增加內存開銷。
語法如下：
class Base
...{ public:
      Base( ) ...{  };
  virtual    ~Base( ) ...{  };   //注意:基類的析構函數被定義爲虛的
};
class Derived
...{
  public:
      Derived( ) ...{  };
    ~Derived( ) ...{  }; 
};
void main( )
...{
  Base *p;
  p = new Derived;
  delete p;
}
注：似乎這樣的使用經常在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++程序員都知道這樣的危險性。當然，如果在析構函數中做了其他工作的話，那你的所有努力也都是白費力氣。
    所以，文章開頭的那個問題的答案就是－－這樣做是爲了當用一個基類的指針刪除一個派生類的對象時，派生類的析構函數會被調用。
    當然，並不是要把所有類的析構函數都寫成虛函數。因爲當類裏面有虛函數的時候，編譯器會給類添加一個虛函數表，裏面來存放虛函數指針，這樣就會增加類的存儲空間。所以，只有當一個類被用來作爲基類的時候，才把析構函數寫成虛函數。