有许多种做法可以记录时间,我们设计一个TimerKeeper基类和一些派生类作为不同的计时方法。
class TimeKeeper {
public:
TimeKeeper();
~TimeKeeper();
...
};
class AtomicClock : public TimeKeeper {...}; // 原子钟
class WaterClock : public TimeKeeper {...}; // 水钟
class WristWatch : public TimeKeeper {...}; // 腕表
实现多态,我们代码一般是这样的
TimeKeeper *pTimeKeeper = new AtomicClock;
...
delete pTimeKeeper; // 真的释放所有的资源了吗?
C++明白指出,当派生类对象经由一个基类指针被删除,而该基类有一个不是虚函数的析构函数,其结果未有定义,实际执行时通常发生的是对象的派生类成分没被销毁,而基类成分通常会被销毁,于是造成了一个诡异的“局部销毁”对象。这可是形成资源泄露、败坏数据结构、在调试器上浪费许多时间的绝佳途径。
正确的做法
class TimeKeeper {
public:
TimeKeeper();
virtual ~TimeKeeper();
...
};
TimeKeeper *pTimeKeeper = new AtomicClock;
...
delete pTimeKeeper; // 现在,行为正确
总结
如果基类带有任何virtual函数,它就应该拥有一个virtual析构函数。