Effective C++学习第十天

条款36：绝不重新定义继承而来的non-virtual函数

          non-virtual函数执行的是静态绑定，在编译器就已经决定，因此对象对用的函数只和指针的类型有关，而与指针所指的对象无关；记住non-virtual函数的性质：不变性凌驾于特异性；

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

         静态类型是指在程序中声明时使用的类型，动态类型是指目前所指对象的类型，动态类型变现为一个对象将会有什么样的行为；

      non-virtual和参数缺省值执行的是静态绑定，virtual执行的是动态绑定,代码分析：

class shape{

public:

   enum shapecolor { red, green, blue };

  virtual void draw(shapecolor color=red) const=0;

};

class rectangle:public shape{

public:

          virtual void draw(shapecolor color=green) const;//糟糕的操作

         ...

}；

class circle：public shape{

public:

              virtual void draw(shapecolor color)const;

              ...

};

调用 shape *pr=new rectangle;

        pr->draw( );//执行的代码为rectangle::draw(shape::red):

                          //相当于shape执行缺省，rectangle执行virtual函数，一人一半，神奇的操作；

C++这样设计的原因：运行期效率，如果缺省值是动态绑定，编译器就必须用某种方法在运行期为virtual函数决定适当的参数缺省值，这比目前实现的在编译期决定的机制更慢更加复杂；

条款38：通过复合塑模出has-a或者根据某物实现出

          复合是类型之间的一种关系，当某种类型的对象内含它种类型的对象，就是这种关系；复合有两种意义，复合意味着has-a(有一个）或is-implemented-in-terms-of(根据某物实现出)；

         如何区分is-a(是一种）和is-implemented-in-terms-of（根据某物实现出）这两种关系，可以通过public继承中D继承B，D对象也是B对象，反之B对象不是D对象来判断；

条款39：明智而审慎地使用private继承

          private继承意味着implemented-in-terms-of（复合），它只有实现部分被继承，接口部分省略；private继承纯粹是一种实现技术，它在软件设计层面上没有意义，其意义只及于软件实现层面；代码分析：

      class person {...};

      class student:private person{ . . .};

      void eat(const person&p);

      person p;    student s;      eat(p);

      eat(s);//编译不通过

原因：1）private继承中编译器不会自动将一个derived class对象转换为一个base class对象；2）private继承而来的所有成员在derived  class中都会变成private属性，纵使它们在base class中原本是public或者protected;   

       尽可能的多用复合，必要的时候才使用private继承（protected成员和virtual函数牵涉进来的时候，或者继承一个empty class时候可以采用private继承）

       需求：定义一个类B（继承一个类B_B），使得这个类的派生D不能调用B_B的成员函数；

设计1：private继承

class B_B{                                           class D:private B_B{

public：                                                 private: 

       explicit B_B(int tickfrency);                              virtual void ontick( ) const;

       virtual void ontick( )const;

};                                                        };

设计2：继承+复合

class D{

private:

        class widgettimer:public B_B{

         public:   

                           virtual void ontick( )const;

                              ...

        };

    widgwttimer timer;

}

在D内声明一个嵌套式private class，后者以public继承B_B并重新定义ontick,然后放这个类型在D对象内；

选择方案2不选择方案1的原因：1）想阻止D的derived class重新定义ontick函数；2）降低D编译的依存性；

          empty class:没有non_static成员变量，没有virtual函数，没有virtual base class；empty class数据大小并不是零，C++规定凡是独立对象都必须有非零大小（这个约束不针对derived class 中的base class成分，它们是非独立的），因此一个empty class 大小为1（C++规定安插一个char类型到空对象中）；

         在继承empty class中，如果选择private继承（EBO,empty base optimization，继承空类），可能造成empty base的最优化；