析构函数剖析三——虚析构函数

    析构函数的作用是在对象撤销之前做必要的“清理现场”的工作。当派生类的对象从内存中撤销时一般先调用派生类的析构函数，然后再调用基类的析构函数。

    但是，如果用new运算符建立了临时对象，若基类中有析构函数，并且定义了一个指向该基类的指针变量（即基类指针指向子类对象）。在程序用带指针参数的delete运算符撤销对象时，会发生一个情况: 系统会只执行基类的析构函数，而不执行派生类的析构函数。

    例：基类中有非虚析构函数时的执行情况。为简化程序，只列出最必要的部分。

      class Point //定义基类Point类

      {

           public:

                 Point( ){ }

                 ~Point(){cout<<″executing Point destructor″<<endl;}

      };

     

      class Circle:public Point //定义派生类Circle类

      {

           public:

                 Circle( ){ }

                 ~Circle( ){cout<<″executing Circle destructor″<<endl;}

      };

     

      int main( )

      {

           Point *p=new Circle; //用new开辟动态存储空间

           delete p; //用delete释放动态存储空间

           return 0;

      }   

    运行结果：

        executing Point destructor

    表示只执行了基类Point的析构函数，而没有执行派生类Circle的析构函数。

    原因是以前介绍过的。如果希望能执行派生类Circle的析构函数，可以将基类的析构函数声明为虚析构函数，如：

        virtual ~Point(){cout<<″executing Point destructor″<<endl;}

    程序其他部分不改动，再运行程序，结果为

          executing Circle destructor

           executing Point destructor

    先调用了派生类的析构函数，再调用了基类的析构函数，符合人们的愿望。

    当基类的析构函数为虚函数时，无论指针指的是同一类族中的哪一个类对象，系统会采用动态关联，调用相应的析构函数，对该对象进行清理工作。

    当基类的析构函数声明为虚函数时，由该基类所派生的所有派生类的析构函数也都自动成为虚函数，即使派生类的析构函数与基类的析构函数名字不相同。

    最好把基类的析构函数声明为虚函数。这将使所有派生类的析构函数自动成为虚函数。这样，如果程序中显式地用了delete运算符准备删除一个对象，而delete运算符的操作对象用了指向派生类对象的基类指针，则系统会调用相应类的析构函数。

    一般要声明虚析构函数，即使基类并不需要析构函数，也显式地定义一个函数体为空的虚析构函数，以保证在撤销动态分配空间时能得到正确的处理。

   

构造函数不能声明为虚函数：

    因为虚函数采用一种虚调用的办法。虚调用是一种可以在只有部分信息的情况之下工作的机制，特别允许我们调用一个只知道接口而不知道其准确对象类型的函数。但如果要创建对象就必须知道准确类型。

    在执行构造函数时，类对象还未完成建立过程，当然谈不上函数与类对象的绑定。