(轉)基類析構函數必須爲虛函數否則會造成內存泄漏

看看下面程序有什麼錯誤:

#include <iostream>
using namespace std;

class Father
{
public:
    Father(){};
    ~Father(){};
};

class Son:public Father
{
public:
    Son(){};
    ~Son(){};
};

int main()
{
    Father *pfather=new Son;
    delete pfather;
    pfather=NULL;

    return 0;
}

該程序在VC++6.0運行後並未發生錯誤,何解?
修改上面程序如下:

#include <iostream>
using namespace std;

class Father
{
public:
    Father(){cout<<"contructor Father!"<<endl;};
    ~Father(){cout<<"destructor Father!"<<endl;};
};

class Son:public Father
{
public:
    Son(){cout<<"contructor Son!"<<endl;};
    ~Son(){cout<<"destructor Son!"<<endl;};
};

int main()
{
    Father *pfather=new Son;
    delete pfather;
    pfather=NULL;

    return 0;
}

運行結果:
contructor Father!
contructor Son!
destructor Father!

顯然派生類Son並沒有析構,馬上引出了C++繼承中的虛析構函數問題。
(1)基類的的析構函數不是虛函數的話,刪除指針時,只有其類的內存被釋放,派生類的沒有。這樣就內存泄漏了。
(2)析構函數不是虛函數的話,直接按指針類型調用該類型的析構函數代碼,因爲指針類型是基類,所以直接調用基類析構函數代碼。
(3)問:啥已經delete p了還能給p賦值啊。。。不解,求高人指點?
       答:delete是刪除指針p指向的實例,p指針本身依然存在,delete後將p置爲空值是常用做法,空值一般寫成NULL宏,其實就是0。因爲內存0位置是不允許訪問的,delete 0操作編譯器可以判斷是錯誤操作不會執行,因此將p置爲空值0是很安全的做法。
(4)養成習慣:基類的析構一定virtual。
(5)當基類指針指向派生類的時候,如果析構函數不聲明爲虛函數,在析構的時候,不會調用派生類的析構函數,從而導致內存泄露。
(6)子類對象創建時先調用父類構造函數然後在調用子類構造函數,在清除對象時順序相反,所以delete p只清除了父類,而子類沒有清除。。。
(7)當基類對象的指針或引用調用派生類對象時,如果基類的析構函數不是虛析構函數,則通過基類指針或引用對派生類的析構是不徹底的。


後語:
(1) 對於這個程序,實際上是沒有關係的,delete pfather雖然只調用了Father類的析構函數,但是程序運行完成,退出main函數後,Son類的部分數據也會被自動清除。
(2)那麼什麼時候纔要用虛析構函數呢?通常情況下,程序員的經驗是,當類中存在虛函數時要把析構函數寫成virtual,因爲類中存在虛函數,就說明它有想要讓基類指針或引用指向派生類對象的情況,此時如果派生類的構造函數中有用new動態產生的內存,那麼在其析構函數中務必要delete這個數據,但是一般的像以上這種程序,這種操作只調用了基類的析構函數,而標記成虛析構函數的話,系統會先調用派生類的析構函數,再調用基類本身的析構函數。 
(3)一般情況下,在類中有指針成員的時候要寫copy構造函數,賦值操作符重載和析構函數。

修改後程序:

#include <iostream>
using namespace std;

class Father
{
public:
    Father(){cout<<"contructor Father!"<<endl;};
    virtual ~Father(){cout<<"destructor Father!"<<endl;};
};

class Son:public Father
{
public:
    Son(){cout<<"contructor Son!"<<endl;};
    ~Son(){cout<<"destructor Son!"<<endl;};
};

int main()
{
    Father *pfather=new Son;
    delete pfather;
    pfather=NULL;

    return 0;
}

運行結果:
contructor Father!
contructor Son!
destructor Son!
destructor Father!

轉自:https://blog.csdn.net/asd199086/article/details/52206241

發表評論
所有評論
還沒有人評論,想成為第一個評論的人麼? 請在上方評論欄輸入並且點擊發布.
相關文章