Effective C++ 条款07 为多态基类声明virtual 析构函数

 class Timekeeper

{

public:

Timekeeper();

~Timekeeper();

};

class AtomicClock :public Timekeeper {};

class WaterClock :public Timekeeper {};

class WristClock :public Timekeeper {};

设计一个factory函数：

Timerkeeper* gettimekeeper（）;//返回一个指针，指向一个Timerkeeper派生类的动态分配对象

Timerkeeper *ptk=getTimeKeeper（）;

delete ptk;

   如果返回的对象是Timerkeeper派生类对象，那么ptk调用的是谁的析构函数呢？

      答：是Timerkeeper的，

   原因：因为父类的析构函数是非virtual的，所以子类继承之后拥有了两个析构函数，而通过父类指针只能调用到父类的函数（在没有重写的前提下），因此会出现这样一种状况——对象的派生类部分并未析构而其父类部分已经销毁了，这使得这个对象成为一个”局部销毁 ”的对象。这是制造出资源泄露、破坏数据结构、在调试器上浪费时间的绝佳途径。

   那么如何避免这个问题使其可以正确调用析构函数呢？

      答：让父类析构函数成为virtual的

   那么我们如何知道什么时候需要一个virtual析构函数呢？

      答： 像Timerkeeper这样的基类除了析构函数之外通常还有其他virtual函数，因为virtual函数的目的是允许派生类的实现得以客制化。例如Timerkeeper就可能拥有一个virtual getCurrent，它在不同的派生类中有不同的实现码。任何class只要带有virtual函数都几乎确定应该也有一个virtual析构函数。

   所有类都需要一个virtual析构函数吗？

      答： 如果类并不打算作为基类，让它的析构函数为virtual是个馊主意。因为想要实现virtual函数，对象必须携带某些信息，主要用来在决定期决定哪个virtual函数被调用。这份信息通常是由一个所谓vptr（virtual table pointer）指针指出。vptr指向一个由函数指针组成的数组，称为vtbl（virtual table）每一个带有virtual 函数的类都有一个vtbl。当对象调用某一virtual函数。实际被调用的函数取决于该对象的vptr所指的那个vtbl——编译器在其中寻找适当的函数指针。

    所以普遍的看法是：只有当类内含至少一个virtual函数，才为它声明virtual析构函数。

    注：并非所有基类的设计目的都是为了多态目的。例如标准string和STL容器都不设计作为base classes使用，更别提多态了。某些classes的设计目的是作为基类使用，但不是为了多态用途。这样的类并非设计用来“经父类接口处置子类对象”因此它们不需要virtual析构函数。