Effective C++ 阅读笔记·Inheritance and Object-Oriented Design

最新推荐文章于 2019-05-17 11:42:24 发布

原创最新推荐文章于 2019-05-17 11:42:24 发布 · 298 阅读

1 ·

本内容遵循CC 4.0 BY-SA版权协议

收录于

C/C++

本文探讨了C++中的继承和多态概念，包括公共继承的is-a关系、避免隐藏继承的名字、区分接口继承与实现继承、考虑虚拟函数的替代方案、不要重新定义继承的非虚函数等内容。

32 Make sure public inheritance models “is-a”

“public继承”意味着is-a。适用于base classes身上的每一件事情一定也适用于derived classes身上，以为每一个derived class对象也都是一个base class对象。

33 Avoid hiding inherited names

如果继承base class并加上重载函数，而又希望重新定义或复写其中一部分，那么必须为那些原本会被遮掩的每个名称引入一个using声明式，否则某些希望继承的名称会被遮掩；
using声明式会令继承而来的某给定名称之所有同名函数在derived class中都可见；

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; //让Base class内名为mf1和mf3的所有东西在Derived
    using Base::mf3; //作用域内都可见（并且public）
    virtual void mf1();
    void mf3();
    void mf4();
};

//如下操作可行
Derived d;
int x;
d.mf1();   //调用Derived::mf1
d.mf1(x);  //调用Base::mf1
d.mf2();   //调用Base::mf2
d.mf3();   //调用Derived::mf3
d.mf3(x);  //调用Base::mf3

base class内的public名称在publicly derived class内也应该是public；
为了让被遮掩的名称再见天日，可使用using声明式或转交函数（forwarding functions）；

class Base{
public:
    virtual void mf1() = 0;
    virtual void mf1(int);
    virtual void mf2();
    void mf3();
    void mf3(double);
    ...
};

class Derived : private Base { 
public: 
    virtual void mf1(){  //转交函数 
        Base::mf1();     //暗自转成inline
    }
    ...
};

Derived d;
int x;
d.mf1();   //调用Derived::mf1
d.mf1(x);  //错误，Base::mf1()被遮掩了

34 Differentiate between inheritance of interface and inheritance of implementation

pure virtual 函数有两个最突出的特性：它们必须被任何继承了它们的具象class重新声明，它们在抽象class中通常没有定义；
声明一个pure virtual函数的目的是为了让derived classes只继承函数接口；
声明impure virtual函数的目的，是让derived classes继承该函数的接口和缺省实现；
由于non-virtual函数代表的意义是不变性(invariant)凌驾特异性(specialization)，所以它绝不该在derived class中被重新定义；

35 Consider alternatives to virtual functions

virtual函数的替代方案NVI手法及Strategy设计模式的多种形式。NVI手法自身是一个特殊形式的Template Method设计模式；
将机能从成员函数转移到class外部函数，带来的一个缺点是，非成员函数无法访问class的non-public成员；
tr1::function对象的行为就像一般函数指针。这样的对象可接纳“与给定之目标签名式(target signature)兼容”的所有可调用物(callable entities)；

36 Never redefine an inherited non-virtual function

non-virtual函数是静态绑定的，virtual函数是动态绑定的；
绝对不要重新定义一个继承而来的non-virtual函数

37 Never redefine a function’s inherited default parameter value

virtual函数是动态绑定，而缺省参数值是静态绑定；
对象的静态类型是它在程序中被声明时所采用的类型，对象的动态类型是指当前所指对象的类型；
virtual函数是动态绑定，即调用一个virtual函数时，究竟调用哪一份函数实现代码，取决于发出调用的那个对象的动态类型；

38 Model “has-a” or “is-implemented-in-terms-of” through composition

复合的意义和public继承完全不同；
在应用域，复合意味着has-a（有一个），在实现域，复合意味着is-implemented-in-terms-of（根据某物实现出）；

39 Use private inheritance judiciously

如果classes之间的继承关系是private，编译器不会自动将一个derived class对象转换为一个base class对象；
Private继承意味着is implemented in terms of，它通常比复合的级别低（即优先使用复合），但是当derived class需要访问protected base class的成员，或需要重新定义继承而来的virtual函数时，这么设计是合理的；
与复合不同，private继承可以造成empty base最优化。这对致力于“对象尺寸最小化”的程序库开发者而言，可能很重要；

40 Use multiple inheritance judiciously

C++解析重载函数的规则：在看到是否有个函数可取用之前，C++首先确认这个函数对此调用之言是最佳匹配，找出最佳匹配函数后才检验其可取用性；
多重继承比单一继承更复杂。它可能导致新的歧义性，以及对virtual继承的需要；
virtual继承会增加大小、速度、初始化（及赋值）复杂度等等成本。如果virtual base classes不带任何数据，将是最具实用价值的情况；
多重继承的确有正当用途。其中一个情节涉及“public继承某个Interface class”和“private继承某个协助实现的class”的两两组合；