私有继承和组合(composition)有什么区别？

 

私有继承是组合的一种语法上的变形（聚合或者 “有一个”） 

例如，“汽车有一个(has-a)引擎”关系可以用单一组合表示为：

class Engine {
public:
Engine(int numCylinders);
void start(); // Starts this Engine
};
class Car {
public:
Car() : e_(8) { } // Initializes this Car with 8 cylinders
void start() { e_.start(); } // Start this Car by starting its Engine
private:
Engine e_; // Car has-a Engine
};

同样的“有一个”关系也能用私有继承表示：

class Car : private Engine { // Car has-a Engine
public:
Car() : Engine(8) { } // Initializes this Car with 8 cylinders
using Engine::start; // Start this Car by starting its Engine
};

两种形式有很多类似的地方：

* 两种情况中，都只有一个 Engine 被确切地包含于 Car 中
* 两种情况中，在外部都不能将 Car* 转换为 Engine*
* 两种情况中，Car类都有一个start()方法，并且都在包含的Engine对象中调用start()方法。

也有一些区别：

* 如果你想让每个 Car都包含若干 Engine，那么只能用单一组合的形式
* 私有继承形式可能引入不必要的多重继承
* 私有继承形式允许 Car 的成员将 Car* 转换成Engine*
* 私有继承形式允许访问基类的保护（protected）成员
* 私有继承形式允许 Car 重写 Engine 的虚函数
* 私有继承形式赋予Car一个更简洁（20个字符比28个字符）的仅通过 Engine调用的start()方法

注意，私有继承通常用来获得对基类的 protected: 成员的访问，但这只是短期的解决方案（权宜之计）