【面试题】【C++】请你说说迭代器失效原因，有哪些情况

//时间：2023年4月25日15点57分
//知识点：迭代器失效

1. 什么是迭代器失效？

   对容器的操作影响了元素的存放位置，称为迭代器失效。

2. 有哪些情况会导致迭代器失效？

   1. 当容器调用erase()方法后，当前位置到容器末尾元素的所有迭代器全部失效。
   2. 当容器调用insert()方法后，当前位置到容器末尾元素的所有迭代器全部失效。
   3. 如果容器扩容，在其他地方重新又开辟了一块内存。原来容器底层的内存上所保存的迭代器全都失效了。

3. 序列式容器迭代器失效示例

   序列式容器（如 vector, deque）的迭代器失效示例如下：

#include<iostream>
#include<vector>

using namespace std;

int main() {

	vector<int> q{ 1,2,3,4,5,6 };
	// 在这里想把大于2的元素都删除
	for (auto it = q.begin(); it != q.end(); it++) {
		if (*it > 2)
			q.erase(it); // 这里就会发生迭代器失效
	}
	// 打印结果
	for (auto it = q.begin(); it != q.end(); it++) {
		cout << *it << " ";
	}
	cout << endl;

	return 0;
}

   使用 VS2019 运行什么也没打印就退出了进程。调试发现在 vector 源码内的_Vector_const_iterator& operator++()引发了异常：读取访问权限冲突，表明迭代器在执行++操作时报错，因为已经失效的迭代器不能再进行自增运算了。
   迭代器失效的原因是：因为 vetor、deque 使用了连续分配的内存，erase操作删除一个元素导致后面所有的元素都会向前移动一个位置，这些元素的地址发生了变化，所以当前位置到容器末尾元素的所有迭代器全部失效。
   解决方法是利用erase方法可以返回下一个有效的 iterator，所以代码做如下修改即可：

// 在这里想把大于2的元素都删除
for(auto it=q.begin();it!=q.end();)
{
    if(*it>2)
    {
    	it=q.erase(it); // 这里会返回指向下一个元素的迭代器，因此不需要再自加了
    }
    else
    {
    	it++;
    }
}

4. 链表式容器迭代器失效示例

   对于链表式容器(如 list)，删除当前的 iterator，仅仅会使当前的 iterator 失效，这是因为 list 之类的容器，使用了链表来实现，插入、删除一个结点不会对其他结点造成影响。并且 erase 方法可以返回下一个有效的 iterator。

for (iter = cont.begin(); iter != cont.end();)
{
   (*it)->doSomething();
   if (shouldDelete(*iter))
      iter = cont.erase(iter);  //erase删除元素，返回下一个迭代器
   else
      ++iter;
}

参考文献：

   https://www.cnblogs.com/linuxAndMcu/p/14621819.html

免责声明：

   本文素材来源网络，版权归原作者所有。如涉及作品版权问题，请与我联系删除。