Effective C++ 34 区分接口继承和实现继承

public继承从根本上讲，有两部分：接口继承和实现继承。两者之前的区别很像函数声明与函数定义。

具体设计中，会呈现三种形式：derived class只继承成员函数的接口（纯虚函数）；derived class同时继承函数的接口和实现，同时能够重写（override）；derived class同时继承函数的接口和实现，但是不允许重写该函数。

 

1、只继承成员函数的接口（纯虚函数）：

例如pure函数

2、同时继承函数的接口和实现，同时能够重写（override）：

例如impure函数，为了避免用户不想使用默认实现，但同时忘记重写该函数的情况发生，书中给出一种很nice的解决方案：声明为纯虚函数，但是给定默认实现，如果想用父类的默认实现，需要显示调用，如果不想用默认声明，需要自己定义。

下面例子中的fly函数：

 1 class Airplane { 2 public: 3   virtual void fly(const Airport& destination) = 0; 4   ... 5 }; 6 void Airplane::fly(const Airport& destination) 7 { 8   飞机飞往某一目的地的缺省代码 9 }10 class ModelA: public Airplane {11 public:12   virtual void fly(const Airport& destination)13   { Airplane::fly(destination); }14   ...15 };16 class ModelB: public Airplane {17 public:18   virtual void fly(const Airport& destination)19   { Airplane::fly(destination); }20   ...21 };22 class ModelC: public Airplane {23 public:24   virtual void fly(const Airport& destination);25   ...26 };27 void ModelC::fly(const Airport& destination)28 {29   ModelC飞往某一目的地的代码30 }

 

3、同时继承函数的接口和实现，但是不允许重写该函数：

 例如non-virtual函数，这种实现方法强调不变性，即所有derived class 都应该继承base class的非虚函数，并应该遵循父类对该函数的实现方法。