虛析構函數(刪除基類對象時,先調用派生類的虛構函數,再調用基類虛析構函數)

我們已經介紹過析構函數(詳情請查看: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、虛析構函數的概念和用法很簡單,但它在面向對象程序設計中卻是很重要的技巧。

專業人員一般都習慣聲明虛析構函數,即使基類並不需要析構函數,也顯式地定義一個函數體爲空的虛析構函數,以保證在撤銷動態分配空間時能得到正確的處理。

構造函數不能聲明爲虛函數。這是因爲在執行構造函數時類對象還未完成建立過程,當然談不上函數與類對象的綁定。

發佈了170 篇原創文章 · 獲贊 25 · 訪問量 65萬+
發表評論
所有評論
還沒有人評論,想成為第一個評論的人麼? 請在上方評論欄輸入並且點擊發布.
相關文章