一、类的复合关系
- 复合:是类型之间的一种关系,是指在某种类型的对象内包含其他类型的对象
- 复合(composition)还有一些其他的同义词,例如layering(分层),containment(内含),aggregation(聚合)、embedding(内嵌)
- 例如:
class Address {};
class PhoneNumber {};
//此类为复合类型
class Person
{
public:
//...
private:
std::string name;
Address address;
PhoneNumber voiceNumber;
PhoneNumber faxNumber;
};
二、复合有两种意义
- 在条款32中,我们介绍了“public继承”中的is-a(是一种)的意义
- 复合包含两个意义:
- ①has-a(有一个):通常用于应用域中
- ②is-implemented-in-terms-of(根据某物实现出):通常用于实现域中
三、“has-a”的意义
- has-a代表:在一个类型中有其他的类型
- 例如在文章最开始的代码中,Person类中拥有Address类型、PhoneNumber类型,因此Person类就有着has-a的意义
四、“is-implemented-in-terms-of”的意义
- is-implemented-in-terms-of(根据某物实现出)代表:以某种类型来实现另一种类型
- 举例来说:
- C++ STL库中的set和map容器,底部都是以红黑树结构实现的,该set和map就有着“is-implemented-in-terms-of”的意义,因为其是根据红黑树结构实现处的
- 还有一个例子就是,C++ STL库中的stack和queue容器,其内部可以以vector、list等容器实现,因此stack和queue就有着“is-implemented-in-terms-of”的意义
演示案例
- 现在我们有一个需求:
- 我们不想使用STL提供的set容器,而是想自己定义一个Set容器
- 并且为了实现方便,我们想借助STL中list容器的方法来实现Set容器
- 一种错误的做法如下,错误的原因是:
- list是元素可重复的,而set的元素时元素不重复的
- 因此这种继承体系违反了is-a的关系
//直接继承于std::list,在内部直接调用list的方法来实现Set
template<typename T>
class Set :public std::list<T>
{
//...
};
- 如果采取“is-implemented-in-terms-of”手法,那么正确的方法是采取下面的方式:
//“is-implemented-in-terms-of”手法
template<typename T>
class Set
{
public:
bool member(const T& item)const;
void insert(const T& item);
void remove(const T& item);
std::size_t size()const;
private:
std::list<T> rep; //底层以std::list实现
};
template<typename T>
bool Set<T>::member(const T& item)const
{
return std::find(rep.begin(), rep.end(), item);
}
template<typename T>
void Set<T>::insert(const T& item)
{
if (!member(item))
rep.push_back(item);
}
template<typename T>
void Set<T>::remove(const T& item)
{
//关于typename,参阅条款42
typename std::list<T>::iterator it
= std::find(rep.begin(), rep.end(), item);
if (it != rep.end())
rep.erase(it);
}
template<typename T>
std::size_t Set<T>::size()const
{
return rep.size();
}
- 在上面的代码中,我们将Set的所有工作都交给了底层的std::list去完成,因此很容易理解“is-implemented-in-terms-of(根据某物实现出)”是什么意思了
五、总结
- 复合的意义和public继承完全不同
- 在应用域,复合意为has-a(有一个)。在实现域,复合意味着is-implemented-in-terms-of(根据某物实现出)