虚析构函数的使用

来源:互联网 发布:js广告代码 编辑:程序博客网 时间:2024/05/17 05:57

一、当你的类准备给别人继承时要提供虚析构函数
考虑下面例子:
class A
{
public:
 A(){cout << "In A constructor" << endl;}
 ~A(){cout << "In A destructor" << endl;}
};

class B : public A
{
public:
 B()
 {
 cout << "In B constructor" << endl;
 m_p = new char[10];
 }
 ~B()
 {
 cout << "In B destructor" << endl;
 if (m_p) delete [] m_p;
 }
private:
 char *m_p;
};

int main(int argc, char* argv[])
{
 //printf("Hello World!/n");
 A *p = new B;//该句话注意一点,就是p是A类的指针,它虽然指向了继承A类的B类,但是该指针只能访问虚成员函数,不能访问B中普通成员函数。当A类与B类有相同的函数(什么都一样或者只是函数体不一样),此时p调用的也仅仅是A类中的函数。所以这样的调用只能访问B中重新定义A中的成员函数,并且这个成员函数是虚成员函数。
 delete p;

 return 0;
}
输出结果:
In A constructor
In B constructor
In A destructor

并没有调用B的析构函数,new出来的内存没有及时回收造成内存泄漏。
要解决这个问题,只要将A的析构函数定义为虚函数:~A(){cout << "In A destructor" << endl;}。为什么定义为虚函数就能解决呢?我是这样理解的:
象其它虚构函数一样,~B()重定义(overridden)了~A(),这样指向派生类的指针就能根据运行时的状态调用B的析构函数了。这里又有一个问题:为什么还会调用A的析构函数呢?我只能理解为析构函数是一个特殊的函数,由系统维护其机制。就像B.~A()是错误而B.~B()(虽然逻辑上不对,但语法上是正确的,编译运行完全没问题)是正确的一样。
 

虚函数和普通成员函数的区别,是虚函数放在虚函数表中,通过对象的this指针找到该类的虚函数表,然后调用。C++即采用此机制实现多态。如果是普通函数,每个函数的地址是死的。所以用A类的对象调用析构函数时只能调到A的析构。如果是虚函数,则会通过指针找到B的析构函数,而B继承自A,还会调用A的析构函数。
因此,虚析构函数用在有虚函数的继承。否则,你那样的用法也是不正确的。A *p=new B 如果没有虚函数,会导致截断。
正如上面的例子,假如A有虚析构函数,那么执行A *p=new B;delete p;的时候,动态关联,p指针与B类关联,那么就是说当调用析构函数时,B的析构函数覆盖了A的析构函数,那么将先调用B的析构函数,又因为B类继承A,那么又调用了A的析构函数了。(注:当基类声明了是虚析构函数,那么继承该基类的析构函数均是虚析构函数。)。一般来说,我们编程都将基类的析构函数声明为虚析构函数。