基类析构函数必须为虚函数否则会造成内存泄漏

Posted modem协议笔记

tags:

篇首语:本文由小常识网(cha138.com)小编为大家整理,主要介绍了基类析构函数必须为虚函数否则会造成内存泄漏相关的知识,希望对你有一定的参考价值。

看看下面程序有什么错误:

#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)当基类对象的指针或引用调用派生类对象时,如果基类的析构函数不是虚析构函数,则通过基类指针或引用对派生类的析构是不彻底的。

后语:

<span style="font-size: 15px;">(1) 对于这个程序,实际上是没有关系的,delete pfather虽然只调用了Father类的析构函数,但是程序运行完成,退出main函数后,Son类的部分数据也会被自动清除。</span>
<span style="font-size: 15px;">(2)那么什么时候才要用虚析构函数呢?通常情况下,程序员的经验是,当类中存在虚函数时要把析构函数写成virtual,因为类中存在虚函数,就说明它有想要让基类指针或引用指向派生类对象的情况,此时如果派生类的构造函数中有用new动态产生的内存,那么在其析构函数中务必要delete这个数据,但是一般的像以上这种程序,这种操作只调用了基类的析构函数,而标记成虚析构函数的话,系统会先调用派生类的析构函数,再调用基类本身的析构函数。 
(3)一般情况下,在类中有指针成员的时候要写copy构造函数,赋值操作符重载和析构函数。 </span>

修改后程序:

#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!

以上是关于基类析构函数必须为虚函数否则会造成内存泄漏的主要内容,如果未能解决你的问题,请参考以下文章

基类析构函数为虚函数

浅谈多态基类析构函数声明为虚函数

浅谈多态基类析构函数声明为虚函数

C++ 构造函数不能是虚函数,基类析构函数应该为虚函数

C++ 设置基类的析构函数为虚函数

为多态基类声明一个虚析构函数