[原創文章歡迎轉載,但請保留作者信息]
Justin 于 2009-11-02
vczh同學建議發布隨筆的時候選擇首頁,不知合不合適,我先試試看,要是有不對的地方,還請指點:)
從Item7開始講析構函數(Destructor)。
將析構函數定義為虛函數(virtual function)是必須要提的。(是不是需要一個虛函數的筆記?)
在一個多態(Polymorphic)的繼承體系中,基類(base class)的析構函數應該定義為虛函數。否則在通過基類指針析構一個子類對象的時候,因為沒有虛表(V Table)對析構函數的指引,對象的基類部分是被毀了,對象的子類部分卻沒辦法得到析構(沒有了虛表中的說明它根本不知道有子類的析構函數來析構子類部分!),從而導致內存泄漏。
我想炒冷飯系列應該以舉例為特色……好吧,我就姑且來胡亂舉個例子:
假設基類指針在析構時要做的事情是奉命救人:指針啊指針,XX地發大水了,你趕緊去把張三一家人(子類對象)救出來。
指針拿著指令(析構函數)就找到了張三(張三家家長,子類對象的基類部分):張三是吧,你一家人都在這里了吧,跟我走吧。(析構吧,回空余內存里去吧@#¥%)
如果張三已經沒有其他親戚了,他就是張三家的全部人(這個對象其實就是基類對象)。很簡單,直接跟著指針走就完事了。
如果張三還有個小弟叫張三瘋(張三家除張三外的一部分,即子類對象的子類部分),張三就必須拿著族譜(V Table)跟指針說哎呀這是我弟啊,把他也析構了吧,張三家對您感恩不盡……也很簡單,一并帶走就完成任務了(完整析構/釋放了整個對象)
如果,張三沒了族譜,記不得有個張三瘋弟弟,傻乎乎的跟了指針走,大家也以為張三一家都被救出來了。災區里就只剩下張三瘋一個人在瘋跑了(memory leak)
另一方面,如果不準備把某個類用作多態中的基類,就沒必要定義析構函數為虛函數。這樣除了增加代碼大小開銷外(因為需要空間存放虛表),沒有任何好處。(這個倒是很多書上沒說過的)
如果張三家本來就只有張三一個人,他就沒必要還要帶著個空白的族譜了。逃命的時候能扔就扔嘛。
最后提到的一點和抽象類有關。抽象類是有純虛函數的類,只能作為接口,不能有自己的對象。在設計軟件框架的時候會有需要用到抽象類的時候。可是如果有這么一個類,需要設計為抽象類,但是卻找不到一個成員函數可以拉去做純虛函數,那么這個時候就把析構函數定義為純虛函數好了。只是同時還要給它一個空的實現。
class::~class() {}
這種情況應該還是有的,只是我現在卻想象不出來……那就先死記著咯~