Effective C++ 6.继承与面向对象设计

2024-06-08 13:18

本文主要是介绍Effective C++ 6.继承与面向对象设计,希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!

条款32:确定你的public继承塑模出is-a关系
    以C++进行面向对象编程,最重要的一个规则是:public inheritance(公有继承)意味is-a(是一种)的关系。
    如 果你令class D以public形式继承class B,你便是告诉C++编译器(以及你的代码读者)说,每一个类型为D的对象同时也是一个类型为B的对象,反之不成立。你的意思是B比D表现出更一般化得概 念,而D比B表现出更特殊化的概念。你主张:“B对象可派上用场的任何地方,D对象一样可以派上用场”,因为每一个D对象都是一种(是一个)B对象。反之 如果你需要一个D对象,B对象无法效劳,因为虽然每个D对象都是一个B对象,反之并不成立。
     在C++领域中,任何函数如果期望获得一个类型为基类的实参(而不管是传指针或是引用),都也愿意接受一个派生类对象(而不管是传指针或是引用)。(只对public继承才成立。)
     好的接口可以防止无效的代码通过编译,因此你应该宁可采取“在编译期拒绝”的设计,而不是“运行期才侦测”的设计。
     请记住:

  • “public继承”意味is-a。适用于base classes身上的每一件事情一定也使用于derived classes身上,因为每一个derived classes对象也都是一个base classes对象。
  • private继承  意味着 has-a.


  • 条款33:避免遮掩继承而来的名称
       
     C++的名称遮掩规则所做的唯一事情就是:遮掩名称。至于名称是否是相同或不同的类型,并不重要。即,只要名称相同就覆盖基类相应的成员,不管是类型,参数个数,都无关紧要。派生类的作用域嵌套在基类的作用域内。
         C++的继承关系的遮掩名称也并不管成员函数是纯虚函数,非纯虚函数或非虚函数等。只和名称有关。
         如果你真的需要用到基类的被名称遮掩的函数,可以使用using声明式,引入基类的成员函数。
        请记住:

    • derived calsses内的名称会遮掩base classes内的名称。在public继承下从来没有人希望如此。   
    • 为了让被遮掩的名称再见天日,可使用using声明式或转交函数(forwarding function)

    using 的声明式:

    class Base
    {
    private:
    int x;
    public:
    virtual void mf1() = 0;
    virtual void mf1(int);

    virtual void mf2();
    void mf3();
    void mf3(double);
    ......
    };

    class Derived: public Base
    {
    public:
    virtual void mf1();
    virtual void mf3();
    virtual void mf4();
    }

    此时所有基类的  mf1 和 mf3() 函数都被遮盖了。


     class Base
    {
    private:
    int x;
    public:
    virtual void mf1() = 0;
    virtual void mf1(int);

    virtual void mf2();
    void mf3();
    void mf3(double);
    ......
    };

    class Derived: public Base
    {
    public:
    using Base::mf1;
    using Base::mf3;

    virtual void mf1();
    virtual void mf3();
    virtual void mf4();
    }


    // 则此时可以使用Base类中的。 mf1(int)   mf3(double)


    或者使用转交函数(Forwarding Function)
    class Base
    {
    private:
    int x;
    public:
    virtual void mf1() = 0;
    virtual void mf1(int);

    virtual void mf2();
    void mf3();
    void mf3(double);
    ......
    };

    class Derived: public Base
    {
    public:
    virtual void mf1()          // 成了inline函数。
    {
    Base::mf1(5);
    }
    }


      条款34:区分接口继承和实现继承
       
     表面上直截了当的public继承概念,经过更严密的检查之后,发现它由两部分组成:函数接口继承函数实现继承

    • 成员函数的接口总是会被继承。
    • 声明一个纯虚函数的目的是为了让派生类只继承函数接口
    • 声明一个虚函数的目的是让派生类继承该函数的接口和缺省实现
    • 声明一个非虚函数的目的是为了令派生类继承函数的接口及一份强制性实现

        请记住:

    • 接口继承和实现继承不同。在public继承之下,derived classes总是继承base class的接口。
    • pure virtual函数只具体制定接口继承。
    • 简朴的(非纯)impure virtual函数具体制定接口继承及缺省实现继承。
    • non-virtual函数具体制定接口继承以及强制性实现继承。



条款35:考虑virtual函数以外的其它选择
    请记住:
    
    1. virtual函数的替代方案包括NVI手法及Strategy设计模式的多种形式。NVI手法自身是一个特殊形式的Template Method设计模式。
    
    NVI手法  Non-Virtual Interface   主张virtual函数应该几乎总是private 保留接口函数为public成员函数并让它为non-virtual 并且调用
    一个private virtual函数(例如 doHealthValue)进行实际工作:
    
    // template Method 设计模式
    class CGameCharacter
    {
    public:
        // Virtual 函数覆盖器
        int healthValue()  const          // derived classes 不重新定义它
        {
           ... ...
           int retVal = doHealthValue();
           ... ...
           return retVal;
        }
        
        private:   // 或者考虑子类继承问题,将其 private 设置成 protected
        virtual int doHealthValue() const   // derived class 可以重新定义它
        {
          ... ...   // 缺省算法
        }
    };
    
    将机能从成员函数移到class外部函数,带来的一个缺点是,非成员函数无法访问class的non-public成员。
    2. 函数指针实现功能来替代 virtual 的实现.
    class GameCharacter;
    
    // 以下是缺省的算法
    int defaultHealthCalc(const GameCharacter& gc);
    
    class GameCharacter
    {
    public:
        typedef int (*HealthCalcFunc)(const GameCharacter&);  // 函数指针
        
        // 构造  禁止隐转换
        explicit GameCharacter(HealthCalcFunc hcf = defaultHealthCalc): healthFunc(hcf) {}
        
        // 调用各个函数指针
        int healthValue() const
        {
          return healthFunc(*this);
        }
        
    private:
        HealthCalcFunc healthFunc;
    };
    
    // Strategy 设计模式的简单应用。
    (2.1) 同一类型之不同实体可以有不同的健康计算函数:
    class EvilBadGuy: public GameCharacter
    {
    public:
        explict EvilBadGuy(HealthCalcFunc hcf = defaultHealthCalc): GameCharacter(hcf) {...}

        ... ...        
    };
    
    int loseHealthQuickly(const GameCharacter&);  // 健康指数计算函数1
    int lostHealthSlowly(const GameCharacter&);   // 健康指数计算函数2
    
    EvilBadGuy ebg1(loseHealthQuickly);
    EvilBadGuy ebg2(lostHealthSlowly);
    
    (2.1) 可以在运行时变更其计算函数  可以提供一个成员函数 setHealthCalculator 用来替换当前的健康指数计算函数。
    
    
    
    tr1::function对象的行为就像一般函数指针。这样的对象可接纳“与给定之目标签名式(target signature)兼容”的所有可调用物(callable entities)。    
    一般的函数指针
    
    class GameCharacter;
    int defaultHealthCalc(const GameCharacter& gc);
    
    class GameCharacter
    {
    public:
        // HealthCalcFunc可以是任何的 “可调用无”, 可被调用并接受任何兼容于 GameCharacter之物,
        // 返回任何兼容于int的东西
        typedef std::tr1::function<int (const GameCharacter&)> HealthCalcFunc;  // 函数指针
        
        // 构造  禁止隐转换
        explicit GameCharacter(HealthCalcFunc hcf = defaultHealthCalc): healthFunc(hcf) {}
        
        // 调用各个函数指针
        int healthValue() const
        {
          return healthFunc(*this);
        }
        
    private:
        HealthCalcFunc healthFunc;
    };
    
    
条款36:绝不重新定义继承而来的non-virtual函数
     请记住:

    绝对不要重新定义继承而来的non-virtual函数。
    
条款37:绝不重新定义继承而来的缺省参数值
    对于non-virtual函数,上一条款说到,“绝不重新定义继承而来的non-virtual函数”,而对于继承一个带有缺省参数值的virtual函数,也是如此。即绝不重新定义继承而来的缺省参数值。因为:virtual函数系动态绑定(dynamically bound),而缺省参数值确实静态绑定(statically bound)。意思是你可能会在“调用一个定义于派生类内的虚函数”的同时,却使用基类为它所指定的缺省参数值。
     请记住:

    绝对不要重新定义一个继承而来的缺省参数值,因为缺省参数值都是静态绑定,而virtual函数——你唯一应该覆写的东西——却是动态绑定。
    
    
  条款38:通过符合塑模出has-a或“根据某物实现出”
     请记住:

    复合(composition)的意义和public继承完全不同。
    在应用域(application domain),复合意味has-a(有一个)。在实现域(implementation domain),复合意味is-implemented-in-terms-of(根据某物实现出)。   


条款39: 明智而审慎地使用private继承(Use private inheritance judiciously)

本条款主要介绍private继承的特点和使用场合。

(1)Private继承意味is-implemented-in-terms-of(根据某物实现出)。特点是:如果class之间的继承关系是private,编译器不会自动将一个derived class对象转化为一个base class对象;由private base class继承而来的所有成员,在derived class中都会变成private属性,纵使它们在base class中原来是protected或public属性。

(2)主要有三种使用场合:两个“并不存在is-a关系”的classes,其中一个需要访问另一个的protected成员;或需要重新定义其一个或多个virtual函数。另一种情况是,需要对empty classes的空间最优化,如下面的代码:

class Empty{ }; //empty class

class HoldsAnyInt{
private:
int x;
Empty e;
};//sizeof(HoldsAnyInt) > sizeof(int)。Empty空对象需要安插一个char到空对象,并且有齐位需求。

class HoldsAnyInt::private Empty{
private:
int x;
}; //sizeof(HoldsAnyInt) == sizeof(int),这个就是EBO(empty based optimization)。
//实际应用中,类Empty中可以放入typedefs,enums,static成员变量,或non-virtual函数。STL中有很多例子。

条款40:明智而审慎地使用多重继承(Use multiple inheritance judiciously)

本条款主要介绍多重继承的特点和使用场合。

(1)多重继承比单一继承复杂,可能导致新的歧义性(同名时,不知道访问哪个基类的成员),以及对virtual继承的需要(任何派生类中的virtual基类总是用一个共享对象表示)。但是,Virtual继承会增加大小、速度、初始化复杂度等等成本。如果virtual base classed不带任何数据,Virtual继承将是最具使用价值的情况。

(2)多重继承的一个适用场合:“public继承某个Interface class”和“private继承某个协助实现的class”的两两组合。


这篇关于Effective C++ 6.继承与面向对象设计的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!



http://www.chinasem.cn/article/1042288

相关文章

C++ 中的 if-constexpr语法和作用

《C++中的if-constexpr语法和作用》if-constexpr语法是C++17引入的新语法特性,也被称为常量if表达式或静态if(staticif),:本文主要介绍C++中的if-c... 目录1 if-constexpr 语法1.1 基本语法1.2 扩展说明1.2.1 条件表达式1.2.2 fa

C++中::SHCreateDirectoryEx函数使用方法

《C++中::SHCreateDirectoryEx函数使用方法》::SHCreateDirectoryEx用于创建多级目录,类似于mkdir-p命令,本文主要介绍了C++中::SHCreateDir... 目录1. 函数原型与依赖项2. 基本使用示例示例 1:创建单层目录示例 2:创建多级目录3. 关键注

C++从序列容器中删除元素的四种方法

《C++从序列容器中删除元素的四种方法》删除元素的方法在序列容器和关联容器之间是非常不同的,在序列容器中,vector和string是最常用的,但这里也会介绍deque和list以供全面了解,尽管在一... 目录一、简介二、移除给定位置的元素三、移除与某个值相等的元素3.1、序列容器vector、deque

C++常见容器获取头元素的方法大全

《C++常见容器获取头元素的方法大全》在C++编程中,容器是存储和管理数据集合的重要工具,不同的容器提供了不同的接口来访问和操作其中的元素,获取容器的头元素(即第一个元素)是常见的操作之一,本文将详细... 目录一、std::vector二、std::list三、std::deque四、std::forwa

C++字符串提取和分割的多种方法

《C++字符串提取和分割的多种方法》在C++编程中,字符串处理是一个常见的任务,尤其是在需要从字符串中提取特定数据时,本文将详细探讨如何使用C++标准库中的工具来提取和分割字符串,并分析不同方法的适用... 目录1. 字符串提取的基本方法1.1 使用 std::istringstream 和 >> 操作符示

C++原地删除有序数组重复项的N种方法

《C++原地删除有序数组重复项的N种方法》给定一个排序数组,你需要在原地删除重复出现的元素,使得每个元素只出现一次,返回移除后数组的新长度,不要使用额外的数组空间,你必须在原地修改输入数组并在使用O(... 目录一、问题二、问题分析三、算法实现四、问题变体:最多保留两次五、分析和代码实现5.1、问题分析5.

C++ 各种map特点对比分析

《C++各种map特点对比分析》文章比较了C++中不同类型的map(如std::map,std::unordered_map,std::multimap,std::unordered_multima... 目录特点比较C++ 示例代码 ​​​​​​代码解释特点比较1. std::map底层实现:基于红黑

C++中函数模板与类模板的简单使用及区别介绍

《C++中函数模板与类模板的简单使用及区别介绍》这篇文章介绍了C++中的模板机制,包括函数模板和类模板的概念、语法和实际应用,函数模板通过类型参数实现泛型操作,而类模板允许创建可处理多种数据类型的类,... 目录一、函数模板定义语法真实示例二、类模板三、关键区别四、注意事项 ‌在C++中,模板是实现泛型编程

利用Python和C++解析gltf文件的示例详解

《利用Python和C++解析gltf文件的示例详解》gltf,全称是GLTransmissionFormat,是一种开放的3D文件格式,Python和C++是两个非常强大的工具,下面我们就来看看如何... 目录什么是gltf文件选择语言的原因安装必要的库解析gltf文件的步骤1. 读取gltf文件2. 提

C++快速排序超详细讲解

《C++快速排序超详细讲解》快速排序是一种高效的排序算法,通过分治法将数组划分为两部分,递归排序,直到整个数组有序,通过代码解析和示例,详细解释了快速排序的工作原理和实现过程,需要的朋友可以参考下... 目录一、快速排序原理二、快速排序标准代码三、代码解析四、使用while循环的快速排序1.代码代码1.由快