何時用虛析構函數
class Base
{
public:
Base();
~Base();
…
};
class Derived : public Base
{
…
};
Base *p = new Derived;
delete p;
這個例子中,基類指針p指向派生類對象,那麼經由基類指針來釋放該派生類對象,會導致資源洩漏。因為基類的析構函數不是虛的,delete p只會調用基類的析構函數,派生類的析造函數不會被調用。解決方法是將基類的析構函數改成虛析構函數。
那麼什麼時候該用虛析構函數呢?任何一個類只要帶有virtbual函數,這意味著該類被設計為多態用途的基類,那麼基本上這個類也應該有一個virtual析構函數。如果一個類不含virtual函數,通常表示它的設計意圖是不被用作多態基類。當類不被當作基類或者不被用作多態性,令其析構函數為virtual是不好的做法。因為一個類有虛函數,類對象會增加一個虛表指針(virtual table pointer)來決定運行期間哪個虛函數該被調用。
另外析構函數還可以是純虛析構函數。具有純虛函數的為表示抽象類,如果某個類沒有任何一個成員函數,又想將它設計成抽象類,就只能將析構函數作為純虛的。如:
class Test
{
public:
virtual ~Test() = 0;
}
// 虛析構函數的定義
virtual ~Test()
{
}
通常純虛函數不需要提供定義,但是這邊有個例外,純虛析構函數必需給出實現體才能通過編譯鏈接。析構函數析構函數析構的次序是最深層的派生類的析構函數先被調用,然後依次調用每一層的析構函數。所以編譯器會在析構Test類的派生類的析構函數中創建一個對~Test()的調用動作,所以必須提供這個析構函數的定義。