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++11 <chrono> 库特性

《从入门到精通C++11<chrono>库特性》chrono库是C++11中一个非常强大和实用的库,它为时间处理提供了丰富的功能和类型安全的接口,通过本文的介绍,我们了解了chrono库的基本概念... 目录一、引言1.1 为什么需要<chrono>库1.2<chrono>库的基本概念二、时间段(Durat

C++20管道运算符的实现示例

《C++20管道运算符的实现示例》本文简要介绍C++20管道运算符的使用与实现,文中通过示例代码介绍的非常详细,对大家的学习或者工作具有一定的参考学习价值,需要的朋友们下面随着小编来一起学习学习吧... 目录标准库的管道运算符使用自己实现类似的管道运算符我们不打算介绍太多,因为它实际属于c++20最为重要的

Visual Studio 2022 编译C++20代码的图文步骤

《VisualStudio2022编译C++20代码的图文步骤》在VisualStudio中启用C++20import功能,需设置语言标准为ISOC++20,开启扫描源查找模块依赖及实验性标... 默认创建Visual Studio桌面控制台项目代码包含C++20的import方法。右键项目的属性:

c++中的set容器介绍及操作大全

《c++中的set容器介绍及操作大全》:本文主要介绍c++中的set容器介绍及操作大全,本文通过实例代码给大家介绍的非常详细,对大家的学习或工作具有一定的参考借鉴价值,需要的朋友参考下吧... 目录​​一、核心特性​​️ ​​二、基本操作​​​​1. 初始化与赋值​​​​2. 增删查操作​​​​3. 遍历方

解析C++11 static_assert及与Boost库的关联从入门到精通

《解析C++11static_assert及与Boost库的关联从入门到精通》static_assert是C++中强大的编译时验证工具,它能够在编译阶段拦截不符合预期的类型或值,增强代码的健壮性,通... 目录一、背景知识:传统断言方法的局限性1.1 assert宏1.2 #error指令1.3 第三方解决

C++11委托构造函数和继承构造函数的实现

《C++11委托构造函数和继承构造函数的实现》C++引入了委托构造函数和继承构造函数这两个重要的特性,本文主要介绍了C++11委托构造函数和继承构造函数的实现,具有一定的参考价值,感兴趣的可以了解一下... 目录引言一、委托构造函数1.1 委托构造函数的定义与作用1.2 委托构造函数的语法1.3 委托构造函

C++11作用域枚举(Scoped Enums)的实现示例

《C++11作用域枚举(ScopedEnums)的实现示例》枚举类型是一种非常实用的工具,C++11标准引入了作用域枚举,也称为强类型枚举,本文主要介绍了C++11作用域枚举(ScopedEnums... 目录一、引言二、传统枚举类型的局限性2.1 命名空间污染2.2 整型提升问题2.3 类型转换问题三、C

C++链表的虚拟头节点实现细节及注意事项

《C++链表的虚拟头节点实现细节及注意事项》虚拟头节点是链表操作中极为实用的设计技巧,它通过在链表真实头部前添加一个特殊节点,有效简化边界条件处理,:本文主要介绍C++链表的虚拟头节点实现细节及注... 目录C++链表虚拟头节点(Dummy Head)一、虚拟头节点的本质与核心作用1. 定义2. 核心价值二

Java 继承和多态的作用及好处

《Java继承和多态的作用及好处》文章讲解Java继承与多态的概念、语法及应用,继承通过extends复用父类成员,减少冗余;多态实现方法重写与向上转型,提升灵活性与代码复用性,动态绑定降低圈复杂度... 目录1. 继承1.1 什么是继承1.2 继承的作用和好处1.3 继承的语法1.4 子类访问父类里面的成

C++ 检测文件大小和文件传输的方法示例详解

《C++检测文件大小和文件传输的方法示例详解》文章介绍了在C/C++中获取文件大小的三种方法,推荐使用stat()函数,并详细说明了如何设计一次性发送压缩包的结构体及传输流程,包含CRC校验和自动解... 目录检测文件的大小✅ 方法一:使用 stat() 函数(推荐)✅ 用法示例:✅ 方法二:使用 fsee