算法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
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 iset1(begin(iarr1),end(iarr1));
multiset iset2(begin(iarr2),end(iarr2));
vector ivec(20);
auto iter=set_symmetric_difference(iset1.begin(),iset1.end(),iset2.begin(),iset2.end(),ivec.begin()); //ivec为:1,2,7,8,9,11,13
ivec.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 ivec(10);
auto iter=set_symmetric_difference(begin(iarr1),end(iarr1),begin(iarr2),end(iarr2),ivec.begin()); //ivec为:1,2,7,8,9,11,13
ivec.resize(iter-ivec.begin());//重新确定ivec大小
return 0;
}