如果class之间的继承关系是private,编译器不会自动将一个derived class对象转换为一个base class对象。由private base class继承而来的所有成员,在derived class中都会变成private属性,纵使它们在base class中原本是protected或public属性。
private继承意味implemented-in-terms-of(根据某物实现出)。如果你让class D以private形式继承class B,你的用意是为了采用class B内已经备妥的某些特性,不是因为B对象和D对象存在有任何观念上的关系。private继承纯粹只是一种实现技术(这就是为什么继承自一个private base class的每样东西在你的class内部是private:因为它们都只是实现枝节而已)。private继承意味只有实现部分被继承,接口部分应略去。如果D以private形式继承B,意思是D对象根据B对象实现而得,再没有其他意涵了。private继承在软件“设计”层面上没有意义,其意义只及于软件实现层面。
private继承意味implemented-in-terms-of(根据某物实现出),这个事实有点令人不安,因为条款38才刚指出复合(composition)的意义也是这样。如何在两者之间取舍?答案很简单:尽可能使用复合,必要时才使用private继承。何时必要:主要是当protected成员和/或virtual函数牵扯进来的时候。其实还有一种激进情况,那是当空间方面的厉害关系足以踢翻private继承的支柱时。
private继承主要用于“当一个意欲成为derived class者想访问一个意欲成为base class者的protected成分,或为了重新定义一个或多个virtual函数”。但这时候两个class之间的概念关系其实是is-implemented-in-terms-of(根据某物实现出)而非is-a。然而,有一种激进情况涉及空间最优化,可能会促使你选择“private继承”而不是“继承加复合”。
class不带任何数据时,这样的class没有non-static成员变量,没有virtual函数(因为这种函数的存在会为每个对象带来一个vptr),也没有virtual base class。于是这种所谓的empty class对象不使用任何空间,因为没有任何隶属对象的数据需要存储。然后由于技术上的理由,C++裁定凡是独立(非附属)对象都必须有非零大小。所以如果这样做:
class Empty {};//没有数据,所以其对象应该不使用任何内存
class HoldsAnInt {
private:
int x;
Empty e;
};
结果会发现sizeof(HoldsAnInt)>sizeof(int)
;一个Empty成员变量竟然要求内存。在大多数编译器中sizeof(Empty)获得1,因为面对“大小为零之独立(非附属)对象”,通常C++官方勒令默默安插一个char到空间对象内。
但是,这个约束不适用于derived class对象内的base class成分,因为它们并非独立(非附属)。如果继承Empty,而不是内含一个那种类型的对象:
class HoldsAnInt: private Empty {
private:
int x;
};
几乎可以确定sizeof(HoldsAnInt)==sizeof(int)。这是所谓
EBO(empty base optimization;空白基类最优化)。如果你是一个程序库开发人员,而你的客户非常在意空间,那么值得注意EBO。另外还值得知道的是,
EBO一般只在单一继承(而非多重继承)下才可行,通知C++对象布局的那些规则通常表示EBO无法被施行于“拥有多个base”的derived class身上。
现实中的“empty”class并不真的是empty。虽然它们从未拥有non-static成员变量,却往往内含typedef,enum,static成员变量,或non-virtual函数。STL就有许多技术用途的empty class,其中内含有用的成员(通常是typedef),包括base class unary_function和binary_function,这些是“用户自定义之函数对象”通常会继承的class。感谢EBO的广泛实践,使这样的继承很少增加derived class的大小。
复合和private继承都意味is-implemented-in-terms-of,但复合比较容易理解,所以无论什么时候,只要可以,还是应该选择复合。
当面对“并不存在is-a关系”的两个class,其中一个需要访问另一个的protected成员,或需要重新定义其一或多个virtual函数,private继承极有可能成为正统设计策略。即便如此你已经看到,一个混合了public继承和复合的设计,往往能够释出你要的行为,尽管这样的设计有较大的复杂度。“明智而审慎地使用private继承”意味,在考虑过所有其他方案之后,如果仍然认为private继承是“表现产需内两个class之间的关系”的最佳办法,这才用它。
要点:
1.private继承意味is-implemented-in-terms of(根据某物实现出)。它通常比复合(composition)的级别低。但是当derived class需要访问protected base class的成员,或需要重新定义继承而来的virtual函数时,这么设计是合理的。
2.和复合(composition)不同,private继承可以造成empty base最优化。这对致力于“对象尺寸最小化”的程序库开发者而言,可能很重要。