C++基础---虚析构函数与纯虚析构函数

1. 虚析构函数与纯虚析构函数

1.1 虚析构函数与纯虚析构函数的定义

• 虚析构函数：为了解决基类的指针指向派生类对象，并用基类的指针删除派生类对象；

• 虚析构函数：当且仅当类里包含至少一个虚函数的时候才去声明虚析构函数，无故的声明虚析构函数和永远不去声明一样是错误的；

  class <类名>
  {
  virtual ~<类名>();
  …
  };
  即：virtual ~A();

• 纯虚析构函数：抽象类是准备被用做基类的，基类必须要有一个虚析构函数，纯虚函数会产生抽象类，所以方法很简单，在想要成为抽象类的类里声明一个纯虚析构函数；

  class <类名>
  {
  virtual ~<类名>() = 0;
  …
  };
  即：virtual ~A() = 0;

  注：如果某个类不包含虚函数，那一般是表示它将不作为一个基类来使用。当一个类不准备作为基类使用时，使析构函数为虚一般是个坏主意。因为它会为类增加一个虚函数表，使得对象的体积翻倍，还有可能降低其可移植性。

1.2 带有虚函数功能的类需要一个虚析构函数的原因

• 如果一个类有虚函数功能，它经常作为一个基类使用；
• 如果它是一个基类，它的派生类经常使用new来分配；
• 如果一个派生类对象使用new来分配，并且通过一个指向它的基类的指针来控制，那么它经常通过一个指向它的基类的指针来删除它；
  注：
  (1)如果基类没有虚析构函数，结果将是不确定的，实际发生时，派生类的析构函数永远不会被调用。
  (2)如果基类有虚析构函数的话，最底层的派生类的析构函数最先被调用，然后各个基类的析构函数被调用。

1.3 虚析构函数的注意点

• 由于析构函数不允许有参数，因此它不可能实现重载，那么一个类就只能有一个虚析构函数；
• 只要基类的析构函数被声明为虚函数，则派生类的析构函数无论说明与否，都自然是析构函数；
• 如果基类中定义了虚函数，析构函数也应说明为虚函数，这样对内存的回收更准确些；
  注：在C++中虚构造函数是不存在的，因此也无法声明。

1.4 虚析构函数的实例

• (1)在带有虚函数的基类中定义普通析构函数

  
  #include <iostream>
  
  using namespace std;
  
  class A
  {
  public:
      A(){cout<<"A()..."<<endl;}
      ~A(){cout<<"~A()..."<<endl;}
  
  public:
      virtual void func1()
      {
          cout<<"A::func1()"<<endl;
      }
  };
  
  class B : public A
  {
  public:
      B(){cout<<"B()..."<<endl;}
      ~B(){cout<<"~B()..."<<endl;}
  
  public:
      virtual void func1()
      {
          cout<<"B::func1()"<<endl;
      }
  };
  
  int main()
  {
      A *pb = new B;
      pb->func1();
      delete pb;
  
      system("pause");
      return 0;
  }
  =>A()...
    B()...
    B::func1()
    ~A()...
  注：派生类继承自基类，那么基类就只会存在于派生类中，直到派生类调用析构函数后。
  当上述这种情况，基类的析构函数调用比派生类要早，会造成的一种情况就是类成员不存在了，而类本身却还在，但是类存在的情况下，类成员应该还存在。所以这就矛盾了，应该派生类的析构函数会先被调用，基类的析构函数再被调用。

• (2)在带有虚函数的基类中定义虚析构函数

  
  #include <iostream>
  
  using namespace std;
  
  class A
  {
  public:
      A(){cout<<"A()..."<<endl;}
      virtual ~A(){cout<<"virtual ~A()..."<<endl;}
  
  public:
      virtual void func1()
      {
          cout<<"A::func1()"<<endl;
      }
  };
  
  class B : public A
  {
  public:
      B(){cout<<"B()..."<<endl;}
      virtual ~B(){cout<<"virtual ~B()..."<<endl;}
  
  public:
      virtual void func1()
      {
          cout<<"B::func1()"<<endl;
      }
  };
  
  int main()
  {
      A *pb = new B;
      pb->func1();
      delete pb;
  
      system("pause");
      return 0;
  }
  =>A()...
    B()...
    B::func1()
    virtual ~B()...
    virtual ~A()...

  注：析构函数的作用并不是删除对象，而是撤销对象占用内存之前完成的一些清理工作。
  (1)抽象类是准备被用做基类的，基类必须要有一个虚析构函数，纯虚函数会产生抽象类，所以在想要成为抽象类的类里声明一个纯虚析构函数。
  (2)定义一个函数为虚函数，不代表该函数未被实现，只是为了来实现多态。
  (3)定义一个函数为纯虚函数，才表示函数未被实现 ，定义它是为了实现一个接口，起一个规范作用。继承抽象类的派生类要实现这个函数。

---

参考文献：
[1]《C++全方位学习》范磊——第十三章
[2]《C++程序设计教程（第二版）》钱能——第五章、第六章、第七章
[3]《C++ Primer（第5版）》王刚 杨巨峰——第一章、第六章
[4] 百度搜索关键字：C++函数、虚析构函数、纯虚析构函数