虚析构函数存在的理由

我们知道C++中virtual关键字，是产生多态的基础。即父类指针调用同名方法时，产生不同行为。如果子类重写了相应方法，则调用子类重写的方法，否则调用父类的方法。这种形式是我们对虚函数最基本的认识。除了这种方法外，还存在另外一种虚函数的形式--虚析构函数。有人要问了虚函数不是要父类方法与子类方法同名才行的吗? 对，是这样的。但对于虚析构函数来说，这是一个特例。那虚析构函数有什么用呢？不会也要多态变化吧？看下面的代码就明白了

代码示例：

#include <iostream>
using namespace std;

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

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

int main(){
A *a = new B;
delete a;//结果：A::~A()
}

如果基类的析构函数不是虚析构函数的话，当我们delete a时，就会只调用指针本身类型的析构函数，而指针a所指向的对象new B则并没有释放相应的内存。如果new B对象的构造函数中有其它一些执行的代码，则永远不会被调用。会造成内存泄露问题。而有virtual的析构函数又会怎样呢？看下面

代码示例：

#include <iostream>
using namespace std;

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

class B : public A{
public:
virtual ~B(){//此时不管是否有virtual，~B都得虚函数。
cout<<"B::~B()"<<endl;
}
};

int main(){
A *a = new B;
delete a;//结果： B::~B()
//       A::~A()
}

如果基类声明了析构函数为virtual，则子类默认为虚析构函数。不管是否显示声明。此时delete a; 时，则先调用基类指针a所指对象new B的析构函数，待new B对象完成析构后，再调用基类指针a类型的析构函数。此时内存就不会泄露了。

总结：正是因为有基类的析构函数为虚函数，delete操作才会按正确的析构顺序进行(即子类对象的析构顺序与构造顺序相反)。所以基类的析构函数一般声明为virtual。