析构函数为何是虚的

析构函数为什么是虚拟的，这个问题困扰了我好久，最近总算是搞明白了。
假如有如下程序：
#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.youkuaiyun.com/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