虚析构函数_point 0 cout <<"executing point constructor"< endl-CSDN博客

析构函数的作用是在对象撤销之前做必要的“清理现场”的工作。

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

例12.3 基类中有非虚析构函数时的执行情况。
为简化程序，只列出最必要的部分。
#include <iostream>
using namespace std;
class Point//定义基类Point类
{
   public:
   Point( ){}//Point类构造函数
   ~Point(){cout<<″executing Point destructor″<<endl;}//Point类析构函数
};
class Circle:public Point//定义派生类Circle类
{
   public:
   Circle( ){}//Circle类构造函数
   ~Circle( ){cout<<″executing Circle destructor″<<endl;}//Circle类析构函数
   private:
   int radius;
};
int main( )
{
   Point *p=new Circle;//用new开辟动态存储空间
   delete p;//用delete释放动态存储空间
   return 0;
}
这只是一个示意的程序。p是指向基类的指针变量，指向new开辟的动态存储空间，希望用detele释放p所指向的空间。但运行结果为：
executing Point destructor
表示只执行了基类Point的析构函数，而没有执行派生类Circle的析构函数。原因是以前介绍过的。

如果希望能执行派生类Circle的析构函数，可以将基类的析构函数声明为虚析构函数，如
virtual ~Point(){cout<<″executing Point destructor″<<endl;}
程序其他部分不改动，再运行程序，结果为
executing Circle destructor
executing Point destructor

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

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

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

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

虚析构函数的概念和用法很简单，但它在面向对象程序设计中却是很重要的技巧。

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

构造函数不能声明为虚函数。这是因为在执行构造函数时类对象还未完成建立过程，当然谈不上函数与类对象的绑定。

定义纯虚析构函数（pure virtual destructor）

纯虚成员函数通常没有定义；它们是在抽象类中声明，然后在派生类中实现。比如说下面的例子：
class File //an abstract class
{
public:
virtual int open(const string & path, int mode=0x666)=0;
virtual int close()=0;
//...
};

但是，在某些情况下，我们却需要定义一个纯虚成员函数，而不仅仅是声明它。最常见的例子是纯虚析构函数。在声明纯虚析构函数时，不要忘了同时还要定义它。

class File //abstract class
{
public:
virtual ~File()=0; //declaration of a pure virtual dtor
};
File::~File() {} //definition of dtor

为什么说定义纯虚析构函数是非常重要的
派生类的析构函数会自动调用其基类的析构函数。这个过程是递归的，最终，抽象类的纯虚析构函数也会被调用。

如果纯虚析构函数只被声明而没有定义，那么就会造成运行时（runtime）崩溃。（在很多情况下，这个错误会出现在编译期，但谁也不担保一定会是这样。）纯虚析构函数的哑元实现（dummy implementation，即空实现）能够保证这样的代码的安全性。

class DiskFile : public File
{
public:
int open(const string & pathname, int mode);
int close();
~DiskFile();
};

File * pf = new DiskFile;
//. . .
delete pf; //OK, ultimately invokes File::~File()

在某些情况下定义其它纯虚成员函数可能也是非常有用的（比如说在调试应用程序以及记录应用程序的日志时）。例如，在一个不应该被调用，但是由于一个缺陷而被调用的基类中，如果有一个纯虚成员函数，那么我们可以为它提供一个定义。

class Abstract
{
public:
virtual int func()=0;
//..
};
int Abstract::func()
{
std::cerr<<"got called from thread " << thread_id<<
"at: "<<gettimeofday()<<std::endl;
}