首页 > 代码库 > Effective C++:条款39:明智而审慎地使用private继承
Effective C++:条款39:明智而审慎地使用private继承
(一)
(1)private继承意味着“依据某物实现出”。仅仅有实现部分被继承。接口部分应略去;
(2)它仅仅在软件“实现”层面上有意义,在软件“设计”层面上没有意义。
(3)private继承而来的基类成员都会在派生类中成为private属性,纵使它们在base class中原本是protected或public属性;
(4)假设类之间是private继承关系。编译器不会自己主动将一个派生类对象转换为基类对象。
(5)D类以私有形式继承B类,意味着。D对象依据B对象实现而得,再没有其它意涵了。
(二)
private继承和复合都是“依据某物实现出”,在设计时应尽量使用复合,少使用private继承。
原因有:
(1)private继承可以又一次定义基类中的虚函数(即使不能调用),非常多情况下是应该阻止的。而复合非常easy控制成员的訪问权限。
(2)复合可以使编译依赖性减少。
可是。在所谓的“空白基类最优化”(EBO)情况下可能会须要private继承:对于一个不包括不论什么成员变量和成员函数的空类对象成员,假设以复合方式调用,会占用一些内存(C++规定凡是独立(非附属)对象都必须有非零大小,注意它不适用于派生类中的基类成分这一情况),而在採用继承的情况下不会占用内存。这样的情况非常少见,绝大多数情况下还是应当遵循“宁可使用复合,不使用private继承“的原则。
class Empty { }; class HoldsAnInt { private: int x; Empty e; };sizeof(HoldsAnInt) > sizeof(int)。在大多数编译器中,sizeof(Empty)的大小是1。由于面对“大小为零的独立对象”。通常c++官方勒令默默安插一个char到空对象内。
然而齐位需求(alignment)可能造成编译器为类似HoldsAnInt这种class加上一些衬垫(padding),所以有可能HoldsAnInt对象不仅仅多一个char大小,实际上放大到多一个int。
class HoldsAnInt: private Empty{ private: int x; };差点儿能够确定sizeof(HoldsAnInt) == sizeof(int)。
class Timer { public: explicit Timer(int tickFrenquency); virtual void onTick() const; ... };
合适的方法有两种:
(2)採用public继承和复合的方法:
class Timer { public: explicit Timer(int tickFrenquency); virtual void onTick() const; ... }; class Widget{ private: class WidgetTimer : public Timer{ public: virtual void onTick() const; ... }; WidgetTimer timer; ... };
见条款31.
(1)Private继承意味着is-implementd-in-terms-of(依据某物实现出)。它通常比复合(composition)的级别低。
当derived class须要訪问protected base class的成员,或须要又一次定义继承而来的virtual函数时候,这么设计是合理的。
这对置于"对象尺寸最小化"的程序库开发人员而言,可能非常重要。
Effective C++:条款39:明智而审慎地使用private继承