马上要找工作了,开始复习一下c/c++基础知识了。今天看到虚析构这一块,产生几个疑问,发现自己以前的理解还不够透彻,写了几个程序测试验证了一下,终于算搞清楚了。

疑问:什么情况下必须用虚析构?

先看个例子:

#include 
  class A  {  public:      A(){};      ~A()      {          std::cout << "~A" << std::endl;      };  private:      int a;  };    class B : public A  {  public:      B(){};      ~B()      {          std::cout << "~B" << std::endl;      }  private:      int b;  };    int main()   {           B b;           return 0;  }

    

调试发现,窗口依次输出: ~B 和 ~A,也就是说,B类对象b析构的时候,先调用了B类的析构函数,然后调用了基类的析构函数。

如果 main 函数中的代码,替换为如下呢?

int main() {     B *pb = new B();     delete pb;     return 0; }

    

你会发现,还是依次输出了 ~B 和 ~A,也就是说,当使用子类指针指向子类对象的时候,析构的时候,依然会依次调用子类和基类的析构函数。

如果 main 函数中的代码,替换为如下呢?

int main() {     A * pa = new B();     delete pa;     return 0; }

调试发现,这份代码,只会输出 ~A, 哦,到此终于明白了,当用基类指针指向派生类对象时,如果基类析构函数不设置为 virtual 的话,则在 delete 基类指针的时候,无法成功调用子类的析构函数。这才是虚析构函数发挥作用的真正场合。

    

上述代码解决方法: 把基类 A 的析构函数设置为 virtual,则可以成功实现delete pa 的时候依次调用B类和A类的析构函数了。

    

那么,进一步讲,我们是否应该把所有类的析构函数都设置为虚析构呢?

    

不应该,这样设置不合理,只有在该类可能作为基类的情况下,并且可能使用到多态特性的时候,才有必要把基类的析构函数设置为虚析构,否则,没有必要,因为设置为虚析构会产生额外的开销,即下一个问题:

    

一个类如果把析构函数设置为 virtual 是否也会产生虚函数表?

    

我们把上述代码稍微改一下: 

class A  {  public:     A(){};     ~A()     {         std::cout << "~A" << std::endl;     };     void test()    {       std::cout << "~test" << std::endl;    } private:      int a;  };    int main()  {      std::cout << sizeof(A) << std::endl;  }

如果 ~A 前面不加 virtual 则输出的结果是: 4

如果 ~A 前面加 virtual 则输出的结果是: 8 

可以得出如下结论:

(1) 如果类没有virtual成员函数时,类的大小由数据成员大小决定

(2) 虚析构函数也会使类产生虚函数表,并且虚函数表的大小是 4 字节

好啦,大致就写这么多了,算是复习过程中留下的笔记,希望对C++新手有所帮助,有疑问欢迎留言探讨。