Effective C++条款07——为多态基类声明virtual析构函数(构造/析构/赋值运算)

这篇具有很好参考价值的文章主要介绍了Effective C++条款07——为多态基类声明virtual析构函数(构造/析构/赋值运算)。希望对大家有所帮助。如果存在错误或未考虑完全的地方,请大家不吝赐教,您也可以点击"举报违法"按钮提交疑问。

有许多种做法可以记录时间,因此,设计一个TimeKeeper base class和一些derived classes 作为不同的计时方法,相当合情合理:

class TimeKeeper {
public:
    TimeKeeper();
    ~TimeKeeper();
    // ...
};

class AtomicClock: public TimeKeeper {   };        // 原子钟
class WaterClock: public TimeKeeper {   };         // 水钟
class WristWatch: public TimeKeeper {   };         // 腕表

许多客户只想在程序中使用时间,不想操心时间如何计算等细节,这时候我们可以设计factory (工厂)函数,返回指针指向一个计时对象。Factory函数会“返回一个base class 指针,指向新生成之 derived class对象”:

TimeKeeper* getTimeKeeper();        // 返回一个指针,指向一个
                                   // TimeKeeper派生类动态分配的对象

为遵守factory函数的规矩,被getTimeKeeper()返回的对象必须位于heap。因此为了避免泄漏内存和其他资源,将factory函数返回的每一个对象适当地delete掉很重要:

TimeKeeper* ptk = getTimeKeeper();

// ...

delete ptk;

条款13说“倚赖客户执行delete动作,基本上便带有某种错误倾向”,条款18则谈到factory函数接口该如何修改以便预防常见之客户错误,但这些在此都是次要的,因为此条款内我们要对付的是上述代码的一个更根本弱点:纵使客户把每一件事都做对了,仍然没办法知道程序如何行动。

问题出在getTimeKeeper返回的指针指向一个derived class对象(例如AtomicClock),而那个对象却经由一个base class指针(例如一个TimeKeeper*指针)被删除,而目前的base class ( TimeKeeper)有个non-virtual析构函数。

这是一个引来灾难的秘诀,因为C++明白指出,当derived class对象经由一个base class指针被删除,而该base class带着一个non-virtual析构函数,其结果未有定义———实际执行时通常发生的是对象的derived成分没被销毁。如果getTimeKeeper返回指针指向一个AtomicClock 对象,其内的 AtomicClock 成分(也就是声明于Atomicclock class内的成员变量)很可能没被销毁,而AtomicClock的析构函数也未能执行起来。然而其base class成分(也就是TimeKeeper这一部分)通常会被销毁,于是造成一个诡异的“局部销毁”对象。这可是形成资源泄漏、败坏之数据结构、在调试器上浪费许多时间的绝佳途径喔。

消除这个问题的做法很简单:给base class一个virtual析构函数。此后删除derive dclass对象就会如你想要的那般。是的,它会销毁整个对象,包括所有derived class成分:

class TimeKeeper {
public:
    TimeKeeper();
    virtual ~TimeKeeper();
    // ...
};

TimeKeeper* ptk = getTimeKeeper();

// ...

delete ptk;

像TimeKeeper这样的base classes除了析构函数之外通常还有其他virtual函数,因为 virtual函数的目的是允许derived class 的实现得以客制化(见条款34)。例如TimeKeeper就可能拥有一个virtual getcurrentTime,它在不同的derived classes 中有不同的实现码。任何 class只要带有 virtual函数都几乎确定应该也有一个virtual析构函数。

如果class 不含virtual函数,通常表示它并不意图被用做一个base class。当class不企图被当作 base class,令其析构函数为virtual往往是个嫂主意。考虑一个用来表示二维空间点坐标的class:

馊主意???

class Point {
public:
    Point(int xCoord, int yCoord);
    ~Point();

private:
    int x, y;
};

如果int占用32 bits,那么Point对象可塞入一个64-bit缓存器中。更有甚者,这样一个Point对象可被当做一个“64-bit 量”传给以其他语言如C或FORTRAN撰写的函数。然而当Point的析构函数是virtual,形势起了变化。

欲实现出 virtual函数,对象必须携带某些信息,主要用来在运行期决定哪一个virtual函数该被调用。这份信息通常是由一个所谓vptr ( virtual table pointer)指针指出。 vptr指向一个由函数指针构成的数组,称为vtbl( virtual table);每一个带有 virtual函数的class 都有一个相应的vtbl。当对象调用某一virtual函数,实际被调用的函数取决于该对象的vptr所指的那个vtbl—编译器在其中寻找适当的函数指针。

多了虚函数表

virtual函数的实现细节不重要。重要的是如果Point class内含virtual函数,其对象的体积会增加:在32-bit计算机体系结构中将占用64 bits (为了存放两个ints)至96 bits(两个ints加上 vptr);在64-bit计算机体系结构中可能占用64~128 bits,因为指针在这样的计算机结构中占64 bits。因此,为 Point添加一个vptr会增加其对象大小达50%~100%,Point对象不再能够塞入一个64-bit缓存器,而C++的Point对象也不再和其他语言(如C)内的相同声明有着一样的结构(因为其他语言的对应物并没有 vptr),因此也就不再可能把它传递至(或接受自)其他语言所写的函数,除非你明确补偿vptr—一那属于实现细节,也因此不再具有移植性。

因此,无端地将所有 classes的析构函数声明为virtual,就像从未声明它们为virtual一样,都是错误的。许多人的心得是:只有当class内含至少一个virtual函数,才为它声明virtual析构函数。

即使class完全不带virtual函数,被“non-virtual析构函数问题”给咬伤还是有可能的。举个例子,标准string不含任何virtual函数,但有时候程序员会错误地把它当做base class:

class SpecialString: public std::string {
        // 馊主意。std::string有个非虚的析构函数
};

乍看似乎无害,但如果你在程序任意某处无意间将一个pointer-to-SpecialString转换为一个pointer-to-string,然后将转换所得的那个string 指针 delete掉,你立刻被流放到“行为不明确”的恶地上:

将子类指针转换成父类指针,让后delete掉

Specialstring* pss = new Specialstring ("Impending Doom");
std::string* ps;

ps = pss;        // Specialstring* =》 std::string*

delete ps;
                //未有定义!现实中*ps的 Specialstring资源会泄漏,
                //因为SpecialString析构函数没被调用。

相同的分析适用于任何不带virtual析构函数的 class,包括所有STL容器如vector, list,set, tr1 : : unordered_map(见条款54)等等。如果你曾经企图继承一个标准容器或任何其他“带有non-virtual析构函数”的class,拒绝诱惑吧!(很不幸C+没有提供类似Java的final classes或C#的sealed classes那样的“禁止派生”机制。)

有时候令class带一个pure virtual析构函数,可能颇为便利。还记得吗, pure virtual函数导致abstract(抽象)classes -—也就是不能被实体化(instantiated)的class。也就是说,你不能为那种类型创建对象。然而有时候你希望拥有抽象class,但手上没有任何pure virtual函数,怎么办?唔,由于抽象class总是企图被当作一个base class来用,而又由于base class应该有个virtual析构函数,并且由于pure virtual函数会导致抽象class,因此解法很简单:为你希望它成为抽象的那个class声明一个pure virtual析构函数。下面是个例子:

class AWOV {
public:
    virtual ~AWOV() = 0;        // 纯析构函数

};

这个class有一个pure virtual函数,所以它是个抽象class,又由于它有个virtual析构函数,所以你不需要担心析构函数的问题。然而这里有个窍门:你必须为这个pure virtual析构函数提供一份定义:

AwOV:: ~AWOV() { }            //pure virtual析构函数的定

第一次知道要这样。

析构函数的运作方式是,最深层派生( most derived)的那个class其析构函数最先被调用,然后是其每一个base class的析构函数被调用。编译器会在 AWov的derivedclasses的析构函数中创建一个对~AWOV的调用动作,所以你必须为这个函数提供一份定义。如果不这样做,连接器会发出抱怨。

“给base classes一个 virtual析构函数”,这个规则只适用于polymorphic(带多态性质的)base classes身上。这种base classes的设计目的是为了用来“通过base class接口处理derived class对象”。TimeKeeper就是一个polymorphic base class,因为我们希望处理AtomicClock和 waterClock对象,纵使我们只有TimeKeeper 指针指向它们。

并非所有base classes的设计目的都是为了多态用途。例如标准string和STL容器都不被设计作为base classes使用,更别提多态了。某些classes的设计目的是作为base classes 使用,但不是为了多态用途。这样的classes 如条款6的Uncopyable和标准程序库的input_iterator_tag(条款47),它们并非被设计用来“经由baseclass接口处置derived class对象”,因此它们不需要virtual析构函数。

请记住文章来源地址https://www.toymoban.com/news/detail-656310.html

  • polymorphic(带多态性质的)base classes应该声明一个virtual析构函数。如果class带有任何 virtual函数,它就应该拥有一个virtual析构函数。
  • Classes的设计目的如果不是作为base classes使用,或不是为了具备多态性(polymorphically),就不该声明virtual析构函数

到了这里,关于Effective C++条款07——为多态基类声明virtual析构函数(构造/析构/赋值运算)的文章就介绍完了。如果您还想了解更多内容,请在右上角搜索TOY模板网以前的文章或继续浏览下面的相关文章,希望大家以后多多支持TOY模板网!

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处: 如若内容造成侵权/违法违规/事实不符,请点击违法举报进行投诉反馈,一经查实,立即删除!

领支付宝红包 赞助服务器费用

相关文章

  • Effective C++条款17——以独立语句将newed 对象置入智能指针(资源管理)

    假设我们有个函数用来揭示处理程序的优先权,另一个函数用来在某动态分配所得的widget上进行某些带有优先权的处理: 由于谨记“以对象管理资源”(条款13)的智慧铭言,processwidget决定对其动态分配得来的widget运用智能指针(这里采用trl::shared_ptr)。 现在考虑调用proces

    2024年02月11日
    浏览(33)
  • effective c++ 43-处理模板化基类的名称 笔记

    该节主要分析了一个写模板时常常会遇到的一个编译错误。 这里有一个模板基类,有派生类继承了模板基类,并调用了基类中的方法,但是编译器却会报找不该方法,这是怎么回事? 编译输出如下: 从编译的输出也可以看出,原因是编译器觉得 sendClear 含义不明确,编译器

    2024年02月03日
    浏览(53)
  • <c++> 类的继承 | 基类与派生类 | 构造函数与析构函数

    🚀 个人简介:CSDN「 博客新星 」TOP 10 , C/C++ 领域新星创作者 💟 作    者: 锡兰_CC ❣️ 📝 专    栏: 从零开始的 c++ 之旅 🌈 若有帮助,还请 关注➕点赞➕收藏 ,不行的话我再努努力💪💪💪 c++ 面向对象三大特性: 封装,继承,多态 。通过本文我们将了解什么是类的

    2023年04月20日
    浏览(49)
  • Effective C++ 学习笔记 条款23 宁以non-member、non-friend替换member函数

    想象有个class用来表示网页浏览器。这样的class可能提供的众多函数中,有一些用来清除下载元素高速缓存区(cache of downloaded elements)、清除访问过的URLs的历史记录(history of visited URLs)、以及移除系统中的所有cookies: 许多用户会想一整个执行所有这些动作,因此WebBrowser也

    2024年03月15日
    浏览(40)
  • 【C++入门到精通】C++入门 —— 继承(基类、派生类和多态性)

    前面我们讲了C语言的基础知识,也了解了一些数据结构,并且讲了有关C++的命名空间的一些知识点以及关于C++的缺省参数、函数重载,引用 和 内联函数也认识了什么是类和对象以及怎么去new一个 ‘对象’ ,也了解了C++中的模版,以及学习了几个STL的结构也相信大家都掌握

    2024年02月11日
    浏览(46)
  • 【Effective C++】4. 设计与声明

    如何创建和销毁 初始化对象和对象的赋值应该有什么差别 以值传递意味着什么 新type的合法值 继承体系 类型转换 操作符重载 继承标准 未声明接口 type一般化(template) 有以下几个优势: 1. 语法一致性:访问class成员时每一个都是函数,不需要记住是否需要小括号 2. 使成员

    2024年01月24日
    浏览(38)
  • C++类和对象-多态->多态的基本语法、多态的原理剖析、纯虚函数和抽象类、虚析构和纯虚析构

    #includeiostream using namespace std; //多态 //动物类 class Animal { public:     //Speak函数就是虚函数     //函数前面加上virtual,变成虚函数,那么编译器在编译的时候就不能确定函数调用了。     virtual void speak()     {         cout \\\"动物在说话\\\" endl;     } }; //猫类 class Cat

    2024年02月20日
    浏览(37)
  • 【C++】面向对象编程(二)面向对象的编程思维:virtual虚拟调用、继承、protected成员、派生类与基类

    默认情形下,成员函数的解析都是编译时静态进行。如果要让成员函数的解析在程序运行时动态进行,需要在成员函数的声明前加上virtual: 虚函数的作用: 用基类的指针指向不同的派生类的对象时,基类指针调用其虚成员函数,会调用 真正指向对象的成员函数 ,而

    2024年02月07日
    浏览(44)
  • 【C++】早绑定、析构与多态 | 一道关于多态的选择题记录

    今天在和群友聊天的时候看到了一道很坑的题目,分享给大家 先来看看题目 请问这个的输出是什么? 答案是E,编译出错! 先来说说这道题目里面涉及到了什么知识点 多态调用; 多态重写函数需要满足什么条件; 类内函数后加 const 的作用; 类内函数后加 override 的作用;

    2024年02月11日
    浏览(35)

觉得文章有用就打赏一下文章作者

支付宝扫一扫打赏

博客赞助

微信扫一扫打赏

请作者喝杯咖啡吧~博客赞助

支付宝扫一扫领取红包,优惠每天领

二维码1

领取红包

二维码2

领红包