C++ 析构函数 使用virtual的原因

C++析构函数使用virtual的原因介绍  

析构函数也可以是虚的，甚至是纯虚的。但是构造函数不能是虚的。 例如：

class A
{
public:
virtual ~A()=0; // 纯虚析构函数
};

类型需要虚析构函数的另外一个特征是该类型具有指针成员或引用成员。如果有指针成员和引用成员，则该类型通常需要实现析构函数以及拷贝操作。通常，一个实现了析构函数的类型同时也需要实现拷贝构造函数与拷贝复制函数。
 
作为一个经验法则：如果你有一个带有虚函数功能的类，则它需要一个虚析构函数，原因如下：
 1. 如果一个类有虚函数功能，它经常作为一个基类使用。
 2.如果它是一个基类，它的派生类经常使用new来分配。
 3.如果一个派生类对象使用new来分配，并且通过一个指向它的基类的指针来控制，那么它经常通过一个指向它的基类的指针来删除它（如果基类没有虚析构函数，结果将是不确定的，实际发生时，派生类的析构函数永远不会被调用）。基类有虚析构函数的话，最底层的派生类的析构函数最先被调用，然后各个基类的析构函数被调用。

 当一个类打算被用作其它类的基类时，它的析构函数必须是虚的。考虑下面的例子：

class A
{
public:
A() { ptra_ = new char[10];}
~A() { delete[] ptra_;} // 非虚析构函数
private:
char * ptra_;
};
class B: public A
{
public:
B() { ptrb_ = new char[20];}
~B() { delete[] ptrb_;}
private:
char * ptrb_;
};
void foo()
{
A * a = new B;
delete a;
}

　　在这个例子中，程序也许不会象你想象的那样运行，在执行delete a的时候，实际上只有A::~A()被调用了，而B类的析构函数并没有被调用！造成内存的泄漏,这是否有点儿可怕？
　　如果将上面A::~A()改为virtual，就可以保证B::~B()也在delete a的时候被调用了。因此基类的析构函数都必须是virtual的。