虛析構函式
虛析構函式是為了解決這樣的一個問題:基類的指針指向派生類對象,並用基類的指針刪除派生類對象。
如果某個類不包含虛函式,那一般是表示它將不作為一個基類來使用。當一個類不準備作為基類使用時,使析構函式為虛一般是個壞主意。因為它會為類增加一個虛函式表,使得對象的體積翻倍,還有可能降低其可移植性。
所以基本的一條是:無故的聲明虛析構函式和永遠不去聲明一樣是錯誤的。實際上,很多人這樣總結:若且唯若類里包含至少一個虛函式的時候才去聲明虛析構函式。
抽象類是準備被用做基類的,基類必須要有一個虛析構函式,純虛函式會產生抽象類,所以方法很簡單:在想要成為抽象類的類里聲明一個純虛析構函式。
虛析構函式舉例
這裡是一個例子:
class awov { // awov = "abstract w/o
// virtuals"
public:
virtual ~awov() = 0; // 聲明一個純虛析構函式
};
這個類有一個純虛函式,所以它是抽象的,而且它有一個虛析構函式,所以不會產生析構函式問題。但這裡還有一件事:必須提供純虛析構函式的定義:
awov::~awov() {} // 純虛析構函式的定義
這個定義是必需的,因為虛析構函式工作的方式是:最底層的派生類的析構函式最先被調用,然後各個基類的析構函式被調用。這就是說,即使是抽象類,編譯器也要產生對~awov的調用,所以要保證為它提供函式體。如果不這么做,連結器就會檢測出來,最後還是得回去把它添上。
注意:如果聲明虛析構函式為inline,將會避免調用它們時產生的開銷,但編譯器還是必然會在什麼地方產生一個此函式的拷貝。