Effective C++ 条歀07：为多态基类声明virtual析构函数（Declare destructors virtual in polymorphic base classes）
纯虚函数是一种特殊的虚函数，在许多情况下，在基类中不能对虚函数给出有意义的实现，而把它声明为纯虚函数，它的实现留给该基类的派生类去做。这就是纯虚函数的作用。
虚函数是C++语言的精髓。含有纯虚函数的类被称为抽象类，不能被实例化生成对象，只能派生。由它派生的类的纯虚函数如果没有被实现，那么，该派生类还是个抽象类。 只有全部实现了纯虚函数的派生类才可以被实例化。
定义一个函数为纯虚函数，一般表示该函数没有被实现。但是，这不代表纯虚函数不能被实现。纯虚函数也是可以定义的。
虚析构函数是为了让通过基类指针或引用可以正确释放派生类对象。有时候如果想让基类成为一个抽象类，也就是不能被实例化，可以为类引入一个纯虚函数。但如果手上没有任何pure virtual函数时，该怎么办？由于抽象类总是会被作为基类用于派生的，而基类就该有一个虚的析构函数，并且由纯虚函数可以导致抽象类。所以常常把基类的析构函数声明为纯虚析构函数。又由于所有对象析构时，最后都会调用其基类的析构函数，所以基类的析构函数必须有定义。纯虚析构函数也不例外。
所以，必须为基类的纯虚析构函数提供一个定义，否则，链接器会发出抱怨的。
[cpp] view plain copy //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
[cpp] view plain copy //class.cpp #include "class.h" #include 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;} [cpp] view plain copy //testMain.cpp #include "class.h" int main() { base* myPtr = new derived; delete myPtr; return 0; } 输出结果为：
[html] view plain copy base() is called! derived() is called! ~derived() is called! ~base() is called!
