本文主要是介绍Effective C++ 6.继承与面向对象设计,希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!
条款32:确定你的public继承塑模出is-a关系
以C++进行面向对象编程,最重要的一个规则是:public inheritance(公有继承)意味is-a(是一种)的关系。
如 果你令class D以public形式继承class B,你便是告诉C++编译器(以及你的代码读者)说,每一个类型为D的对象同时也是一个类型为B的对象,反之不成立。你的意思是B比D表现出更一般化得概 念,而D比B表现出更特殊化的概念。你主张:“B对象可派上用场的任何地方,D对象一样可以派上用场”,因为每一个D对象都是一种(是一个)B对象。反之 如果你需要一个D对象,B对象无法效劳,因为虽然每个D对象都是一个B对象,反之并不成立。
在C++领域中,任何函数如果期望获得一个类型为基类的实参(而不管是传指针或是引用),都也愿意接受一个派生类对象(而不管是传指针或是引用)。(只对public继承才成立。)
好的接口可以防止无效的代码通过编译,因此你应该宁可采取“在编译期拒绝”的设计,而不是“运行期才侦测”的设计。
请记住:
- “public继承”意味is-a。适用于base classes身上的每一件事情一定也使用于derived classes身上,因为每一个derived classes对象也都是一个base classes对象。
- private继承 意味着 has-a.
-
条款33:避免遮掩继承而来的名称
C++的名称遮掩规则所做的唯一事情就是:遮掩名称。至于名称是否是相同或不同的类型,并不重要。即,只要名称相同就覆盖基类相应的成员,不管是类型,参数个数,都无关紧要。派生类的作用域嵌套在基类的作用域内。
C++的继承关系的遮掩名称也并不管成员函数是纯虚函数,非纯虚函数或非虚函数等。只和名称有关。
如果你真的需要用到基类的被名称遮掩的函数,可以使用using声明式,引入基类的成员函数。
请记住:
- derived calsses内的名称会遮掩base classes内的名称。在public继承下从来没有人希望如此。
- 为了让被遮掩的名称再见天日,可使用using声明式或转交函数(forwarding function)
using 的声明式:
class Base{private:int x;public:virtual void mf1() = 0;virtual void mf1(int);
virtual void mf2();void mf3();void mf3(double);......};
class Derived: public Base{public:virtual void mf1();virtual void mf3();virtual void mf4();}
此时所有基类的 mf1 和 mf3() 函数都被遮盖了。
{private:int x;public:virtual void mf1() = 0;virtual void mf1(int);
virtual void mf2();void mf3();void mf3(double);......};
class Derived: public Base{public:using Base::mf1;using Base::mf3;
virtual void mf1();virtual void mf3();virtual void mf4();}
// 则此时可以使用Base类中的。 mf1(int) mf3(double)
或者使用转交函数(Forwarding Function)class Base{private:int x;public:virtual void mf1() = 0;virtual void mf1(int);
virtual void mf2();void mf3();void mf3(double);......};
class Derived: public Base{public:virtual void mf1() // 成了inline函数。{Base::mf1(5);}}
条款34:区分接口继承和实现继承
表面上直截了当的public继承概念,经过更严密的检查之后,发现它由两部分组成:函数接口继承和函数实现继承。
- 成员函数的接口总是会被继承。
- 声明一个纯虚函数的目的是为了让派生类只继承函数接口。
- 声明一个虚函数的目的是让派生类继承该函数的接口和缺省实现。
- 声明一个非虚函数的目的是为了令派生类继承函数的接口及一份强制性实现。
请记住:
- 接口继承和实现继承不同。在public继承之下,derived classes总是继承base class的接口。
- pure virtual函数只具体制定接口继承。
- 简朴的(非纯)impure virtual函数具体制定接口继承及缺省实现继承。
- non-virtual函数具体制定接口继承以及强制性实现继承。
条款35:考虑virtual函数以外的其它选择
请记住:
1. virtual函数的替代方案包括NVI手法及Strategy设计模式的多种形式。NVI手法自身是一个特殊形式的Template Method设计模式。
NVI手法 Non-Virtual Interface 主张virtual函数应该几乎总是private 保留接口函数为public成员函数并让它为non-virtual 并且调用
一个private virtual函数(例如 doHealthValue)进行实际工作:
// template Method 设计模式
class CGameCharacter
{
public:
// Virtual 函数覆盖器
int healthValue() const // derived classes 不重新定义它
{
... ...
int retVal = doHealthValue();
... ...
return retVal;
}
private: // 或者考虑子类继承问题,将其 private 设置成 protected
virtual int doHealthValue() const // derived class 可以重新定义它
{
... ... // 缺省算法
}
};
将机能从成员函数移到class外部函数,带来的一个缺点是,非成员函数无法访问class的non-public成员。
2. 函数指针实现功能来替代 virtual 的实现.
class GameCharacter;
// 以下是缺省的算法
int defaultHealthCalc(const GameCharacter& gc);
class GameCharacter
{
public:
typedef int (*HealthCalcFunc)(const GameCharacter&); // 函数指针
// 构造 禁止隐转换
explicit GameCharacter(HealthCalcFunc hcf = defaultHealthCalc): healthFunc(hcf) {}
// 调用各个函数指针
int healthValue() const
{
return healthFunc(*this);
}
private:
HealthCalcFunc healthFunc;
};
// Strategy 设计模式的简单应用。
(2.1) 同一类型之不同实体可以有不同的健康计算函数:
class EvilBadGuy: public GameCharacter
{
public:
explict EvilBadGuy(HealthCalcFunc hcf = defaultHealthCalc): GameCharacter(hcf) {...}
... ...
};
int loseHealthQuickly(const GameCharacter&); // 健康指数计算函数1
int lostHealthSlowly(const GameCharacter&); // 健康指数计算函数2
EvilBadGuy ebg1(loseHealthQuickly);
EvilBadGuy ebg2(lostHealthSlowly);
(2.1) 可以在运行时变更其计算函数 可以提供一个成员函数 setHealthCalculator 用来替换当前的健康指数计算函数。
tr1::function对象的行为就像一般函数指针。这样的对象可接纳“与给定之目标签名式(target signature)兼容”的所有可调用物(callable entities)。
一般的函数指针
class GameCharacter;
int defaultHealthCalc(const GameCharacter& gc);
class GameCharacter
{
public:
// HealthCalcFunc可以是任何的 “可调用无”, 可被调用并接受任何兼容于 GameCharacter之物,
// 返回任何兼容于int的东西
typedef std::tr1::function<int (const GameCharacter&)> HealthCalcFunc; // 函数指针
// 构造 禁止隐转换
explicit GameCharacter(HealthCalcFunc hcf = defaultHealthCalc): healthFunc(hcf) {}
// 调用各个函数指针
int healthValue() const
{
return healthFunc(*this);
}
private:
HealthCalcFunc healthFunc;
};
条款36:绝不重新定义继承而来的non-virtual函数
请记住:
绝对不要重新定义继承而来的non-virtual函数。
条款37:绝不重新定义继承而来的缺省参数值
对于non-virtual函数,上一条款说到,“绝不重新定义继承而来的non-virtual函数”,而对于继承一个带有缺省参数值的virtual函数,也是如此。即绝不重新定义继承而来的缺省参数值。因为:virtual函数系动态绑定(dynamically bound),而缺省参数值确实静态绑定(statically bound)。意思是你可能会在“调用一个定义于派生类内的虚函数”的同时,却使用基类为它所指定的缺省参数值。
请记住:
绝对不要重新定义一个继承而来的缺省参数值,因为缺省参数值都是静态绑定,而virtual函数——你唯一应该覆写的东西——却是动态绑定。
条款38:通过符合塑模出has-a或“根据某物实现出”
请记住:
复合(composition)的意义和public继承完全不同。
在应用域(application domain),复合意味has-a(有一个)。在实现域(implementation domain),复合意味is-implemented-in-terms-of(根据某物实现出)。
条款39: 明智而审慎地使用private继承(Use private inheritance judiciously)
本条款主要介绍private继承的特点和使用场合。
(1)Private继承意味is-implemented-in-terms-of(根据某物实现出)。特点是:如果class之间的继承关系是private,编译器不会自动将一个derived class对象转化为一个base class对象;由private base class继承而来的所有成员,在derived class中都会变成private属性,纵使它们在base class中原来是protected或public属性。
(2)主要有三种使用场合:两个“并不存在is-a关系”的classes,其中一个需要访问另一个的protected成员;或需要重新定义其一个或多个virtual函数。另一种情况是,需要对empty classes的空间最优化,如下面的代码:
class Empty{ }; //empty class
class HoldsAnyInt{
private:
int x;
Empty e;
};//sizeof(HoldsAnyInt) > sizeof(int)。Empty空对象需要安插一个char到空对象,并且有齐位需求。
class HoldsAnyInt::private Empty{
private:
int x;
}; //sizeof(HoldsAnyInt) == sizeof(int),这个就是EBO(empty based optimization)。
//实际应用中,类Empty中可以放入typedefs,enums,static成员变量,或non-virtual函数。STL中有很多例子。
条款40:明智而审慎地使用多重继承(Use multiple inheritance judiciously)
本条款主要介绍多重继承的特点和使用场合。
(1)多重继承比单一继承复杂,可能导致新的歧义性(同名时,不知道访问哪个基类的成员),以及对virtual继承的需要(任何派生类中的virtual基类总是用一个共享对象表示)。但是,Virtual继承会增加大小、速度、初始化复杂度等等成本。如果virtual base classed不带任何数据,Virtual继承将是最具使用价值的情况。
(2)多重继承的一个适用场合:“public继承某个Interface class”和“private继承某个协助实现的class”的两两组合。
这篇关于Effective C++ 6.继承与面向对象设计的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!