基类的纯虚析构函数一定要予以实现

Effective C++ 条歀07：为多态基类声明virtual析构函数（Declare destructors virtual in polymorphic base classes）

纯虚函数

纯虚函数是一种特殊的虚函数，在许多情况下，在基类中不能对虚函数给出有意义的实现，而把它声明为纯虚函数，它的实现留给该基类的派生类去做。这就是纯虚函数的作用。

虚函数是C++语言的精髓。含有纯虚函数的类被称为抽象类，不能被实例化生成对象，只能派生。由它派生的类的纯虚函数如果没有被实现，那么，该派生类还是个抽象类。 只有全部实现了纯虚函数的派生类才可以被实例化。

纯虚函数的可定义性

定义一个函数为纯虚函数，一般表示该函数没有被实现。但是，这不代表纯虚函数不能被实现。纯虚函数也是可以定义的。

纯虚析构函数

虚析构函数是为了让通过基类指针或引用可以正确释放派生类对象。有时候如果想让基类成为一个抽象类，也就是不能被实例化，可以为类引入一个纯虚函数。但如果手上没有任何pure virtual函数时，该怎么办？由于抽象类总是会被作为基类用于派生的，而基类就该有一个虚的析构函数，并且由纯虚函数可以导致抽象类。所以常常把基类的析构函数声明为纯虚析构函数。又由于所有对象析构时，最后都会调用其基类的析构函数，所以基类的析构函数必须有定义。纯虚析构函数也不例外。

所以，必须为基类的纯虚析构函数提供一个定义，否则，链接器会发出抱怨的。

//class.h
#ifndef CLASS_HEAD_FILE
#define CLASS_HEAD_FILE

class base {
public:
	base();
	virtual ~base() = 0 ;
};

class derived : public base {
public:
	derived();
	~derived();
};

#endif // CLASS_HEAD_FILE

//class.cpp
#include "class.h"
#include <iostream>

base::base() {std::cout << "base() is called! " << std::endl;}
base::~base() {std::cout << "~base() is called! " << std::endl;}

derived::derived() {std::cout << "derived() is called! " << std::endl;}
derived::~derived() {std::cout << "~derived() is called! " << std::endl;}

//testMain.cpp
#include "class.h"

int main() {
	base* myPtr = new derived;
	delete myPtr;
	return 0;
}

输出结果为：

base() is called!
derived() is called!
~derived() is called!
~base() is called!