基类的析构函数为什么要设置成virtual

今天在一场面试过程中碰到这个问题，当时一时片刻没有反应过来，一头雾水。只记得自己回到说，是会造成内存泄露，但面试穷追猛打，一直追问为什么造成内存泄露，还给举例说明，一般情况下是不会造成内存泄露的，搞得场面很尴尬。回来后，心有不甘，上机看看到底存在不存在这个问题。

#include <iostream>
using namespace std;

class Base
{
    public:
    Base(){
        cout<<"Base::Base"<<endl;
    };
    ~Base(){
        cout<<"Base::~Base"<<endl;
    }    
};

class Derived : public Base
{
    public:
        Derived():Base(){
            cout<<"Derived::Derived"<<endl;
            buf = new char[1024];
        }
        ~Derived() {
            cout<<"Derived::~Derived"<<endl;
            delete[] buf;           
        }
    private:
        char* buf;
};


int main()
{
    Base* a = new Derived();
    delete a;

    return 0;
}

运行结果

Base::Base
Derived::Derived
Base::~Base

果然没有释放掉继承类的析构函数，好了。当我把基类的析构函数改为virtual的情况又如何呢？

#include <iostream>
using namespace std;

class Base
{
    public:
    Base(){
        cout<<"Base::Base"<<endl;
    };
    virtual ~Base(){
        cout<<"Base::~Base"<<endl;
    }    
};

class Derived : public Base
{
    public:
        Derived():Base(){
            cout<<"Derived::Derived"<<endl;
            buf = new char[1024];
        }
        ~Derived() {
            cout<<"Derived::~Derived"<<endl;
            delete[] buf;           
        }
    private:
        char* buf;
};


int main()
{
    Base* a = new Derived();
    delete a;

    return 0;
}

运行结果

Base::Base
Derived::Derived
Derived::~Derived
Base::~Base

结论

为什么会是这样呢？ 先补充一个知识， 派生类构造函数和析构函数都会调用基类的构造函数和析构函数，而且顺序是基类的构造函数先调用，析构的时候基类的析构函数最后调用，从上面例子输出中也能看出来。 还有最重要的一点就是virtual就是为多态准备的，只有加上virtual的声明的函数，才能实现多态特性，对普通函数我们很好理解，但对于特殊的函数比如析构函数，也是一样的，只不过它不是同名函数，但具有的性质是一样的。