继承关系指明了派生类和基类是is-a的关系,即派生类对象是一个基类对象。
另一种包含关系是has-a关系,即包含对象成员的类。
实现has-a关系的一种方法是包含,另一种方法是私有或保护继承。
使用私有继承,基类的公有成员和保护成员将成为派生类的私有成员,基类的方法将不会成为派生类对象公有接口的一部分,但是可以在派生类的成员函数中使用。
包含将对象作为一个命名的成员对象添加到类中,而私有继承将对象作为一个未被命名的继承对象添加到类中。
私有继承提供的特性和包含相同:获取实现,但不获得接口。
//从两个类派生出来,多重继承
class Student :private string,private std::valarray<double>
{
...
};
关于这两种方法的选择:
我们更倾向于包含类。理由:
-
易于理解。类声明中包含表示被包含对象的显示命名对象,代码可以通过名称引用这些对象,而使用继承将是关系更加抽象。
-
继承容易引发问题,尤其从多个基类继承时,可能必须处理很多问题。
-
包含将能够包括多个同类的子对象,而继承只能使用一个对象(当对象没有名称时,将难以区分)。
私有继承提供的特性比包含多: -
假设基类有保护成员(可能是数据成员,也可能时成员函数),则这些成员在派生类中是可用的,但在继承结构之外是不能使用的。包含就不能访问保护成员了。
-
派生类可以重新定义虚函数,但是包含类不能。
因此,通常使用包含来建立has-a关系;如果新类需要访问原有类的保护成员,或需要重新定义虚函数,则应使用私有继承。