《Effective C++》讀書筆記07：為多態基類聲明virtual析構函數

這個問題在實踐中偶爾會碰到，設計一個TimeKeeper基類和一些派生類來記錄時間：

1 class TimeKeeper
2 {
3 public:
4　　 TimeKeeper ();
5　　 ~TimeKeeper();
6
7 };
8
9 class AtomicClock: public TimeKeeper {}; //原子鐘
10 class WaterClock: public TimeKeeper {}; //水鐘

在使用時，我們可能會使用factory工廠方法：

1 TimeKeeper* getTimeKeeper();//返回一個指針，指向一個派生類的動態分 配的對象
2
3 TimeKeeper* ptk = getTimeKeeper();//從繼承體系中得到一 個動態分配對象
4
5 delete ptk;//負責的刪除它

刪除的時候就會出現問題，因為ptk這個指針指向的是基類，那刪除的指令會執行基類 TimeKeeper的析構函數，該函數不是virtual函數。

在c++中，這樣的情況下其刪除行為沒有被定義，一般會只刪除基類的成分，而派生類 的那些元素沒有被刪除，這就是形成資源洩露，敗壞數據結構，在調試器上浪費很多時間 的絕佳途徑哦（引用原文翻譯）。

解決的方法就是定義一個基類的virtual析構函數，這樣一來，刪除行為就會在派生類 中實現，不會只刪除一部分。

一般來說，只要類中有virtual函數，就要定義一個virtual析構函數。不過，如果類 中沒有virtual函數，就不需要也不應該定義virtual析構函數，這樣不僅沒用，而且也會 增加額外開支，且會產生很多的兼容性問題，因為virtual機制是c++特有的。

另外，c++中很多類的實現都是不帶virtual的，比如：string，STL中的vector，list ，set，trl::unordered_map，如果繼承它們很可能出現上述的錯誤，所以作者提醒大家 ：拒絕繼承標准容器或者其它只有非virtual析構函數的類！