C++:迭代器失效问题

发布时间:2024年01月23日

目录

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<iostream>
using namespace std;
#include<vector>

int main()
{
	vector<int> 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<iostream>
using namespace std;
#include<vector>

int main()
{
	vector<int> 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中直接构造对象,而不是先创建临时对象再插入,这样可以减少迭代器失效的可能性?

文章来源:https://blog.csdn.net/decade777555/article/details/135765870
本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。