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

    xiaoxiao2025-05-25  8

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

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

    转载请注明原文地址: https://ju.6miu.com/read-1299250.html
    最新回复(0)