迭代器两种失效问题

一、迭代器函数内失效

1.现在我们来看看，vector提供的insert函数中内部的失效的具体原因。代码如下：

void insert(iterator pos, const T& x)
		{
			assert(pos >= _start);
			assert(pos <= _finish);
			if (_finish == _end_of_storage)
			{
				reserve(capacity() == 0 ? 4 : capacity() * 2);
			}
			size_t end = size() - 1;
			while (_start + end >= pos)
			{
				*(_start + end + 1) = *(_start + end);
				end--;
			}
			*pos = x;
			_finish++;

		}

这是当调试到103行时，pos的值还是1，没问题。

可是调到108行时，pos变成了随机值，什么原因呢？

这是因为我们一开始给的空间为4，当插入的数据大于4，就回发生扩容，导致了，迭代器pos指向了随机值。这就是insert内部，迭代器失效的原因。解决方法如下：

当需要扩容时，我们更新一下，迭代器pos就可以了。

二、迭代器在外部失效

前提是vector中的erase实现如下:

void erase(iterator pos)
		{
			assert(pos >= _start);
			assert(pos < _finish);
			iterator end = pos + 1;
			while (end < _finish)
			{
				*(end - 1) = *end;
				end++;
			}
			_finish--;
		}

当我们有这样的需求，把下列三组数据的所有偶数都删除

执行下面代码，会出现三种情况

auto it=v.begin();
while(it!=v.end())
{
   if((*it)%2==0)
     {
       v.erase(it);
     }
    it++;
}

为啥会出现这种情况呢？

因为当你删到偶数是pos的位置将由下一个数取代，而你还要++it，将it加到了pos的下下的位置的数，这就是出现这三种情况的原因。解决方法如下：

将erase实现为有返回值的

iterator erase(iterator pos)
		{
			assert(pos >= _start);
			assert(pos < _finish);
			iterator end = pos + 1;
			while (end < _finish)
			{
				*(end - 1) = *end;
				end++;
			}
			_finish--;
			return pos;
		}

这样不管是删除偶数还奇数都没问题！