析构函数为什么是虚函数

析构函数为什么虚函数，不是虚函数又能怎么样呢，我们先来看个例子

class A
{
public:
	A() {};
	 ~A() {
		cout << "destruct A" << endl;
	};
};
class B :public A
{
public:
	B() {};
	virtual ~B() {
		cout << "destruct B" << endl;
	}
};
int main()
{
    A* sa = new B;
	delete sa;
    return 0;
}

该例子中，A是基类，也就是父类，B是派生类，我们用B创建一个对象，并用基类A的指针指向他，然后再delete掉该基类指针 ，运行结果是怎么样的呢

 

看到结果是只执行了基类A的析构函数，而没执行派生类的析构函数，我们知道，析构函数的主要作用就是释放资源，如果A的析构函数为非虚，那很显然 是造成了资源泄露。而我们把A的析构函数设置为虚函数后呢

class A
{
public:
	A() {};
	 virtual ~A() {
		cout << "destruct A" << endl;
	};
};
class B :public A
{
public:
	B() {};
	virtual ~B() {
		cout << "destruct B" << endl;
	}
};

执行结果

可以看出此时基类和派生类的析构函数都得到了执行，保证了资源的完全释放。

为什么默认的析构函数没设置为虚函数呢

原来是因为虚函数不同于普通成员函数，当类中有虚成员函数时，类会自动进行一些额外工作。这些额外的工作包括生成虚函数表和虚表指针，虚表指针指向虚函数表。每个类都有自己的虚函数表，虚函数表的作用就是保存本类中虚函数的地址，我们可以把虚函数表形象地看成一个数组，这个数组的每个元素存放的就是各个虚函数的地址。
这样一来，就会占用额外的内存，当们定义的类不被其他类继承时，这种内存开销无疑是浪费的。

这样一说，问题就不言而喻了。当我们创建一个类时，系统默认我们不会将该类作为基类，所以就将默认的析构函数定义成非虚函数，这样就不会占用额外的内存空间。同时，系统也相信程序开发者在定义一个基类时，会显示地将基类的析构函数定义成虚函数，此时该类才会维护虚函数表和虚表指针。