C++中Iterator失效问题与运算符的算子运算顺序

原因是在VS下定义了一下的一个函数，但是在使用的时候出现了错误。

template <class VEC_ITEM>
bool remove(typename std::vector<VEC_ITEM>& vec,const VEC_ITEM& val)
{
	return vec.erase(
		std::remove(vec.begin(),vec.end(),val),
		vec.end()) != vec.end();
}

在Debug模式下运行就会出现imcompatible iterator type的assertion failed。

错误是在"!="的地方出现错误，仔细想想，这里到底会有什么错误呢？

而如果使用下面的函数定义，则不会出现错误。

template <class VEC_ITEM>
bool remove1(typename std::vector<VEC_ITEM>& vec,const VEC_ITEM& val)
{
	typename std::vector<VEC_ITEM>::iterator iter = vec.erase(
		std::remove(vec.begin(),vec.end(),val),
		vec.end());
	return iter != vec.end();
}

而下面这个remove1和上面的差别就只是我们将erase的结果存了一下再比较。

所以实际上，问题就是出现在这个erase和!=这两个操作的时序上。

由于!=是双目运算符，他的两个运算子的运算顺序是编译器依赖的，也就是我们没有办法确定在expr1 != expr2中，到底是expr1还是expr2先被运算。

所以在这个上面的remove函数中，我们没有办法确定是vec.end()先运算还是vec.erase先运算；如果是vec.end()先运算的话，则end iterator会在erase之后失效，从而出现问题。

而在remove1里面则强制了这两个运算的时序性，从而去掉了这个和运算符算子运算顺序有关的bug。