虚析构函数

当派生类的对象从内存中撤销时一般先调用派生类的析构函数，然后再调用基类的析构函数。

如果用new运算符建立了临时对象，若基类中有析构函数，并且定义了一个指向该基类的指针变量。在程序用带指针参数的delete运算符撤销对象时，会发生一个情况:系统会只执行基类的析构函数，而不执行派生类的析构函数。

析构函数也可以是虚的，甚至是纯虚的。

例如：

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

当一个类打算被用作其它类的基类时，它的析构函数必须是虚的。

考虑下面的例子：

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的。 

通常只有在希望将一个类变成抽象类（不能实例化的类），而这个类又没有合适的函数可以被纯虚化的时候，可以使用纯虚的析构函数来达到目的。

当基类的析构函数为虚函数时，无论指针指的是同一类族中的哪一个类对象，系统会采用动态关联，调用相应的析构函数，对该对象进行清理工作。如果将基类的析构函数声明为虚函数时，由该基类所派生的所有派生类的析构函数也都自动成为虚函数，即使派生类的析构函数与基类的析构函数名字不相同。

最好把基类的析构函数声明为虚函数。这将使所有派生类的析构函数自动成为虚函数。这样，如果程序中显式地用了delete运算符准备删除一个对象，而delete运算符的操作对象用了指向派生类对象的基类指针，则系统会调用相应类的析构函数。虚析构函数的概念和用法很简单，但它在面向对象程序设计中却是很重要的技巧。

专业人员一般都习惯声明虚析构函数，即使基类并不需要析构函数，也显式地定义一个函数体为空的虚析构函数，以保证在撤销动态分配空间时能得到正确的处理。

构造函数不能声明为虚函数。这是因为在执行构造函数时类对象还未完成建立过程，当然谈不上函数与类对象的绑定。