您的位置:首页 > 编程语言 > C语言/C++

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

2018-01-19 15:09 302 查看
 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析构函数。
内容来自用户分享和网络整理,不保证内容的准确性,如有侵权内容,可联系管理员处理 点击这里给我发消息
标签: 
相关文章推荐