读书笔记六

确定你的public继承塑模出is-a关系
- 　　public继承和is-a的之间的等价关系很简单。例如动物和鸟，鸟一定是动物，而动物不一定是鸟。
- 　　public继承意味着is-a。适用于base classes身上的每一件事情也是一定适用于派生类身上的，因为每一个派生类对象也都是一个base classes对象。

避免遮掩继承而来的名称

int x;//global变量
void somefunc(){
    double x;//local变量，这个变量会遮掩吊全局变量，在这个函数体内，改变的是double的x。
    cin>>x;
}

　　实际上类的继承中也是会发生这样的事情。派生类继承基类，派生类的作用域是嵌套在基类中的。

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();
    void mf3();
    void mf4();
};
int main(){
    derived d;
    int x;
    d.mf1();//true    调用derived::mf1
    d.mf1(x);//wrong  derived::mf1遮掩了base::mf1（int)
    d.mf2();//true
    d.mf3();//true
    d.mf3(x);//wrong derived::mf3遮掩了base::mf3(double)
}
//这里面的是名称遮掩规则，不考虑参数的类型，而是直接考虑名称，这里直接相关的东西是作用域这个东西。
//解决办法：在main函数中，明确的使用using声明表达式去显示的调用自己享用的函数即可。

　　在public继承下，derived类的名称会遮掩base class内的名称。在public继承下面从来没有人希望如此
　　我们可以使用using声明表达式去显示的调用想调用的函数或者变量等。

区分接口继承和实现继承
- 　　一个基类有三个函数：一个pure virtual，一个 impure virtual，一个non virtual。
  - 　　声明一个pure virtual函数的目的是让片派生类只是继承函数接口
  - 　　声明一个impure virtual函数的目的是让派生类继承该函数的接口给和缺省实现：继承该非纯虚函数，既可以自己实现这个函数，也可以缺省的调用父类的这个函数而不去重写派生类中的这个函数
  - 　　声明一个non virtual函数的目的是为了令派生类继承函数的接口给及一份强制性实现。
- 　　接口继承和实现继承不同，在public继承下，派生类总是继承base class的接口
- 　　pure virtual函数只是具体制定接口继承，impure virtual函数具体指定接口继承和缺省的实现继承，non virtual函数具体制定接口继承以及强制性实现继承

绝对不重新定义继承而来的non-virtual

　　non-virtual是静态绑定的，virtual是动态绑定的。

class b{
public:
    void mf();
};
class d:public b{
    void mf();
};
int main(){
    d x;
    b* pb=&x;
    pb->mf();
    
    d* pd=&x;
    pd->mf();
}
//其中b的mf函数和d的函数mf都是静态绑定的，non-virtual函数。但是如果mf是一个virtual函数的话，那么virtual是动态绑定的，mf是个virtual函数，不论通过pb还是pd
//调用mf，都会是调用的pd::mf()。

绝不重新定义继承而来的缺省参数值

　　virtual是动态绑定的（调用一个virtual函数时，究竟调用哪一个实现代码，由调用的那个独享的动态类型），non-virtual是静态绑定的，缺省参数值也是静态绑定的。

class shape{
public:
    enum shapecolor{red,green,blue};
    virtual void draw(shapecolor color = red)const=0;//带有默认参数的virtual函数绝对不重新定义该默认参数
    ...
};
class rectangle:public shape{
public:
    virtual void draw(shapecolor color = red)const;//这样就代码重复了
};

//修改的版本
class shape{
public:
    enum shapecolor{red,green,blue};
    void draw(shapecolor color = red)const{
        dodraw(color);
    }
    ...
private:
    virtual void dodraw(shapecolor color)cosnt = 0;
};
class rectangle:public shape{
public:
    ... ;
private:
    virtual void dodraw(shapecolor color)const;//这里不需要指定默认参数值
};
//这里就是利用了non-virtual函数永远不会被派生类重写，这样就能保证默认参数值不会被修改和重新定义了。

通过复合塑模出has-a或者根据某物实现出
- 　　复合：类型之间的一种关系，当某种类型的对象内含它种类型的对象。它意味着has-a或者是is-implement-in-terms-of（根据某物实现出）。当复合发生在应用域内的对象的时候表现出has-a关系，发生在实现域表现is-implement-in-terms-of。
  - 　　应用域：人，汽车，动物，这些属于应用域。
  - 　　实现域：像缓冲器，查找树，互斥器这种东西属于实现域。
- 　　复用和继承完全不同的，复用不用去继承。
明智而审慎的使用private继承
- 　　private意味着；private的派生对象系统是不会自动的将它变成一个base类对象的。从private base class中继承而来的所有成员在derived class都会变成paivate属性。
- 　　private意味着:根据某物实现出is-implement-in-terms-of。如果D以private形式继承B，意思是D对象根据B对象实现而得。
- 　　由于复合和private继承貌似有重合的部分，但是我们尽可能的使用复合，在必要时才使用private继承。
明智而审慎的使用多重继承
- 　　当多重继承出现的时候，程序有可能从一个以上的base class继承相同名称的函数或者其他东西。会产生较多的起义。
- 　　多重继承比单一继承复杂，他可能导致新的起义性，以及对virtual继承的需要。
- 　　virtual继承会增加大小，速度，初始化复杂度等等成本。如果virtual base class不带任何数据，将是最具实用价值的情况。
- 　　多重继承的确有正当用途。其中一个情节设计public继承某个interface class和private继承某个协助实现的class 的两辆组合。