effective C++条款三十四解读

区分接口继承与实现继承

在设计class的时候，有时我们希望派生类只继承成员函数的接口（也就是函数的声明),有时希望同时继承函数的接口与实现，但是又能够覆写它所继承的实现。有时候希望派生类同时继承接口以及实现，并且不允许覆写任何东西。以一个shape类为例子：

class shape
{
public:
virtual void draw()=0;
virtual void error(const string& message);
int objectId() const;
}这个函数中，我们希望没和派生类都定义自己的draw方法（纯虚函数），这样每个派生类就继承了基类的接口。对于error函数这是一个impure 虚函数，提供接口以及一份默认定义，派生类可以定义自己的error函数，也可以使用默认定义。对于objectId基类并不希望派生类重新定义函数的实现，所以是一个非虚函数。这里我们需要强调一个问题就是，有的时候我们定义自己的派生类，但是忘记实现了其中的虚函数，那么程序默认就使用了虚函数的默认定义，但这并不是我们所想要的。我们在写代码的工程中强调接口与实现继承的分离。那么如何实现呢，我们可以利用纯虚函数的默认定义。下面以一个派生类为例来说明：

class Rectangle:public shape
{
public:
virtual void draw()
{
shape::draw();//使用纯虚函数的默认定义，强调要继承基类的实现。
}
}

由于基类的函数是纯虚函数，所以派生类必须继承函数的接口，但具体是否要继承函数的实现完全取决于派生类是否显式调用shape::draw();