32 Make sure public inheritance models “is-a”
- “
public
继承”意味着is-a
。适用于base classes
身上的每一件事情一定也适用于derived classes
身上,以为每一个derived class
对象也都是一个base class
对象。
33 Avoid hiding inherited names
- 如果继承
base class
并加上重载函数,而又希望重新定义或复写其中一部分,那么必须为那些原本会被遮掩的每个名称引入一个using
声明式,否则某些希望继承的名称会被遮掩; using
声明式会令继承而来的某给定名称之所有同名函数在derived class
中都可见;
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:
using Base::mf1;
using Base::mf3;
virtual void mf1();
void mf3();
void mf4();
};
Derived d;
int x;
d.mf1();
d.mf1(x);
d.mf2();
d.mf3();
d.mf3(x);
base class
内的public
名称在publicly derived class
内也应该是public
;- 为了让被遮掩的名称再见天日,可使用
using
声明式或转交函数(forwarding functions
);
class Base{
public:
virtual void mf1() = 0;
virtual void mf1(int);
virtual void mf2();
void mf3();
void mf3(double);
...
};
class Derived : private Base {
public:
virtual void mf1(){
Base::mf1();
}
...
};
Derived d;
int x;
d.mf1();
d.mf1(x);
34 Differentiate between inheritance of interface and inheritance of implementation
pure virtual
函数有两个最突出的特性:它们必须被任何继承了它们的具象class
重新声明,它们在抽象class
中通常没有定义;- 声明一个
pure virtual
函数的目的是为了让derived classes
只继承函数接口; - 声明
impure virtual
函数的目的,是让derived classes
继承该函数的接口和缺省实现; - 由于
non-virtual
函数代表的意义是不变性(invariant
)凌驾特异性(specialization
),所以它绝不该在derived class
中被重新定义;
35 Consider alternatives to virtual functions
virtual
函数的替代方案NVI
手法及Strategy
设计模式的多种形式。NVI
手法自身是一个特殊形式的Template Method
设计模式;- 将机能从成员函数转移到
class
外部函数,带来的一个缺点是,非成员函数无法访问class
的non-public
成员; tr1::function
对象的行为就像一般函数指针。这样的对象可接纳“与给定之目标签名式(target signature
)兼容”的所有可调用物(callable entities
);
36 Never redefine an inherited non-virtual function
non-virtual
函数是静态绑定的,virtual
函数是动态绑定的;- 绝对不要重新定义一个继承而来的
non-virtual
函数
37 Never redefine a function’s inherited default parameter value
virtual
函数是动态绑定,而缺省参数值是静态绑定;- 对象的静态类型是它在程序中被声明时所采用的类型,对象的动态类型是指当前所指对象的类型;
virtual
函数是动态绑定,即调用一个virtual
函数时,究竟调用哪一份函数实现代码,取决于发出调用的那个对象的动态类型;
38 Model “has-a” or “is-implemented-in-terms-of” through composition
- 复合的意义和
public
继承完全不同; - 在应用域,复合意味着
has-a
(有一个),在实现域,复合意味着is-implemented-in-terms-of
(根据某物实现出);
39 Use private inheritance judiciously
- 如果
classes
之间的继承关系是private
,编译器不会自动将一个derived class
对象转换为一个base class
对象; Private
继承意味着is implemented in terms of
,它通常比复合的级别低(即优先使用复合),但是当derived class
需要访问protected base class
的成员,或需要重新定义继承而来的virtual
函数时,这么设计是合理的;- 与复合不同,
private
继承可以造成empty base
最优化。这对致力于“对象尺寸最小化”的程序库开发者而言,可能很重要;
40 Use multiple inheritance judiciously
C++
解析重载函数的规则:在看到是否有个函数可取用之前,C++
首先确认这个函数对此调用之言是最佳匹配,找出最佳匹配函数后才检验其可取用性;- 多重继承比单一继承更复杂。它可能导致新的歧义性,以及对
virtual
继承的需要; virtual
继承会增加大小、速度、初始化(及赋值)复杂度等等成本。如果virtual base classes
不带任何数据,将是最具实用价值的情况;- 多重继承的确有正当用途。其中一个情节涉及“
public
继承某个Interface class
”和“private
继承某个协助实现的class
”的两两组合;