[C++]迭代器失效问题

目录

一、迭代器失效案例

二、迭代器失效原因

2.1、内存重新分配导致迭代器失效

2.2、数据插入到错误位置

三、解决迭代器失效

四、总结

一、迭代器失效案例

接下来用vector的insert()功能举例

**在insert函数中,如果发生了扩容,那么pos迭代器会失效,因为reserve会重新分配内存,而pos仍然指向旧空间,**从而在后续的移动元素和赋值操作中出现问题。

在测试函数test_vector04中,输出结果:

第一次插入(v1.begin()+1, 200)成功,输出1 200 2 3

第二次插入(v1.begin()+1, 300)却得到了异常输出1 200 2 3 -842150451

这是因为第一次插入后,容器状态为1,200,2,3,容量为4。第二次插入时,容器已满,需要扩容。

扩容后,pos(即v1.begin()+1)没有更新,指向了已释放的内存。然后在移动元素和赋值时使用了失效的迭代器,导致未定义行为。

复制代码
===这段代码主要展示迭代器失效问题和出现的现象,push_back函数功能是正常的,扩容机制是原来的空间*2
一开始分配的是4个空间,所以本代码重点演示在插入第5个元素的发生情况====
		void insert(iterator pos, const T& val)
		{
			//判断pos是否合法
			assert(pos>=_start&&pos <= _finish);

			//判断容量是否足够
			if (size() == capacity())
			{
				size_t newcapacity = capacity() == 0 ? 4 : 2 * capacity();
				reserve(newcapacity);
			}
			iterator end = _finish-1;
			//iterator end1 = end();//最好不同名

			//注意如果执行了扩容reserve,此地方的pos需要更新,!!!
			//因为_start,_finsih,_endofstrogr都是更新过的,而pos指向的还是旧空间
			//否则出现迭代器失效情况,数据未插入到新空间,而是非法插入到了旧空间。
			while (end >= pos)
			{
				*(end + 1) = *end;
				end--;
			}
			*pos = val;
			_finish++;
		}
void test_vector04()
{
	hx::vector<int> v1;
	v1.push_back(1);
	v1.push_back(2);
	v1.push_back(3);

	for (auto ch : v1)
	{
		cout << ch << " ";
	}
	cout << endl;

	//在不扩容的情况下任意位置插入数据,插入此时容量是4,再插入会发生扩容
	v1.insert(v1.begin() + 1, 200);

	for (auto ch : v1)
	{
		cout << ch << " ";
	}
	cout << endl;

	//继续插入时迭代器失效
	v1.insert(v1.begin() + 1, 300);
	for (auto ch : v1)
	{
		cout << ch << " ";
	}
	cout << endl;
}
//运行结果
//1 2 3
//1 200 2 3
//1 200 2 3 -842150451 第二次插入时由于迭代器失效,导致结果异常(出现了随机值-842150451,这是未初始化内存的值

二、迭代器失效原因

2.1、内存重新分配导致迭代器失效

在调用reserve(newcapacity)时,如果需要内存重新分配,则会执行reserve函数:

  1. 分配一块新的内存空间(大小为newcapacity)。

  2. 将原有数据从旧内存拷贝到新内存。

  3. 释放旧内存。

在这个过程中,旧内存被释放,而原来的迭代器pos(包括_start和_finish)都指向已经释放的内存,这些迭代器就失效了。

2.2、数据插入到错误位置

如果继续使用失效的 pos:

  • *pos = val 会写入到已释放的内存

  • 可能导致程序崩溃或数据损坏

  • 新数据实际上没有插入到容器的有效空间中

三、解决迭代器失效

在更新成员变量的同时,更新pos,可以解决迭代器失效的问题,简单的理解就是,在扩容后,通过保存的偏移量来重新计算pos。然后在扩容后,用已经更新的_start加上这个偏移量得到新的pos。

复制代码
		void insert(iterator pos, const T& val)
		{
			//判断pos是否合法
			assert(pos>=_start&&pos <= _finish);

			size_t len = pos - _start;//=========此处记录pos和_start的相对位置len

			//判断容量是否足够
			if (size() == capacity())
			{
				size_t newcapacity = capacity() == 0 ? 4 : 2 * capacity();
				reserve(newcapacity);
			}
			iterator end = _finish-1;

			pos = _start + len;//==========通过更新后的_start+相对位置len更新pos

			//iterator end1 = end();//最好不同名

			//注意如果执行了扩容reserve,此地方的pos需要更新,!!!
			//因为_start,_finsih,_endofstrogr都是更新过的,而pos指向的还是旧空间
			//否则出现迭代器失效情况,数据未插入到新空间,而是非法插入到了旧空间,
			while (end >= pos)
			{
				*(end + 1) = *end;
				end--;
			}
			*pos = val;
			_finish++;
		}
//输出结果
//1 2 3
//1 200 2 3
//1 300 200 2 3

四、总结

迭代器失效原因:是内存重分配使迭代器失效,将数据写入到已经释放的空间。

解决办法:需要通过偏移量重新计算位置。

相关推荐
FRing0317 分钟前
vue2干货总结3(computed计算属性、watch监听器)
开发语言·前端·vue.js·vue2
沫璃染墨2 小时前
从零入门计算机网络系列(十二):HTTP长连接与会话管理详解——从Connection到Cookie与Session
linux·服务器·c++·tcp/ip·ubuntu·http·交互
kyriewen2 小时前
Skills 榜前 10 我全装了:只有 3 个能直接用
前端·javascript·程序员
IT_陈寒3 小时前
当Java的hashCode遇上Lombok,我的缓存被全清了
前端·人工智能·后端
工控丫丫3 小时前
帆软看板中经常使用的公式函数及经常搭的组合
前端·javascript·数据库
xiaoye-duck3 小时前
《C++ 项目:手写大模型接入 SDK》DeepSeek接口设计(下):流式响应实现和测试
开发语言·网络·c++·语言模型
jerrywus4 小时前
我用 GPT-6.1-sol 做了台会讲解的 3D 售货机:60 罐饮料,一口没喝上
前端·agent·claude
旖旎夜光5 小时前
【C++ 基础入门】类和对象(上):封装、对象模型与 this 指针
开发语言·c++·笔记·学习
孟陬5 小时前
Foobar 技术周刊#159:当看不懂代码时,如何高效排障调试。脏页陷阱:一条只读查询,写入数 TB 数据。推测解码:大模型加速利器
前端·人工智能·后端
Zhao-Jichao5 小时前
AI Prompting for Everyone 课程笔记 - P17 图像生成 Imaging Generation
前端