C++析构函数使用虚函数原因

为什么标准C++建议将虚构函数定义成虚函数,下面就来探讨这个问题。

#include <iostream>
class Base
{
public:
    Base() {data = new char[64]; }
    ~Base(){delete [] data;}
private:
    char *data;
};
class BaseEx: public Base
{
public:
    BaseEx(){m_data = new char[64];}
    ~BaseEx(){delete [] m_data;}
private:
    char *m_data;
};
void main()
{
Base*pCBase = new BaseEx;
delete pCBase ;
}
很显然,上述的程序有内存泄漏。这是因为当删除pCBase时,它只调用了Base的析构函数而没调用BaseEx的析构函数,所以导致内存泄漏。再看下例:
#include <iostream>
class CBase
{
public:
    CBase(){data = new char[64];}
    ~CBase(){delete [] data;}
private:
    char *data;
};
class CFunction
{
public:
    CFunction(){};
    ~CFunction(){};
};
class CFunctionEx : public CFunction
{
public:
    CFunctionEx(){};
    ~CFunctionEx(){};
private:
    CBase m_cbase;
};
void main()
{
CFunction *pCFun = new CFunctionEx;
delete pCFun;
}
   这里CfunctionEx和Cfunction中本身并没有分配内存,应该不会有内存泄漏。和上例一样当删除pCFun时,它只调用了Cfunction的析构函数而没调用CfunctionEx的析构函数,但CfunctionEx本身并没分配内存。所以发生内存泄露的地方是m_cbase,因为它是CBase的实例且是CfunctionEx成员变量,当CfunctionEx的析构函数没有被调用时,当然m_cbase的析构函数也没有被调用,所以CBase中分配的内存被泄漏。
解决以上问题的方法很简单,就是使基类Cfunction的析构函数为虚函数就可以了。
   这样就得出一个结论,当你的基类的析构函数不为虚的话,其子类中所有的成员变量的类中分配的内存也将可能泄漏。
   这里说的可能是因为,如果程序中没有以上示例类似写法(指用基类指针指向子类实例,虚函数是C++的精华,很少有人不用的,由其是在大中型软件项目中),就不会出现本文所说的内存泄漏。看来在基类中使析构函数为虚函数是如此的重要。所以强烈建议在基类中把析构函数声明为虚函数,但是只有你写的类并不做为基类时例外

posted @ 2012-10-18 10:19  拿枪的程序员  阅读(260)  评论(0编辑  收藏  举报