virtual functions

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

纯虚函数

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

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

纯虚函数的可定义性

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

纯虚析构函数

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

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

1. class base {  
2. public:  
3.     base();  
4.     virtual ~base() = 0 ;  
5. };  
6.   
7. class derived : public base {  
8. public:  
9.     derived();  
10.     ~derived();  
11. };  
12.   

1. base::base() {std::cout << "base() is called! " << std::endl;}  
2. base::~base() {std::cout << "~base() is called! " << std::endl;} //必须定义纯虚析够函数 
3.   
4. derived::derived() {std::cout << "derived() is called! " << std::endl;}  
5. derived::~derived() {std::cout << "~derived() is called! " << std::endl;}