函数接口继承与函数实现继承，在public继承之下，derived classes总是继承base class的接口。
作为class的设计者:
1.有时我们希望derived classes只继承成员函数的接口（声明）；
2.有时我们会希望derived classes同时继承函数的接口与实现，但是又希望能够覆写(override)它们所继承的实现；
3.有时我们希望derived classes同时继承函数的接口与实现，但是不允许覆写任何东西。
class Shape{
public:
virtual void draw() const = 0; //pure virtual
virtual void error(const std::string& msg); //impure virtual
int objectID() const; //non-virtual
};
class Rectangle :public Shape{....};
public继承导致的is-a关系，导致成员函数的接口总会被继承。
在基类中三种不同的函数声明方式：
1.声明一个pure virtual函数的目的是为了让derived classes只继承函数接口
2.声明impure virtual 函数的目的是为了让derived classes继承该函数的接口与缺省实现。
其接口表示每个class都必须支持一个“当遇上错误时可调用的函数”，但是每个class可自由的处理错误。如果某个class不想针对错误做出特殊行为，它可以退回到shape class提供的缺省错误行为。
3.如果成员函数是个non-virtual函数，意味着它并不打算在derived classes中有不同行为。声明non-virtual函数的目的是为了令derived classes继承函数的接口及一份强制性实现。
Shape::objectID的声明是让每个Shape对象都有一个用来产生对象识别码的函数，此识别码总是采用相同的计算方法，此方法
由Shape::objectID的定义式决定，任何派生类都不应该尝试改变其行为。
pure virtual函数、impure virtual 函数、non-virtual函数之间的差异，使得你得以精确指定你想要derived classes继承的东西：只继承接口、或是继承接口和一份缺省实现
、或是继承接口和一份强制实现。
经验不足的class设计者常会犯下以下两个错误：
virtual函数的成本：
一个典型的程序有%80的执行时间花费在%20的代码上，这个法则十分重要。
1.将所有的函数声明为non-virtual，这使得derived classes没有剩余的空间进行特化工作。这种是不变性凌驾于特异性
2.将所有的成员函数声明为virtual。例如接口类。 这种是特异性凌驾于不变性