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

Posted 2023-01-19 modem协议笔记

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

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