纯虚析构函数必须给出定义

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

纯虚函数

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

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

纯虚函数的可定义性

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

纯虚析构函数

 

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

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

 

[cpp]  view plain  copy

1. //class.h  
2. #ifndef CLASS_HEAD_FILE  
3. #define CLASS_HEAD_FILE  
4.   
5. class base {  
6. public:  
7.     base();  
8.     virtual ~base() = 0 ;  
9. };  
10.   
11. class derived : public base {  
12. public:  
13.     derived();  
14.     ~derived();  
15. };  
16.   
17. #endif // CLASS_HEAD_FILE  

 

[cpp]  view plain  copy

1. //class.cpp  
2. #include "class.h"  
3. #include   
4.   
5. base::base() {std::cout << "base() is called! " << std::endl;}  
6. base::~base() {std::cout << "~base() is called! " << std::endl;}  
7.   
8. derived::derived() {std::cout << "derived() is called! " << std::endl;}  
9. derived::~derived() {std::cout << "~derived() is called! " << std::endl;}  

[cpp]  view plain  copy

1. //testMain.cpp  
2. #include "class.h"  
3.   
4. int main() {  
5.     base* myPtr = new derived;  
6.     delete myPtr;  
7.     return 0;  
8. }  

输出结果为：

 

[html]  view plain  copy

1. base() is called!  
2. derived() is called!  
3. ~derived() is called!  
4. ~base() is called!