Effective C++：条款38：通过复合塑模出has-a或“根据某物实现出”

浏览数：41 / 时间：2015年06月08日

（一）

public继承是“is-a“的关系，而复合有”has-a“或”根据某物实现出（is-implemented-in-terms-of）“的意思——当复合发生在应用域内的对象之间，表现出has-a关系；当它发生于实现域内则是表示“根据某物实现出”的关系。

应用域部分，相当于你塑造的世界中的某些事物，例如人，汽车等。

后者的对象则是实现细节人工产品(这产品现实世界中是没有的)，像什么mutex，list，container等等。这些对象是你的软件的实现领域。

复合：

class Address{...};
class PhoneNumber{...};
class Person{
      ...
private:
      std::string name_;
      Address address_;
      PhoneNumber voiceNumber_;
      PhoneNumber faxNumber_;
};

（二）

实例：set的构造。标准程序库中有set模板，它“每个元素都耗用三个指针”，是用平衡查找树实现而成，使它们在查找、插入、删除元素时保证拥有log(n)的效率。

可能会想到像这样实现：

让set继承stl::list：

template<typename T> 
class Set : public list<T>{...};   //将list应用于set。错误做法。

这种做法是错误的！因为：public继承是is-a关系，父类能做的，子类也一定能做。但set不是一种list，因为对list为真的某些事情对set对象并不为真。例如，list可以内含重复元素，如果30被安插到list<int>两次，那个list将内含两个30，如果30被安插到set<int>两次，set只内含一个30.
所以这两个classes之间并非is-a关系。不应该是public继承，正确的做法是，set对象可根据一个list对象实现出来：

template <typename T>
class Set {
public:
	bool member(const T& item) const;
	void insert(const T& item);
	void remove(const T& item);
	size_t size() const;
private:
	list<T> rep;
};

template <typename T>
bool Set<T>::member(const T& item) const {
	return find(rep.begin(), rep.end(), item) != rep.end();
}

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 list<T>::iterator it = find(rep.begin(), rep.end(), item);
	if(it != rep.end()) rep.erase(it);
}

template <typename T>
size_t Set<T>::size() const {
	return rep.size();
}

请记住：

（1）复合的意义和public继承完全不同。

（2）在应用域，复合意味着has-a(有一个)。在实现域，复合意味着is-implemented-in-terms-of(根据某物实现出)。