虚析构函数解析-优快云博客

在《C++ Primer》中关于虚析构函数写道：

“删除指向动态分配对象的指针时，需要运行析构函数在释放对象的内存之前消除对象。处理继承层次中的对象时，指针的静态类型可能与被删除对象的动态类型不同，可能会删除实际指向派生类对象的基类类型指针。

如果删除基类指针，则需要运行基类析构函数并清除基类的成员，如果对象实际是派生类型的，则没有定义该行为。要保证运行适当的析构函数，基类的虚析构函数必须是虚函数。”

class Item_base
{
     public:
            virtual ~Item_base() { }
} ;

如果析构函数为虚函数，那么通过指针调用时，运行哪个析构函数将因指针所指对象类型的不同而不同。

Item_base * itemP = new Item_base ; // same static and dynamic type

delete itemP ; // OK:destructor for Item_base

itemP = new Bulk_item ; // static and dynamic types differ

delete itemP ; // OK:destructor for Bulk_item

像其他虚函数一样，析构函数的虚函数性质都将继承。

基类析构函数的三法则是一个重要的例外。三法则指出：如果类需要析构函数，那么也需要其他的复制控制成员。但是类具有虚析构函数并不表示需要赋值操作符或复制构造函数。

在复制控制成员中，只有析构函数需要是虚函数，构造函数不能定义为虚函数。构造函数是在对象完全构造完成之前运行的，在构造函数运行的时候，对象的动态类型还不完整。这便是构造函数不能定义为虚函数的原因。

为了加强理解，再看一个例子：

#include <iostream>
using namespace std ;

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

class Bulk_item : public Item_base
{
public:
	~Bulk_item() { cout << "Bulk_item destructor" << endl ; }
} ;

int main()
{
	Item_base * base = new Bulk_item ;
	delete base ;

	return 0 ;
}

上面这段代码的运行结果是：