【C++】 ——迭代器失效的两种情况？

1、什么是迭代器失效

（可能你一上来，面试官就会问你这个问题了）我简单总结一句：迭代器失效就是因为插入和删除，使得原本可以访问到容器内迭代器的元素，变得无法再访问。因为插入和删除可能更改了元素在内存中的位置，原来迭代器指向的位置不再存储原有的值。

2、map的迭代器失效

要想说迭代器失效问题，我们就得来看看迭代器为啥会失效？先来看一个题，很简单，就是删除map中可以被n整除的数字。可能第一眼我们这么写：

#include <iostream>
#include <stdlib.h>
#include <map>
using namespace std;
typedef map<int,int> _map;
typedef map<int, int> ::iterator it;

void print(_map& m)
{
	it _it;
	for (_it = m.begin(); _it != m.end(); _it++)
	{
		cout << _it->first << ":" << _it->second << endl;
	}
	cout << endl;
}
void Delete(_map& m, int n)  //删除可以被n整除的数
{
	it _it;
	for (_it = m.begin(); _it != m.end(); _it++)
	{
		if (_it->second % n == 0)
		{
			m.erase(_it);
		}
	}
}
int main()
{
	_map m;
	for (int i = 0; i < 20; i++)
	{
		m[i] = i;
	}
	cout << "map中原来的数是：" << endl;
	print(m);
	Delete(m, 5);//删除被5整除的数
	print(m);
	system("pause");
	return 0;
}

很可惜，程序崩了。看中间那个提示信息：canont increment value-initialized map/set iterator，就是说明跟迭代器失效有关

map是关联式的容器，底层是红黑树或者平衡二叉树组织数据，虽然只删除了一个元素，整棵树也会调整，以符合红黑树或者二叉树的规范，但是单个节点在内存中地址没有变化，变化的是节点之间的指向关系
这样改进：

void Delete(_map& m, int n)  //删除可以被n整除的数
{
	it _it;
	for (_it = m.begin(); _it != m.end();/*不自增*/)
	{
		if (_it->second % n == 0)
		{
			m.erase(_it++); //先自增再删除
		}
		else
			_it++;
	}
}

因为m.erase（_it++）的执行顺序中，会先采取右结合的方式，也就是先执行++,此时erase还没有执行，程序当然不会崩溃，当_it++执行结束后，已经指向下一个元素了，但是他的返回值还是当前元素，此时删除它，合情合理。以下是结果截图：

OK，以上是map的迭代器失效问题，就是删除的时候会产生。那是vector的迭代器失效是什么意思呢？

3、vector的迭代器失效

跟上个题一样，删除vector中能被n整除的数：

#include <iostream>
#include <stdlib.h>
#include <vector>
using namespace std;
typedef vector<int> v;
typedef vector<int> ::iterator it;

void print(v& _v)
{
	it _it;
	for (_it = _v.begin(); _it != _v.end(); _it++)
	{
		cout << *_it << " ";
	}
	cout << endl;
}
void Delete(v& _v, int n)  //删除可以被n整除的数
{
	it _it;
	for (_it = _v.begin(); _it != _v.end(); _it++)
	{
		if (*_it % n == 0)
		{
			_v.erase(_it);
		}
	}
}
int main()
{
	vector<int> v;
	for (int i = 0; i < 20; i++)
	{
		v.push_back(i);
	}
	cout << "vector中原来的数是：" << endl;
	print(v);
	cout << "删除被5整除的数是：" << endl;
	Delete(v, 5);//删除被5整除的数
	print(v);
	system("pause");
	return 0;
}

触发了异常：

对于系列是容器vector，删除当前的iterator会使得后面所有元素的iterator都会失效，这是因为顺序容器内存是连续分配，删除一个元素会导致后面所有的元素都会向前移动一个位置，其他数据的地址发生了变化，所以_it++已经指向了一个未知内存。
改进方法跟上个题一样，我们先不让它自增，但是稍微有点差异：

void Delete(v& _v, int n)  //删除可以被n整除的数
{
	it _it;
	for (_it = _v.begin(); _it != _v.end();)
	{
		if (*_it% n == 0)
		{
			_it=_v.erase(_it);  //vector元素自动向前挪动了，map不会向前挪动，所以不能把_it++
		}
		else
			_it++;
	}
}

修改后的运行结果：

迭代器的后置++的底层实现是返回一个临时变量的引用，然后再增1，vector容器是线性连续的存储空间，他的野指针自增1可能不会崩溃，所以出现了上图的异常，map的底层实现结构式红黑树，分配的地址空间不连续，所以会崩溃

总结：

迭代器失效分为三种情况考虑，分别是数组形，链表形和树形数据结构
数组型：该数据结构的元素分配在连续的内存中，insert和erase操作，都会使得删除点和插入点之后的元素挪动位置，所以，插入点和删除之后的迭代器会失效
解决方法：_it=_v.erase(_it);

链表形：对于list形的数据结构，使用了不连续分配的内存，删除运算使得指向删除位置的迭代器失效，但是不会失效其他迭代器。
解决办法：erase(_it++)

树形数据结构：是用红黑树来存储结构，插入不会使得任何迭代器失效，但是删除会使得得删除元素位置的迭带器失效,不会使其他位置的迭代器失效。 解决办法：erase(it++);