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