析构函数为何是虚的

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

阅读更多
想对作者说点什么?

博主推荐

换一批

没有更多推荐了,返回首页