我們已經介紹過析構函數(詳情請查看:C++析構函數),它的作用是在對象撤銷之前做必要的“清理現場”的工作。
當派生類的對象從內存中撤銷時一般先調用派生類的析構函數,然後再調用基類的析構函數。
1、系統會只執行基類的析構函數,而不執行派生類的析構函數。如下例子
[例12.3] 基類中有非虛析構函數時的執行情況。爲簡化程序,只列出最必要的部分。
1. #include <iostream>
2. using namespace std;
3. class Point //定義基類Point類
4. {
5. public:
6. Point( ){} //Point類構造函數
7. ~Point(){cout<<"executing Point destructor"<<endl;} //Point類析構函數
8. };
9. class Circle:public Point //定義派生類Circle類
10. {
11. public:
12. Circle( ){} //Circle類構造函數
13. ~Circle( ){cout<<"executing Circle destructor"<<endl;} //Circle類析構函數
14. private:
15. int radius;
16. };
17. int main( )
18. {
19. Point *p=new Circle; //用new開闢動態存儲空間
20. delete p; //用delete釋放動態存儲空間
21. return 0;
22. }
這只是一個示意的程序。p是指向基類的指針變量,指向new開闢的動態存儲空間,希望用detele釋放p所指向的空間。但運行結果爲:
executing Point destructor
表示只執行了基類Point的析構函數,而沒有執行派生類Circle的析構函數。
2、如果希望能執行派生類Circle的析構函數,可以將基類的析構函數聲明爲虛析構函數,
如:
virtual ~Point(){cout<<″executing Point destructor″<<endl;}
程序其他部分不改動,再運行程序,結果爲:
executing Circle destructor
executing Point destructor
先調用了派生類的析構函數,再調用了基類的析構函數,符合人們的願望。
當基類的析構函數爲虛函數時,無論指針指的是同一類族中的哪一個類對象,系統會採用動態關聯,調用相應的析構函數,對該對象進行清理工作。
如果將基類的析構函數聲明爲虛函數時,由該基類所派生的所有派生類的析構函數也都自動成爲虛函數,即使派生類的析構函數與基類的析構函數名字不相同。
最好把基類的析構函數聲明爲虛函數。這將使所有派生類的析構函數自動成爲虛函數。這樣,如果程序中顯式地用了delete運算符準備刪除一個對象,而delete運算符的操作對象用了指向派生類對象的基類指針,則系統會調用相應類的析構函數。
3、虛析構函數的概念和用法很簡單,但它在面向對象程序設計中卻是很重要的技巧。
專業人員一般都習慣聲明虛析構函數,即使基類並不需要析構函數,也顯式地定義一個函數體爲空的虛析構函數,以保證在撤銷動態分配空間時能得到正確的處理。
構造函數不能聲明爲虛函數。這是因爲在執行構造函數時類對象還未完成建立過程,當然談不上函數與類對象的綁定。