条款36:区分接口继承和实现继承

1,public继承分为两类:接口继承和实现继承.
这两种继承的差异类似于函数声明和函数继承的差异.

2,你的可能需求:
(1)希望只继承基类的接口;
(2)希望继承基类的接口和实现,而且可以改写它们.
(3)希望继承基类的接口和实现,但是不允许改写它们.

3,例子:
class Shape
{
public:
  virtual void draw() const = 0;
  virtual void error(const string& msg);
  int objectID() const;
  ...
};
class Rectangle: public Shape { ... };
class Ellipse: public Shape { ... };

4,先看纯虚函数draw.
纯虚函数的两个突出特性:(1)它们必须被"继承了它们"的具体类重新声明;(2)它们在抽象类中通常没有定义.
那么可以得到:
声明一个纯虚函数的目的是为了让derived class只继承其接口.

注:但是我们可以为纯虚函数提供定义,你可以为Shape:draw供应一份实现代码.
如:
Shape *ps1 = new Rectangle;      // fine
ps1->draw();                     // calls Rectangle::draw
ps1->Shape::draw();              // 但是只能通过完整名称调用,虚基类无法生成对象.

5,再看一般的虚函数.
传统上会给出一份实现,derived class可以自行选择要不要加以改写(override).
声明一般虚函数的目的:
是为了让derived class继承该函数的接口和缺省行为.

6,看一个现实的例子:
class Airport { ... };      // represents airports
class Airplane
{
public:
  virtual void fly(const Airport& destination);
  ...
};
void Airplane::fly(const Airport& destination)
{
  default code for flying an airplane to
  the given destination
}
class ModelA: public Airplane { ... };
class ModelB: public Airplane { ... };

fly缺省的行为同时被ModelA和ModelB继承,避免程序代码重复.
但是如果继续ModelC,可能导致:
"没有明白说我要"的情况下,ModelC继承了该缺省行为.

下面给出一个精巧的实现:

class Airplane //这里设为纯虚函数
{
public:
  virtual void fly(const Airport& destination)=0;
  ...
};

void Airplane::fly(const Airport& destination)
{
  default code for flying an airplane to
  the given destination
}
//Derived class需要显式overridefly
class ModelA: public Airplane
{
virtual void fly(const Airport& destination)
{
Ariplane::fly(destination);
}
...
};
class ModelB: public Airplane
{
virtual void fly(const Airport& destination)
{
Ariplane::fly(destination);
}
...
};

class ModelC: public Airplane
{
virtual void fly(const Airport& destination)
{
自己的实现
}
...
};

7,声明非虚拟函数的目的:
为了令Derived class继承函数的接口和实现.
注:非虚拟函数代表的意义"不变形"凌驾于"变异性"之上,我们不应该在Derived class中重新定义它.