Question

iterator not dereferencable 。。。。 求大神，郁闷啊！！！

#include "intset.h"
#include <iostream>
#include <set>
using namespace std;

typedef std::set<int> set_int;
void IntSet::insert(int n){
set_int::insert(n);
}
bool IntSet::IsEqual(IntSet s1){
set<int>::iterator ita,itb;
ita= set_int::begin();
itb=s1.begin();
if( set_int::size()!=s1.size())
return false;
for(;ita!=set_int::end()&&itb!=s1.end();ita++,itb++){
if((*ita)!=(*itb))
return false;
}
return true;
}

//求s1 与s2 的并
IntSet IntSet::incorporate2(IntSet s1, IntSet s2){
IntSet ss;
set<int>::iterator it;
for(it=s1.begin();it!=s1.end();it++)
ss.insert(*it);
for(it=s2.begin();it!=s2.end();it++)
ss.insert(*it);
return ss;
}

//求s1 与s2 的交
IntSet IntSet::union2(IntSet s1, IntSet s2){
IntSet ss;
set<int>::iterator ita,itb;
ita=s1.begin();
itb=s2.begin();
while(ita !=s1.end()&&itb !=s2.end()){
while(*ita>*itb&&ita !=s1.end()&&itb !=s2.end())
itb++;
if(*ita==*itb&&ita !=s1.end()&&itb !=s2.end()){
ss.insert(*ita);
ita++; //此处出错！
itb++; //此处出错！到达end时没有跳出循环
}
while(*ita<*itb&&ita !=s1.end()&&itb !=s2.end())
ita++;
}
return ss;
}

void IntSet::print(){
set_int::iterator it;
int i=0;
for(it=set_int::begin();it!=set_int::end();it++,i++){
cout<<*it<<'\t';
if(i%6==0)
cout<<endl;
}
cout<<endl;
}

Answer 1

while(*ita>*itb&&ita !=s1.end()&&itb !=s2.end())
itb++;
if(*ita==*itb&&ita !=s1.end()&&itb !=s2.end()){
ss.insert(*ita);
ita++; //此处出错！
itb++; //此处出错！到达end时没有跳出循环
}
while(*ita<*itb&&ita !=s1.end()&&itb !=s2.end())
ita++;
将这三个的关系改成，你的问题貌似就不存在了
if(*ita>*itb&&ita !=s1.end()&&itb !=s2.end())
itb++;
else if(*ita==*itb&& ita !=s1.end()&& itb !=s2.end()){
ss.insert(*ita);
ita++; //此处出错！
itb++; //此处出错！到达end时没有跳出循环
}
else if (*ita<*itb&&ita !=s1.end()&&itb !=s2.end())
{
ita++;
}探究一下为什么呢？

追问

可是我在每一次的循环和if中都使用了ita !=s1.end()&&itb !=s2.end()，还是不懂为什么这样会出错，我在if后面重新检查一次ita !=s1.end()&&itb !=s2.end()，然后就好了，真心不懂.......求解释
if(*ita==*itb&&ita !=s1.end()&&itb !=s2.end()){
ss.insert(*ita);
ita++;
itb++;
}
if((ita==s1.end())||(itb==s2.end()))
break;

追答

实际上当你这个
if(*ita==*itb&&ita !=s1.end()&&itb !=s2.end()){
ss.insert(*ita);
ita++;
itb++;
}
不满足条件时，可能是因为ita == s1.end(),或者itb == s2.end();
假如说是ita == s1.end()造成的，那么你下面做的
while(*ita<*itb&&ita !=s1.end()&&itb !=s2.end())
ita++;
就会出错，因为此时ita已经是一个空指针了

所以使用if{}else if{}else if{}就会避免这种情况了
而你写的这三个语句是顺序执行的，也就是每次大循环这个三个语句都会执行一边。

追问

是不是可以这么理解，在使用ita ==s1.end()比较成功一次之后，ita就会变成NULL,不再等于s1.end()？而在比较之前ita还是等于s1.end()?

追答

不是的，还是等于s1.end()，但是此时你再访问*ita就没有意义了，因为ita 已经是空指针了。
而你原来的程序里面while(*ita<*itb&&ita !=s1.end()&&itb !=s2.end())的判断，是需要先使用*ita的。