設(shè)想在一個(gè)軍事應(yīng)用程序里,有一個(gè)表示敵人目標(biāo)的類:
class enemytarget
{
public:
enemytarget() { ++numtargets; }
enemytarget(const enemytarget&) { ++numtargets; }
~enemytarget() { --numtargets; }
static size_t numberoftargets()
{ return numtargets; }
virtual bool destroy(); // 摧毀enemytarget對象后
// 返回成功
private:
static size_t numtargets; // 對象計(jì)數(shù)器
};
//類的靜態(tài)成員要在類外定義;
// 缺省初始化為0
size_t enemytarget::numtargets;
敵人的坦克是一種特殊的敵人目標(biāo),所以會很自然地想到將它抽象為一個(gè)以公有繼承方式從enemytarget派生出來的類。因?yàn)椴坏P(guān)心敵人目標(biāo)的總數(shù),也要關(guān)心敵人坦克的總數(shù),所以和基類一樣,在派生類里也采用了上面提到的同樣的技巧:
class enemytank: public enemytarget {
public:
enemytank() { ++numtanks; }
enemytank(const enemytank& rhs)
: enemytarget(rhs)
{ ++numtanks; }
~enemytank() { --numtanks; }
static size_t numberoftanks()
{ return numtanks; }
virtual bool destroy();
private:
static size_t numtanks; // 坦克對象計(jì)數(shù)器
};
最后,假設(shè)程序的其他某處用new動態(tài)創(chuàng)建了一個(gè)enemytank對象,然后用delete刪除掉:
enemytarget *targetptr = new enemytank;
...
delete targetptr
這樣會發(fā)生嚴(yán)重問題,因?yàn)閏++語言標(biāo)準(zhǔn)關(guān)于這個(gè)問題的闡述非常清楚:當(dāng)通過基類的指針去刪除派生類的對象,而基類又沒有虛析構(gòu)函數(shù)時(shí),結(jié)果將是不可確定的。實(shí)際運(yùn)行時(shí)經(jīng)常發(fā)生的是,派生類的析構(gòu)函數(shù)永遠(yuǎn)不會被調(diào)用。在本例中,這意味著當(dāng)targetptr 刪除時(shí),enemytank的數(shù)量值不會改變,那么,敵人坦克的數(shù)量就是錯的。
如果某個(gè)類不包含虛函數(shù),那一般是表示它將不作為一個(gè)基類來使用。當(dāng)一個(gè)類不準(zhǔn)備作為基類使用時(shí),使析構(gòu)函數(shù)為虛一般是個(gè)壞主意。因?yàn)樗鼤轭愒黾右粋€(gè)虛函數(shù)表,使得對象的體積翻倍,還有可能降低其可移植性。
所以基本的一條是:無故的聲明虛析構(gòu)函數(shù)和永遠(yuǎn)不去聲明一樣是錯誤的。實(shí)際上,很多人這樣總結(jié):當(dāng)且僅當(dāng)類里包含至少一個(gè)虛函數(shù)的時(shí)候才去聲明虛析構(gòu)函數(shù)。
抽象類是準(zhǔn)備被用做基類的,基類必須要有一個(gè)虛析構(gòu)函數(shù),純虛函數(shù)會產(chǎn)生抽象類,所以方法很簡單:在想要成為抽象類的類里聲明一個(gè)純虛析構(gòu)函數(shù)。
這里是一個(gè)例子:
class awov { // awov = "abstract w/o
// virtuals"
public:
virtual ~awov() = 0; // 聲明一個(gè)純虛析構(gòu)函數(shù)
};
這個(gè)類有一個(gè)純虛函數(shù),所以它是抽象的,而且它有一個(gè)虛析構(gòu)函數(shù),所以不會產(chǎn)生析構(gòu)函數(shù)問題。但這里還有一件事:必須提供純虛析構(gòu)函數(shù)的定義:
awov::~awov() {} // 純虛析構(gòu)函數(shù)的定義
這個(gè)定義是必需的,因?yàn)樘撐鰳?gòu)函數(shù)工作的方式是:最底層的派生類的析構(gòu)函數(shù)最先被調(diào)用,然后各個(gè)基類的析構(gòu)函數(shù)被調(diào)用。這就是說,即使是抽象類,編譯器也要產(chǎn)生對~awov的調(diào)用,所以要保證為它提供函數(shù)體。如果不這么做,鏈接器就會檢測出來,最后還是得回去把它添上。
注意:如果聲明虛析構(gòu)函數(shù)為inline,將會避免調(diào)用它們時(shí)產(chǎn)生的開銷,但編譯器還是必然會在什么地方產(chǎn)生一個(gè)此函數(shù)的拷貝。