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

纯虚成员函数通常没有定义；它们是在抽象类中声明，然后在派生类中实现。比如说下面的例子：

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;
}

这样，我们就可以记录所有对纯虚函数的调用，并且还可以定位错误代码；不为纯虚函数提供定义将会导致整个程序无条件地终止。

---

本文作者：Danny Kalev 是一位系统分析员、软件工程师，他具有14年在 C++ 和面向对象设计方面的经验。

---