第六篇：为多态基类声明虚析构函数
前言
在很多类中，可以看到其析构函数都是声明为虚函数的。
那么，为何要将析构函数声明为虚函数？哪些情况要将析构函数声明为虚函数？
本文将为你解惑。
在使用 C++ 实现多态的时候，有一点一定要清楚：当派生类对象经由基类指针被删除，而此基类的析构函数没有被声明为虚函数的话，那么析构函数只会释放基类部分的成员而无视派生类成员。
如果不对这一点加以防范，那么很多时候，会带来内存泄露这样灾难性的后果。
问题描述
假设，有以下几个类，分别代表：钟，原子钟，水钟，腕表：
1 // 钟 2 class TimeKeeper { 3 public: 4 TimeKeeper(); 5 ~TimeKeeper(); 6 //...... 7 }; 8 9 // 原子钟 10 class AtomicClock : public TimeKeeper { 11 //...... 12 }; 13 14 // 水钟 15 class WaterClock : public TimeKeeper { 16 //...... 17 }; 18 19 // 腕表 20 class WristWatch : public TimeKeeper { 21 //...... 22 };
由于很多客户只关注一个时间的结果，对如何实现时间根本没兴趣，这时我们可以定义一个函数，它返回指针指向一个基类指针，指向新生成的派生类对象：
1 TimerKeeper *ptk = getTimeKeeper();
必须先说明一下，这个函数返回的指针指向对象必须是heap。
好了，使用完这个指针，那么必须要delete掉吧，现在问题来了：对于不同的这几个派生类对象：原子钟，水钟，腕表，调用的确实相同的析构函数 - 基类析构函数。
解决之道
如要不同的对象执行其所属类自身的析构函数，那么相信你也自然而然想到了：使用虚析构函数来实现这种多态性。
因此：
对于要拿来实现多态的基类，其析构函数一定要声明为虚函数。
也就是说，任何类只要带有虚函数，那么也几乎可以肯定其析构函数也要声明为虚函数。
而对于不用拿来当基类的类，或者拿来当基类但是不需要实现多态的类，则不要将析构函数声明为虚函数类型。
因为这样增加了无谓的开销，虚函数是会有一些开销的，至于开销是什么，以及相关细节，可以查阅其他 C++ 资料，本文不再累述。
小结
如果有某个类你希望将它声明为抽象类，但是一时又没确定设哪个成员函数为纯虚函数，那么自然而然想到可以将其析构函数声明为纯虚函数。不过在这种情况下，这个纯虚函数必须有定义，原因不解释。
