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