虚析构函数

直接的讲，C++中基类采用virtual虚析构函数是为了防止内存泄漏。

具体地说，如果派生类中申请了内存空间，并在其析构函数中对这些内存空间进行释放。假设基类中采用的是非虚析构函数，当delete基类指针指向的派生类对象时就不会触发动态绑定，因而只会调用基类的析构函数，而不会调用派生类的析构函数。那么在这种情况下，派生类中申请的空间就得不到释放从而产生内存泄漏。如果基类中析构函数声明为虚函数，则delete基类指针指向的派生类对象时通过动态绑定能够调用派生类的虚构函数，先执行派生类析构函数的函数体，再执行基类析构函数的函数体。所以，为了防止这种情况的发生，C++中基类的析构函数应采用virtual虚析构函数。

示例

基类析构函数未声明虚函数

#include <iostream>
using namespace std;
class Base
{
public:
    ~Base(){cout<<"~Base()"<<endl;}
};
class Derived:public Base
{
public:
    virtual ~Derived(){cout<<"~Derived()"<<endl;}
};

void test()
{
    Base* b=new Derived();
    delete b;
    cin.get();
}

输出

在VC2010下运行上面的代码会报_BLOCK_TYPE_IS_VALID的错误，具体啥原因还不知道。Linux下可正常运行，只调用基类析构函数。

基类虚构函数声明为虚函数

#include <iostream>
using namespace std;
class Base
{
public:
    virtual ~Base(){cout<<"~Base()"<<endl;}
};
class Derived:public Base
{
public:
    ~Derived(){cout<<"~Derived()"<<endl;}
};

void test()
{
    Base* b=new Derived();
    delete b;
    cin.get();
}

输出

另外，面试网易的时候面试官问基类析构函数不声明为虚函数，delete基类指针指向的派生类对象时会有什么问题，我说基类析构函数会被调用，而派生类析构函数不会调用。然后这面试官跟我说基类析构函数不声明为虚函数时，用基类指针删除派生类对象出现的现象是：派生类的析构函数能调用，基类的析构函数不会调用。我当时惊呆了。所以回来写代码验证了一把。