effective c++ 条约7

effective c++ 条款7

1.带多态性质的基类应该声明一个virtual析构函数. 如果class带有任何virtual析构函数, 它就应该拥有一个virtual析构函数.

2.classed的设计目的如果不是作为base classed使用, 或不是为了具备多态性, 就不应该声明virtual析构函数.

#include <iostream>
using namespace std;
class A
{
  private:
     int i;
  public:
     virtual void  Display() {  cout<<i<<endl; }
    // virtual ~A() {};
      ~A();
     A() : i(0) {}
};

class B : public A
{  
   private:
     int j;
   public:
    void  Display() {  cout<<j<<endl; }
     B() : j(1) {}
     ~B() {}
};

iint main()
{
  A *ptr = new B();
  ptr->Display();
  delete ptr;
  return 0;
}

当不把A类的析构函数定义为 non-virtual 析构函数时, 编译会报错, 如下

当定义为virtual析构函数时就可以正常运行.

问题出在 ptr指向的是子类(B类)对象, 而那个对象却经由一个基类(A类)指针被删除, 而基类有一个non-virtual析构函数.

执行时对象的子类成分( 也就是声明于B类内的成员变量j) 没被销毁, 子类的析构函数也未能执行起来. 然而其基类成分通常会被销毁, 于是造成了一个诡异的"局部销毁" 对象.形成了资源泄漏. 

任何class只要带有virtual 函数都几乎确定应该也有一个virtual 析构函数.