《STL源码剖析》学习笔记-第6章（一） set相关算法

STL中定义的set要求元素不得重复且已经排序。而set算法要求的都是有序区间（输出也是有序的），但元素可以重复出现。

STL提供了4个set相关的算法，分别是并集（union）、交集（intersection）、差集（difference）和对称差集（symmetric difference），这4个算法接受的set必须是有序区间，都至少接受4个参数，分别表示两个set区间。一般而言，set算法前4个参数分别表示两个区间，第五个参数表示存放结果的区间的起始位置。

1、set_union

求两个集合的并集，能够造出S1 U S2，此集合内含S1或S2内的每一个元素。如果某个值在S1出现n次，在S2出现m次，那么该值在输出区间中会出现max(m, n)次。

返回值为一个迭代器，指向输出区间的尾端。

是一种稳定操作，输入区间内的每个元素相对顺序都不会改变。

//并集，求存在于[first1, last1)或存在于[first2, last2)内的所有元素  
//注意：输入区间必须是已排序  
//版本一,默认是operator<操作的排序方式  
template <class InputIterator1, class InputIterator2, class OutputIterator>  
OutputIterator set_union(InputIterator1 first1, InputIterator1 last1,  
    InputIterator2 first2, InputIterator2 last2,  
    OutputIterator result) {  
    //两个区间都尚未到达区间尾端，执行以下操作  
    while (first1 != last1 && first2 != last2) {  
        /*在两区间内分别移动迭代器，首先将元素较小者(假设为A区)记录在目标区result，
        移动A区迭代器使其前进；同时另一个区的迭代器不变。然后进行一次新的比较， 
        记录较小值，移动迭代器...直到两区间中有一个到达尾端。
        若元素相等， 默认取第一区间元素到目标区result，同时移动两个迭代器.*/  
        if (*first1 < *first2) {  
            *result = *first1;  
            ++first1;  
        }  
        else if (*first2 < *first1) {  
            *result = *first2;  
            ++first2;  
        }  
        else {  
            *result = *first1;  
            ++first1;  
            ++first2;  
        }  
        ++result;  
    }  
    /*只要两区间之中有一个区间到达尾端，就结束上面的while循环
    以下将尚未到达尾端的区间剩余的元素拷贝到目标区 
    此刻，[first1, last1)和[first2, last2)至少有一个是空区间*/  
    return copy(first2, last2, copy(first1, last1, result));  
}  
//版本二,用户根据仿函数comp指定排序规则  
template <class InputIterator1, class InputIterator2, class OutputIterator,class Compare>  
OutputIterator set_union(InputIterator1 first1, InputIterator1 last1,  
    InputIterator2 first2, InputIterator2 last2,  
    OutputIterator result, Compare comp) {  
    while (first1 !