在C++的继承体系中，构造函数和析构函数的执行顺序是完全相反的。
对于构造函数：从继承体系的最顶层的基类开始，一步步往下构建。即构造顺序是 基类--->>派生类。
对于析构函数：从继承体系的最底层的派生类开始，一步步向上析构。即析构顺序是 派生类-->>基类。
这些对于类的实例化对象来说完全正确，但是如果在程序中存有多态指针，即基类指针指向派生类的时候，需要我们为基类提供一个虚析构函数。
考虑下面的例子。
#include "stdafx.h"#include <iostream>class Base{public:Base() //构造函数{std::cout << "Base Constructor" << std::endl;}~Base() //non_virtual析构函数{std::cout << "Base Destructor" << std::endl;}virtual void func() //virtual成员函数{std::cout << "Base" << std::endl;}protected:std::string Bmsg;};class Derive : public Base{public:Derive(){std::cout << "Derive Constructor" << std::endl;}~Derive(){std::cout << "Derive Destructor" << std::endl;}void func(){std::cout << "Derive" << std::endl;}private:std::string Dmsg;};int main(){Base b;std::cout << std::endl;Derive d;std::cout << std::endl;Base * pb = new Derive;std::cout << std::endl;b.func();std::cout << std::endl;d.func();std::cout << std::endl;pb->func();std::cout << std::endl;delete pb;return 0;}
让我们一步步解释输出结果。
Base b;
实例化一个基类的对象，调用基类的构造函数，输出“Base Constructor”。
Derive d;
实例化一个派生类的对象，会向上调用构造函数。先调用基类的构造函数输出"Base Constructor“，再调用自身的构造函数输出"Derive Constructor"。
Base * pb = new Derive;
定义了一个基类指针指向派生类，同样会先调用基类构造函数，再调用自身构造函数。这条语句定义了一个多态指针。
b.func();
通过基类的实例化对象调用自身的virtual成员函数func，输出”Base“
d.func();
通过派生类的实例化对象调用自身的virtual成员函数func, 输出”Derive"
pb->func();
通过指向派生类的基类指针调用虚函数func，因为多态指针是动态绑定的，所以此时调用的是基类的func还是派生类的func需要在运行时判断pb指针此时此刻指向的是基类成员还是派生类成员。本例中指向派生类成员，所以会输出"Derive"。
delete pb;
释放从堆栈申请的内存，会先对指针所指对象进行析构，然后调用operator delete函数来释放申请的内存空间。
我们发现，这条语句没有调用派生类的析构函数，仅仅调用了基类的。这会导致一个问题，就是pb所指的这一个派生类对象的基类部分被析构了，而其自身独立于基类之外的部分没有被析构。就本例而言，基类的string类型变量Bmsg被析构了，而自身的string类型变量Dmsg没有析构。结果会产生一个不完整的对象。
如前面所述，我们需要为基类提供一个虚析构函数，就像这样
virtual ~Base(){std::cout << "Base Destructor" << std::endl;}
其他部分保持不变，我们来看一下输出结果
在执行delete pb;语句时先调用了派生类的析构函数，而后又调用了基类的析构函数。整个对象被完全析构了。内存也完全被释放了。
综上，对于是否应该为基类提供一个虚析构函数，我们可以这样理解：
如果程序中存在多态指针，即存在基类指针指向派生类对象的，那么请为基类提供一个虚析构函数。
其他的情况不需要将基类的析构函数设置为虚函数。
