基类的析构函数为什么最好是虚函数？

基类的析构函数为什么最好是虚函数？
如果派生类中分配了资源，而基类的析构函数并没有声明为虚函数，如下：

class Base {
public:
	~Base(){
		cout << "base destructor" << endl;
	}
};
class Derived :public Base {
public:
	int *a;
	Derived(int size) {
		a = new int[size];
	}
	~Derived(){
		cout << "derived destructor" << endl;
		delete []a;
		a = nullptr;
	}
};
int main()
{
	Base *bp = new Derived(2);
	delete bp;
}

main函数中new了一个派生类对象，并使基类指针指向它，然后delete基类指针。
如上面的代码中，基类析构函数不是虚函数，那么此时不具有多态性，只会调用基类的析构函数，而派生类中的析构函数没有被调用，派生类中分配的内存也没有被释放，内存泄漏。
而如果把基类析构函数声明为虚函数，如下：

class Base {
public:
	virtual ~Base(){
		cout << "base destructor" << endl;
	}
};

再运行一遍，输出：

由于析构函数为虚函数，那么delete基类指针就具有多态性了，调用派生类的析构函数，而派生类的析构函数又会调用基类的析构函数，这样就确保了正确释放内存。