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