C++集合操作之集合对称差集：std::set_symmetric_difference

C++集合操作之集合对称并集：std::set_symmetric_difference 

  算法std::set_symmetric_difference可以用来求两个集合的对称差集，此处的集合可以为std::set，也可以是std::multiset，但是不可以是hash_set以及hash_multiset。为什么呢？因为std::set_symmetric_difference要求两个区间必须是有序的（从小到大排列），std::set和std::multiset为有序序列，而hash_set以及hash_multiset为无序序列。

  算法std::set_symmetric_difference可构造区间S1,S2的对称差集（出现于S1但不出现于S2的元素以及出现于S2但不出现于S1的元素）;返回值为指向输出区间的尾端。
  由于区间S1，S2内的每个元素都不需唯一，因此，如果某个值在S1中出现m次，在S2中出现n次，那么该值在输出区间中出现的次数为|m-n|.如果m>n，则输出区间的m-n个元素均为均由S1复制而来。否则由S2复制而来。
  std::set_symmetric_difference为稳定操作，即输出区间内的每个元素的相对顺序都和S1内的相对顺序相同。

一定谨记：两个区间必须是有序区间（从小到大）

源代码如下：(原理参考：set_difference)

template<class InputIterator1,class InputIterator2,class OutputIterator>OutputIterator set_symmetric_difference(InputIterator1 first1,InputIterator1 last1,InputIterator2 first2,InputIterator2 last2,OutputIterator result){while (first1!=last1 && first2!=last2) //若均未到达尾端，则进行以下操作{//在两个区间内分别移动迭代器。若二者值相同用result记录该值，移动first1,first2和result//若first1较小，则移动first1，其他不动//若first2较小，则移动first2，其他不动if (*first1<*first2){*result=*first1;first1++;result++;}else if (*first2<*first1){*result=*first2;first2++;result++;}else{first1++;first2++;}}return copy(first2,last2,copy(first1,last1,result)); }

示例：

int main(void){int iarr1[]={1,3,5,7,9,11};int iarr2[]={1,1,2,3,5,8,13};multiset<int> iset1(begin(iarr1),end(iarr1));multiset<int> iset2(begin(iarr2),end(iarr2));vector<int> ivec(20);    auto iter=set_symmetric_difference(iset1.begin(),iset1.end(),iset2.begin(),iset2.end(),ivec.begin());//ivec为：1,2,7,8,9,11,13ivec.resize(iter-ivec.begin());//重新确定ivec大小return 0;}

其实 ，上述代码并不仅限于对两个集合求对称差集，只要是两个有序区间，均可以用此代码求对称差集。

用于非set场合：

int main(void){int iarr1[]={1,3,5,7,9,11};int iarr2[]={1,1,2,3,5,8,13};std::sort(begin(iarr1),end(iarr1));std::sort(begin(iarr2),end(iarr2));vector<int> ivec(10);  auto iter=set_symmetric_difference(begin(iarr1),end(iarr1),begin(iarr2),end(iarr2),ivec.begin());//ivec为：1,2,7,8,9,11,13ivec.resize(iter-ivec.begin());//重新确定ivec大小return 0;}