虚析构函数

《C++ Primer》中对于虚析构函数如此解释：

    自动调用基类部分的析构函数对基类的设计有重要影响。
    删除指向动态分配对象的指针时，需要运行析构函数在释放对象的内存之前清除对象。处理继承层次中的对象时，指针的静态类型可能与被删除对象的动态类型不同，可能会删除实际指向派生类对象的基类类型指针。
    如果删除基类指针，则需要运行基类析构函数并清除基类的成员，如果对象实际是派生类型的，则没有定义该行为，要保证运行适当的析构函数，基类中的析构函数必须是析构的。

我写了如下程序做测试：

#include<iostream>  using namespace std;  class A{ public: A(){cout<<"this is A()"<<endl;} ~A(){cout<<"this is ~A()"<<endl;} };  class B:public A{ public: B(){cout<<"this is B()"<<endl;} ~B(){cout<<"this is ~B()"<<endl;} };  int main(){ A *pa = new A; delete pa; pa = NULL; B *pb = new B; delete pb; pb = NULL; pa = new B; delete pa; pa = NULL; return 0; }

首先是基类未定义为虚析构函数，用基类指针指向对象B，但是B被delete掉的时候，可以看到结果中并未调用B的析构函数：

然后我们将A中的析构函数加上virtual，使之成为虚析构函数，再看看结果：

此时我们可以看到，B的析构函数被正确调用。

虚析构函数的目的就是为了保证析构函数能够正确被调用。