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

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

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

 

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

例如pure函数

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

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

下面例子中的fly函数：

class Airplane {
public:
  virtual void fly(const Airport& destination) = 0;
  ...
};
void Airplane::fly(const Airport& destination)
{
  飞机飞往某一目的地的缺省代码
}
class ModelA: public Airplane {
public:
  virtual void fly(const Airport& destination)
  { Airplane::fly(destination); }
  ...
};
class ModelB: public Airplane {
public:
  virtual void fly(const Airport& destination)
  { Airplane::fly(destination); }
  ...
};
class ModelC: public Airplane {
public:
  virtual void fly(const Airport& destination);
  ...
};
void ModelC::fly(const Airport& destination)
{
  ModelC飞往某一目的地的代码
}

 

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

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