条款 07：为多态基类申明 virtual 析构函数

条款 07：为多态基类申明 virtual 析构函数

Declare destructors virtual in polymorphic base classes.

class TimeKeeper {
public:
    TimeKeeper();
    ~TimeKeeper();
    ...
};
class AtomicClock : public TimeKeeper {...}; // 原子钟
class WaterClock : public TimeKeeper {...}; // 水钟
class WristClock : public TimeKeeper {...}; // 腕表

// 假设存在工厂函数
// TimeKeeper* getTimeKeeper();

TimeKeeper* ptk = getTimeKeeper();
...
delete ptk;    // 可能引起内存泄露

当 derived class 对象经由一个 base class 指针删除，而该 base class 带着一个 non-virtual 析构函数，其结果未有定义。实际上通常是 derived class 的部分未被销毁。解决方法很简单，给 base class 一个 virtual 析构函数。

• 并非所有类都适合用 virtual 析构函数，因为 vptr 会引起实例大小增加，导致基本没有跨语言移植性
• 不建议继承一个带有 non-virtual 析构函数的类，该类一般不是作为 base class 或者不具备多态性，否则甚至会引起错误。如 std::string，设计意图就不是用来继承的
• 带有多态性质的基类 polimorphic base class 应该申明一个 virtual 析构函数