Effective C++条款38：继承与面向对象之（通过复合塑模出has-a或“根据某物实现出”）

一、类的复合关系

• 复合：是类型之间的一种关系，是指在某种类型的对象内包含其他类型的对象
• 复合（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（根据某物实现出）