首页 > 代码库 > 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。

独立(非附属)这个约束不适用于derived class对象内的base class成分,由于它们并不是独立。假设你继承Empty,而不是内含一个那种类型的对象:
class HoldsAnInt: private Empty{ 
private: 
    int x; 
};
差点儿能够确定sizeof(HoldsAnInt) == sizeof(int)。

所以以这样的形式的话就能够节省内存。


(三)
如果已有计时器Timer类:
class Timer {
public:
    explicit Timer(int tickFrenquency);
    virtual void onTick() const;
    ...
};
如果一个新类Widget想要使用onTick()的功能。能够採用继承的手法:因为public继承是is-a关系,可是他们之间却不存在这样的关系!而且也不应当让客户看到该函数导致误用接口,因此不应当使用公有继承。

合适的方法有两种:

(1)採用私有继承。


(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;
    ...
};
它同一时候使用了public继承和复合,并引入一个新类WidgetTimer,这样能够
(1)防止Widget的derived class又一次定义Timer里的虚函数,既Widget的derived class将无法取用WidgetTimer,因此无法继承它或又一次定义它的virtual函数
(2)使编译依赖性减少至最小。

见条款31.



 请记住:
(1)Private继承意味着is-implementd-in-terms-of(依据某物实现出)。它通常比复合(composition)的级别低。

当derived class须要訪问protected base class的成员,或须要又一次定义继承而来的virtual函数时候,这么设计是合理的。

(2)和复合(compoistion)不同。private继承能够造成empty base最优化。

这对置于"对象尺寸最小化"的程序库开发人员而言,可能非常重要。





Effective C++:条款39:明智而审慎地使用private继承