C++：迭代器失效问题

目录

1.vector迭代器失效问题

1.底层空间改变

​编辑 2.指定位置元素的删除操作

2.Linux下的迭代器失效检测

1.扩容

2.删除

3.解决方法

---

1.vector迭代器失效问题

        迭代器的主要作用就是让算法能够不用关心底层数据结构，其底层实际就是一个指针，或者是对指针进行了封装 ，比如： vector 的迭代器就是原生态指针 T* 。因此 迭代器失效，实际就是迭代器底层对应指针所指向的 空间被销毁了，而使用一块已经被释放的空间 ，造成的后果是程序崩溃 ( 即 如果继续使用已经失效的迭代器， 程序可能会崩溃 ) 。

        在C++中，当一个vector进行了插入或删除操作时，其迭代器可能会失效。这是因为在插入或删除操作之后，vector可能会重新分配内存空间，导致原来的迭代器指向的位置不再有效。

可能会导致其迭代器失效的操作有

1.底层空间改变

1. 会引起其底层空间改变的操作，都有可能是迭代器失效 ，比如： resize 、 reserve 、 insert 、 assign 、push_back等。

#define  _CRT_SECURE_NO_WARNINGS
#include
using namespace std;
#include

int main()
{
	vector v;
	v = { 1,2,3,4,5,6 };
	auto it = v.begin();
	//使用reserve扩容，可能会引起底层容量的改变，旧空间释放，但是it依旧使用的时释放前的旧空间
	v.reserve(100);
	while (it != v.end())
	{
		cout << *it << " ";
		++it;
	}

	return 0;
}

我们使用resize 、 reserve 、 insert 、 assign、 push_back等操作都可能会导致扩容， 也就是说vector底层原理旧空间被释放掉， 而在打印时，it还使用的是释放之间的旧空间，在对it迭代器操作时，实际操作的是一块已经被释放的 空间，而引起代码运行时崩溃。

如果我们在扩容后重新赋值即可解决这个问题，可以继续操作it迭代器。

 2.指定位置元素的删除操作

#define  _CRT_SECURE_NO_WARNINGS
#include
using namespace std;
#include

int main()
{
	vector v;
	v = { 1,2,3,4,5,6 };
	//auto it = v.begin();
	//使用reserve扩容，可能会引起底层容量的改变，旧空间释放，但是it依旧使用的时释放前的旧空间
	//v.reserve(100);
	auto it = v.begin();
	while (it != v.end())
	{
		v.erase(it);  //删除it位置的数据，导致迭代器失效
		//这时再对it进行操作就是非法访问
		cout << *it << endl;
		++it;
	}

	return 0;
}

如图中代码，运行会崩溃

erase 删除 pos 位置元素后， pos 位置之后的元素会往前搬移，没有导致底层空间的改变，理论上讲迭代器不应该会失效，但是：如果pos 刚好是最后一个元素，删完之后 pos 刚好是 end 的位置，而 end 位置是没有元素的，那么pos 就失效了。因此删除 vector 中任意位置上元素时， vs 就认为该位置迭代器失效了。

如果在删除后对迭代器it重新赋值，这个时候就不会失效，因为erase返回删除元素下一个位置元素的迭代器。

2.Linux下的迭代器失效检测

Linux 下， g++ 编译器对迭代器失效的检测并不是非常严格，处理也没有 vs 下极端。

1.扩容

运行如下代码：

 

可以运行但是结果已经出错。

2.删除

运行如下代码

可以正常运行，erase删除任意位置代码后，linux下迭代器并没有失效 因为空间还是原来的空间，后序元素往前搬移了，it的位置还是有效的

但是如果删除的是最后一个元素呢

程序崩溃，因为删除最后一个元素，删除后it已经超过end，++it导致程序崩溃

3.解决方法

与 vector 类似， string 在插入 + 扩容操作 +erase 之后，迭代器也会失效

迭代器失效解决办法：在使用前，对迭代器重新赋值即可

1.在进行插入或删除操作之后，更新迭代器的位置，使其指向有效的元素。

2.在进行插入或删除操作之前，先将迭代器保存下来，然后再进行操作之后重新定位迭代器。

3.另外，C++11引入了emplace_back()和emplace()函数，它们可以在vector中直接构造对象，而不是先创建临时对象再插入，这样可以减少迭代器失效的可能性