Item 34 分清对接口的继承和对实现的继承

需求：
1> 通过派生，只继承基类的函数接口（即它们的声明）；
2> 接口和实现都继承，而且不让它们被派生类覆盖；
3> 接口和实现都继承，允许它们被派生类覆盖。

 

class Shape { // an abstract class 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::draw()提供一个实现。调用的时候：

 

Shape *ps1 = new Rectangle; ps1->draw(); // calls Rectangle::draw Shape *ps2 = new Ellipse; ps2->draw(); // calls Ellipse::draw ps1->Shape::draw(); // calls Shape::draw ps2->Shape::draw(); // calls Shape::draw

 

● 简单虚函数比较危险。
如果客户忘记重定义该函数，该函数也能工作，没有人能提醒客户。只有到工作不正常的时候，客户才能知道。故而不提倡使用这种声明方式。或者改进一下，把它变成纯虚函数，并提供一个默认实现：

 

class Airplane { public: virtual void fly(const Airport& destination) = 0; ... protected: void defaultFly(const Airport& destination); }; void Airplane::defaultFly(const Airport& destination) {...}

 

这样，编译器会提醒客户。而且，defaultFly应该是一个“非虚函数”。这一点很重要：不能让客户重定义它！否则它一样有可能会被客户忘记。

不过，又有fly又有defaultFly，这样相似的名字会影响客户的理解。随着函数的增多，大量的defaultXXX会污染类的名字空间。解决方案：

 

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) { // 派生类的自定义行为 }