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

本文为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 由于client不须要在意飞机能不能飞
	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 由于client不须要在意飞机能不能飞
	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 版本号
	//...
}