C++的虚析构函数的作用

我们知道，用C++开发的时候，用来做基类的类的析构函数一般都是虚函数。可是，为什么要这样做呢？下面用一个小例子来说明：    
    有下面的两个类：class ClxBase
{
public:
     ClxBase() {};
    virtual ~ClxBase() {};

    virtual void DoSomething() { cout << "Do something in class ClxBase!" << endl; };
};

class ClxDerived : public ClxBase
{
public:
     ClxDerived() {};
    ~ClxDerived() { cout << "Output from the destructor of class ClxDerived!" << endl; };

    void DoSomething() { cout << "Do something in class ClxDerived!" << endl; };
};

    代码

ClxBase *pTest = new ClxDerived;
pTest->DoSomething();
delete pTest;

    的输出结果是：

Do something in class ClxDerived!
Output from the destructor of class ClxDerived!

     这个很简单，非常好理解。
    但是，如果把类ClxBase析构函数前的virtual去掉，那输出结果就是下面的样子了：

Do something in class ClxDerived!

    也就是说，类ClxDerived的析构函数根本没有被调用！一般情况下类的析构函数里面都是释放内存资源，而析构函数不被调用的话就会造成内存泄漏。我想所有的C++程序员都知道这样的危险性。当然，如果在析构函数中做了其他工作的话，那你的所有努力也都是白费力气。
     所以，文章开头的那个问题的答案就是－－这样做是为了当用一个基类的指针删除一个派生类的对象时，派生类的析构函数会被调用。
     当然，并不是要把所有类的析构函数都写成虚函数。因为当类里面有虚函数的时候，编译器会给类添加一个虚函数表，里面来存放虚函数指针，这样就会增加类的存储空间。所以，只有当一个类被用来作为基类的时候，才把析构函数写成虚函数。

所以注意如果基类不是虚析构函数的话可能会有以下两点问题：

1、子类所分配的内存不能被释放

2、子类中成员变量类所分配的内存也不能被释放，因为子类析构函数没有被调用，其变量的析构函数肯定也没被调用了


构造函数不能用虚拟，因为用也没用，不管是在栈上构造对象，还是在堆上构造对象，也不管你以后是否使用父类的指针或引用来指向或引用这个对象，在构造的那“一瞬间”，总归要指明要构造对象的具体类型，所以，对象在构造过程中不存在运行时动态绑定的多态行为。
你理解这个意思吗？举了例子就明白了，通常，假如A是B的父类，
A* p = new B();
则对于虚拟函数f，可以通过A类的指针p直接调用到B类的函数，这就是运行时的多态：
p->f();
但你注意没有，B类的对象却必须通过“A* p = new B();”来构造，显然不能通过“A* p = new A();”来构造一个B类对象——这是荒唐的，这只能构造一个A类的对象。所以构造函数虚拟无意义。

但析构函数就不同了，p明明是个A类的指针，如果析构函数不是虚拟的，那么，你后面就必须这样才能安全的删除这个指针：
delete (B*)p;
但如果构造函数是虚拟的，就可以在运行时动态绑定到B类的析构函数，直接：
delete p;
就可以了。这就是虚析构函数的作用。而事实上，在运行时，你并不是总是能知道p所指对象的实际类型从而进行强制转换，所以，C++语言既然要支持多态，也就必须支持虚拟析构。