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

    Declare destructors virtual in polymorphic base classes.

    1. class TimeKeeper {
    2. public:
    3. TimeKeeper();
    4. ~TimeKeeper();
    5. ...
    6. };
    7. class AtomicClock : public TimeKeeper {...}; // 原子钟
    8. class WaterClock : public TimeKeeper {...}; // 水钟
    9. class WristClock : public TimeKeeper {...}; // 腕表
    10. // 假设存在工厂函数
    11. // TimeKeeper* getTimeKeeper();
    12. TimeKeeper* ptk = getTimeKeeper();
    13. ...
    14. 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 析构函数