区分接口继承和实现继承

表面上的public继承概念，其实经过严密的严查之后，会发现它由两部分组成：函数接口继承和函数实现继承。这两种继承的差异，其实就是函数声明与函数定义之间的差异。

作为class的设计者，有时候你会希望derived class只继承成员函数的接口（也就是声明）；有时候你又希望derived class同时继承函数的接口和实现，但又希望能够覆写（override）他们所继承的实现；又有时候你希望derived class同时继承函数的接口和实现，并且不允许覆写任何东西。

下面看一段代码：

class Shape{public:virtual void draw() const = 0;virtual void error(const std::string& msg);int objectID() const;};class Rectangle : public Shape {};class Ellipse : public Shape {};

Shape是个抽象类，它的pure virtual函数draw使它成为一个抽象class。所以客户不能创建Shape class的实体，只能创建其derived class的实体。尽管如此，Shape还是强烈影响了所有以public形式继承它的derived class。因为：

成员函数的接口总是会被继承。

pure virtual函数有两个最突出的特性：它们必须被任何“继承了它们的”具体class重新声明，而且他们在抽象class中通常没有定义，其实就是说：

声明一个pure virtual函数的目的是为了让derived class只继承函数接口。

不过令人意外的是，我们竟然可以为pure virtual函数提供定义。也就是说你可以为Shape::draw供应一份实现代码，C++并不会发出怨言，但是，调用它的唯一途径是“调用时明确指出其class名称”：

如下代码：

Shape* ps = new Shape;//Shape是抽象类，报错Shape* ps1 = new Rectangle;ps1->draw();Shape* ps2 = new Ellipse;ps2->draw();ps1->Shape::draw();ps2->Shape::draw();

虚函数和纯虚函数有点不同。一如往常，derived class继承其函数接口，但是虚函数会提供一份实现代码，derived class可能覆写它，其实就是下面的意思：

声明虚函数的目的是，让derived class继承该函数的接口和缺省实现。

最后对于Shape的non-virtual 的objectID，如果这个成员函数是个non-virtual 函数，意味着它并不打算在derived class中有不同的行为。声明一个non-virtual函数的目的是为了令derived class继承函数的接口及一份强制性地实现。

说了这么多，下面总结一下：pure virtual、simple virtual、non-virtual之间的差异，使得你想要继承的东西：只继承接口，或是继承接口和一份缺省实现，或是继承接口和一份强制性的实现。