析构函数为什么是虚拟的，这个问题困扰了我好久，最近总算是搞明白了。假如有如下程序：#include <iostream> using namespace std;
class A{public:A(){ cout << "A::A()/n"; }virtual ~A(){ cout << "A::~A()/n"; }void fun1() { cout << "A::fun1()/n"; }virtual void fun2(){ cout << "A::fun2()/n"; }};
class B : public A{public:B(){ cout << "B::B()/n"; }~B() { cout << "B::~B()/n"; }void fun1() { cout << "B::fun1()/n"; }void fun2() { cout << "B::fun2()/n"; }};
int main(){A a;B b;
A *paa = &a;A *pab = &b;B *pbb = &b;
paa->fun1();/*值为 A::fun1()*/paa->fun2();/*值为 A::fun2()*/pab->fun1();/*值为 A::fun1()*/pab->fun2();/*值为 B::fun2()*/ pbb->fun1();/*值为 B::fun2()*/pbb->fun2();/*值为 B::fun2()*/
return 0;}其中pab->fun1(); pab->fun2(); 两条语句最为奇怪，一方面它调用A::fun1(),另一方面它调用B::fun()2,调用B::fun2()比较好理解（多态），调用A::fun1()就有点特殊，它是按照指针类型来调用的，即pab为A*，所以调用A::fun1()，关于这个问题的详细情况请看：http://community.csdn.net/Expert/topic/4481/4481795.xml?temp=.5074579
说了半天还没有说到析构函数为什么要虚拟，不过上面那么一堆正是在说明这个问题。假如有程序：class A{public:A(){ cout << "A::A()/n"; }~A(){ cout << "A::~A()/n"; }};
class B : public A{public:B(){ cout << "B::B()/n"; }~B() { cout << "B::~B()/n"; }};
int main(){A* pb = new B;
delete pb;return 0;}其打印结果是：A::A()B::B()A::~A()对，没错，结果就是这样，就是少另一个B::~B()。pb是一个A*的指针，它只能够执行A::~A(),而并不能够执行B::~B()，这和上边那个程序中的道理是一样的。这里再说明两点：1.B::~B()会自动调用A::~A(),例如上面的主程序为B* pb = new B；delete pb；结果将正常。2.如果基类被析构函数被定义为虚拟的，它的派生类的析构函数也自动变为虚拟的。
综上所述，不把析构函数定义为虚拟的，那将是危险的！
参考资料：《c++沉思录》 p127
