析構(gòu)函數(shù)的工作方式是:最底層的派生類(most derived
class)的析構(gòu)函數(shù)最先被調(diào)用,然后調(diào)用每一個基類的析構(gòu)函數(shù)。
因為在C++中,當(dāng)一個派生類對象通過使用一個基類指針刪除,而這個基類有一個非虛的析構(gòu)函數(shù),則結(jié)果是未定義的。運行時比較有代表性的后果是對象的派生部分不會被
銷毀。然而,基類部分很可能已被銷毀,這就導(dǎo)致了一個古怪的“部分析構(gòu)”對象,這是一個泄漏資源。
排除這個問題非常簡單:給基類一個虛析構(gòu)函數(shù)。于是,刪除一個派生類對象的時候就有了你所期望的正確行為。將銷毀整個對象,包括全部的派生類部分。
但是,一般如果不做基類的類的析構(gòu)函數(shù)一般不聲明為虛函數(shù),因為虛函數(shù)的實現(xiàn)要求對象攜帶額外的信息,這些信息用于在運行時確定該對象應(yīng)該調(diào)用哪一個虛函
數(shù)。典型情況下,這一信息具有一種被稱為 vptr(virtual table pointer,虛函數(shù)表指針)的指針的形式。vptr
指向一個被稱為 vtbl(virtual table,虛函數(shù)表)的函數(shù)指針數(shù)組,每一個包含虛函數(shù)的類都關(guān)聯(lián)到
vtbl。當(dāng)一個對象調(diào)用了虛函數(shù),實際的被調(diào)用函數(shù)通過下面的步驟確定:找到對象的 vptr 指向的 vtbl,然后在 vtbl
中尋找合適的函數(shù)指針。這樣子會使類所占用的內(nèi)存增加。