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最优化。

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