C/C++编程：通过复合塑膜出has-a或者”根据某物实现出“

旧城等待， 2023-01-20 08:12 15阅读 0赞

# 怎么做 #

**复合**(composition)是类型之间的一种关系，**当某种类型的对象内含其他类型的对象**，就是这种关系。比如：

class Address {
        ...};
    class PhoneNumber {
        ...};
    
    class Person{
        
    public:
    private:
    	std::string name;
    	Address address;
    	PhoneNumber voiceNumber;
    	PhoneNumber faxNumber;
    };

上面Person对象由string、Address、PhoneNumber 构成。

**复合**这个术语有很多同义词：layering(分层)、containment(内含)，aggregate(聚合)、embedding(内嵌)

[C/C++编程：确定你的public继承塑模出is-a关系][C_C_public_is-a]提出，public继承带有is-a关系的意义，而复合也有自己的意义。实际上，他有两个意义：

*  has-a
 *  is-implement-in-terms-of（根据某物实现出）

上面的Person类的has-a：Person**有**一个名称、一个地址以及语音号码和传真号码。这很容易区分is-a(是)和has-a(有)。

比较麻烦的是区分is-a和is-implement-in-terms-of（根据某物实现出）两种关系。假设你需要一个模板，希望制造出一组类来表示由不重复对象组成的sets。由于应该尽可能的复用，应该第一选择是采用标准库提供的set模板。

不幸的是set的实现往往会导致”每个元素耗用三个指针“的额外开销。因为sets通常以平衡查找树实现。当速度比空间重要，这是个合乎情理的设计。**但如果你的程序空间比速度重要呢**？那么标准程序库的set提供给你的是个错误决定下的取舍。你还是**需要自己写一个模板**

set有很多实现方法，其中一种是在底层采用linked lists。因此我们可以复用标准程序库中的list模板。

更明确的说，你决定令这个set模板继承std::list：

template<typenme T>
    class Set : public std::list<T>{
        } //错误做法

这似乎是正确的，但是不是。上面的public继承意味着如果D是一种B，对B为真的每一件事情对D也应该为真。但是list可以内含重复元素，而set不可以内含重复元素。也就是说”set是一种list对象“并不为真，即这两个类之间并非is-a关系，所以不能用public继承。

正确的做法是：set对象可以根据一个list对象实现出来：

template<class T> //将list应用于set的正确做法
    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;  //用来表述set的数据
    };
    
    template<typename T>
    bool Set<T>::member(const T& item) const{
        
    	return std::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 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与list的关系不是is-a，而是is-implement-in-terms-of（根据某物实现出）

[C_C_public_is-a]: https://blog.csdn.net/zhizhengguan/article/details/116652892