C++析構函數爲什麼要爲虛函數
1.爲什麼基類的析構函數是虛函數?
在實現多態時,當用基類操作派生類,在析構時防止只析構基類而不析構派生類的狀況發生。
- 第一段代碼
#include<iostream>
using namespace std;
class ClxBase{
public:
ClxBase() {};
~ClxBase() {cout << "Output from the destructor of class ClxBase!" << endl;};
void DoSomething() { cout << "Do something in class ClxBase!" << endl; };
};
class ClxDerived : public ClxBase{
public:
ClxDerived() {};
~ClxDerived() { cout << "Output from the destructor of class ClxDerived!" << endl; };
void DoSomething() { cout << "Do something in class ClxDerived!" << endl; };
};
int main(){
ClxDerived *p = new ClxDerived;
p->DoSomething();
delete p;
return 0;
}
運行結果:
Do something in class ClxDerived!
Output from the destructor of class ClxDerived!
Output from the destructor of class ClxBase!
這段代碼中基類的析構函數不是虛函數,在main函數中用繼承類的指針去操作繼承類的成員,釋放指針P的過程是:先釋放繼承類的資源,再釋放基類資源.
- 第二段代碼
#include<iostream>
using namespace std;
class ClxBase{
public:
ClxBase() {};
~ClxBase() {cout << "Output from the destructor of class ClxBase!" << endl;};
void DoSomething() { cout << "Do something in class ClxBase!" << endl; };
};
class ClxDerived : public ClxBase{
public:
ClxDerived() {};
~ClxDerived() { cout << "Output from the destructor of class ClxDerived!" << endl; };
void DoSomething() { cout << "Do something in class ClxDerived!" << endl; }
};
int main()
{
ClxBase *p = new ClxDerived;
p->DoSomething();
delete p;
return 0;
}
輸出結果:
Do something in class ClxBase!
Output from the destructor of class ClxBase!
這段代碼中基類的析構函數同樣**不是虛函數**,不同的是在main函數中用基類的指針去操作繼承類的成員,釋放指針P的過程是:只是釋放了基類的資源,而沒有調用繼承類的析構函數.調用 dosomething()函數執行的也是基類定義的函數.
一般情況下,這樣的刪除只能夠刪除基類對象,而不能刪除子類對象,形成了刪除一半形象,造成內存泄漏.
在公有繼承中,基類對派生類及其對象的操作,只能影響到那些從基類繼承下來的成員.如果想要用基類對非繼承成員進行操作,則要把基類的這個函數定義爲虛函數.
析構函數自然也應該如此:如果它想析構子類中的重新定義或新的成員及對象,當然也應該聲明爲虛的.
- 第三段代碼
#include<iostream>
using namespace std;
class ClxBase{
public:
ClxBase() {};
virtual ~ClxBase() {cout << "Output from the destructor of class ClxBase!" << endl;};
virtual void DoSomething() { cout << "Do something in class ClxBase!" << endl; };
};
class ClxDerived : public ClxBase{
public:
ClxDerived() {};
~ClxDerived() { cout << "Output from the destructor of class ClxDerived!" << endl; };
void DoSomething() { cout << "Do something in class ClxDerived!" << endl; };
};
int main(){
ClxBase *p = new ClxDerived;
p->DoSomething();
delete p;
return 0;
}
運行結果:
Do something in class ClxDerived!
Output from the destructor of class ClxDerived!
Output from the destructor of class ClxBase!
這段代碼中基類的析構函數被定義爲虛函數,在main函數中用基類的指針去操作繼承類的成員,釋放指針P的過程是:只是釋放了繼承類的資源,再調用基類的析構函數.調用dosomething()函數執行的也是繼承類定義的函數.
注意
如果不需要基類對派生類及對象進行操作,則不能定義虛函數,因爲這樣會增加內存開銷.
當類裏面有定義虛函數的時候,編譯器會給類添加一個虛函數表,裏面來存放虛函數指針,這樣就會增加類的存儲空間.所以,只有當一個類被用來作爲基類的時候,才把析構函數寫成虛函數.
- 構造順序:基類構造函數->繼承類構造函數
- 析構順序:繼承類析構函數->基類析構函數
所謂多態,就是指針是基類指針,通過虛函數可以實現,判斷後面實例是基類還是繼承類(而不是通過指針類型判斷),完成相應的操作。
如果不需要基類對派生類及對象進行操作,則不能定義虛函數,因爲這樣會增加內存開銷.