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++类和对象之初始化列表的使用方式

《C++类和对象之初始化列表的使用方式》:本文主要介绍C++类和对象之初始化列表的使用方式,具有很好的参考价值,希望对大家有所帮助,如有错误或未考虑完全的地方,望不吝赐教... 目录C++初始化列表详解:性能优化与正确实践什么是初始化列表?初始化列表的三大核心作用1. 性能优化:避免不必要的赋值操作2. 强

C++迭代器失效的避坑指南

《C++迭代器失效的避坑指南》在C++中,迭代器(iterator)是一种类似指针的对象,用于遍历STL容器(如vector、list、map等),迭代器失效是指在对容器进行某些操作后... 目录1. 什么是迭代器失效?2. 哪些操作会导致迭代器失效?2.1 vector 的插入操作(push_back,

Python多重继承慎用的地方

《Python多重继承慎用的地方》多重继承也可能导致一些问题,本文主要介绍了Python多重继承慎用的地方,文中通过示例代码介绍的非常详细,对大家的学习或者工作具有一定的参考学习价值,需要的朋友们下面... 目录前言多重继承要慎用Mixin模式最后前言在python中,多重继承是一种强大的功能,它允许一个

C#如何调用C++库

《C#如何调用C++库》:本文主要介绍C#如何调用C++库方式,具有很好的参考价值,希望对大家有所帮助,如有错误或未考虑完全的地方,望不吝赐教... 目录方法一:使用P/Invoke1. 导出C++函数2. 定义P/Invoke签名3. 调用C++函数方法二:使用C++/CLI作为桥接1. 创建C++/CL

C++如何通过Qt反射机制实现数据类序列化

《C++如何通过Qt反射机制实现数据类序列化》在C++工程中经常需要使用数据类,并对数据类进行存储、打印、调试等操作,所以本文就来聊聊C++如何通过Qt反射机制实现数据类序列化吧... 目录设计预期设计思路代码实现使用方法在 C++ 工程中经常需要使用数据类,并对数据类进行存储、打印、调试等操作。由于数据类

Linux下如何使用C++获取硬件信息

《Linux下如何使用C++获取硬件信息》这篇文章主要为大家详细介绍了如何使用C++实现获取CPU,主板,磁盘,BIOS信息等硬件信息,文中的示例代码讲解详细,感兴趣的小伙伴可以了解下... 目录方法获取CPU信息:读取"/proc/cpuinfo"文件获取磁盘信息:读取"/proc/diskstats"文

C++使用printf语句实现进制转换的示例代码

《C++使用printf语句实现进制转换的示例代码》在C语言中,printf函数可以直接实现部分进制转换功能,通过格式说明符(formatspecifier)快速输出不同进制的数值,下面给大家分享C+... 目录一、printf 原生支持的进制转换1. 十进制、八进制、十六进制转换2. 显示进制前缀3. 指

C++中初始化二维数组的几种常见方法

《C++中初始化二维数组的几种常见方法》本文详细介绍了在C++中初始化二维数组的不同方式,包括静态初始化、循环、全部为零、部分初始化、std::array和std::vector,以及std::vec... 目录1. 静态初始化2. 使用循环初始化3. 全部初始化为零4. 部分初始化5. 使用 std::a

C++ vector的常见用法超详细讲解

《C++vector的常见用法超详细讲解》:本文主要介绍C++vector的常见用法,包括C++中vector容器的定义、初始化方法、访问元素、常用函数及其时间复杂度,通过代码介绍的非常详细,... 目录1、vector的定义2、vector常用初始化方法1、使编程用花括号直接赋值2、使用圆括号赋值3、ve

如何高效移除C++关联容器中的元素

《如何高效移除C++关联容器中的元素》关联容器和顺序容器有着很大不同,关联容器中的元素是按照关键字来保存和访问的,而顺序容器中的元素是按它们在容器中的位置来顺序保存和访问的,本文介绍了如何高效移除C+... 目录一、简介二、移除给定位置的元素三、移除与特定键值等价的元素四、移除满足特android定条件的元