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（根据某物实现出）