Effective C++ Item 34 区分接口继承与实现继承

来源：互联网发布：速卖通软件下载编辑：程序博客网时间：2024/06/05 01:19

本文为senlie原创，转载请保留此地址：http://blog.csdn.net/zhengsenlie

关联条款 Item 36

接口继承和实现继承不同。在 public 继承下， derived classes 总是继承 base 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{...};

1.pure virtual 函数 --> 让 derived classes 只继承函数接口。
Shape::draw 的声明式仍是对具体 derived classes 设计者说， “你必须提供一个 draw 函数，但我不干涉你怎么实现它”

2.impure virtual 函数 --> 让 derived classes 继承该函数的接口和缺省实现
Shape::error 的声明式告诉 derived classes 设计者说， “你必须支持一个 error 函数，但如果你不想自己写一个，可以使用 Shape要提供的缺省版本”

3.non-virtual 函数 --> 让 derived classes 继承函数的接口及一份强制性实现

class 设计常犯两个错误
1.将所有函数声明为 non-virtual
Item 7：为多态基类声明 virtual 析构函数
2.将所有成员函数声明为 virtual

经验： impure virtual 函数同时指定函数声明和函数缺省行为，可能造成危险。。
示例：

class AirPort{...};class AirPlane{public:virtual void fly(const AirPort &destination);//...};void AirPort::fly(const AirPort &destination){//缺省代码，将飞机飞至指定的目的地}class ModelA: public AirPlane {...};class ModelB: public AirPlane {...};class ModelC: public AirPlane {... // 未声明 fly 函数， 但C型飞机的飞行方式与A，B不同。};AirPort PDX(...);AirPlane *pa = new ModelC;//...pa->fly(PDX); //调用 AirPlane::fly

解析：
这个程序试图以 ModelA, ModelB 的飞行方式来飞 ModelC

纠正：
切断“virtual 函数接口” 和其“缺省实现” 之间的连接。将 AirPlane::fly 改为一个 pure virtual 函数，只提供飞行接口，
另以独立函数 defaultFly 提供缺省实现。

class AirPlane{public:virtual void fly(const AirPort &destination) = 0;//...protected: // protected 因为客户端不需要在意飞机能不能飞void defaultFly(const AirPort &destination); //Item 36};void AirPlane::defaultFly(const AirPlane &destination){//缺省代码，将飞机飞至指定的目的地}class ModelA: public AirPlane{public:virtual void fly(const AirPort &destination){defaultFly(destination);}//...};class ModelB: public AirPlane{public:virtual void fly(const AirPort &destination){defaultFly(destination);}//...};class ModelC: public AirPlane{public:virtual void fly(const AirPort &destination);//...};void ModelC::fly(const AirPort &destination){ // pure virtual 函数迫使  ModelC 必须提供自己的 fly 版本//...}

纠正2：我更喜欢这个，没那么多变量名

class AirPlane{public:virtual void fly(const AirPort &destination) = 0;//...protected: // protected 因为客户端不需要在意飞机能不能飞void defaultFly(const AirPort &destination); //Item 36};void AirPlane::fly(const AirPlane &destination){ //pure virtual 函数实现//缺省代码，将飞机飞至指定的目的地}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){ // pure virtual 函数迫使  ModelC 必须提供自己的 fly 版本//...}

0 0