关于vector的迭代器失效

最新推荐文章于 2024-05-03 14:53:31 发布

zhengyawen666

最新推荐文章于 2024-05-03 14:53:31 发布

阅读量1.6k

点赞数 3

分类专栏： STL 文章标签： c++ 开发语言

本文链接：https://blog.csdn.net/zhengyawen666/article/details/127978344

版权

STL 专栏收录该内容

1 篇文章 0 订阅

订阅专栏

关于迭代器失效的判定

1 迭代器指向的位置是野指针（全部迭代器失效）

原因：

解决

2 erase或者insert之后迭代器被更改了（部分迭代器失效）

关于迭代器失效的判定

（在windows平台下）

1 迭代器指向的位置是野指针（全部迭代器失效）

原因：

容量的改变导致空间的重新分配

比如insert或者push_back这种往原先的vector中插入元素的操作，会进行一个容量的判断，如果容量满了就会扩容：扩容是深拷贝，扩容(reserve)的具体操作是这样子的

① 先判断当前空前和reserve之后空间的大小，如果reserve之后的空间大于现在的capacity会扩容

②新开辟一块reserve之后大小的tmp的空间

③将原先空间的值拷贝到新的空间

④将原先的空间释放

因此如果不对迭代器进行更新的话，迭代器仍然指向的是之前被释放的空间，会导致迭代器失效

图解

如果erase采取以时间换空间的做法：缩容

这种导致容量的改变的，并且迭代器没有及时更新的，就会导致对应的迭代器失效

解决

这种由于容量的改变引起的，只能在设计reserve的时候，同时更新迭代器的值才可以

void reserve(size_t newcapacity)
	{
		if (newcapacity > capacity())
			size_t sz = size();
			T* tmp = new T[newcapacity];
			if (_start)
			{
				memcpy(tmp, _start, sizeof(T) * size());
				delete[]_start;
			}
			_start = tmp;
			_end = _start + sz;
			_endofstorage = _start + newcapacity;

		
	}

2 erase或者insert之后迭代器被更改了（部分迭代器失效）

原因

在erase或者insert之后capacity并没有发生改变的一个情况

erase的底层实现：erase当前位置之后的值都会往前移动一个位置并且返回在erase之前的下一个位置的迭代器的值

insert的底层实现：insert当前位置之后的值都会往后移动一个位置，并且返回insert的pos位置的迭代器的值。

不管是erase和insert和之前相比，pos和pos位置之后的迭代器都发生了变化，在windows下的vs判定下，就判定了对应的迭代器失效了。

他是这样判定的：原先每个位置的迭代器分别指向1,2,3,4,5,6,7,8，在4的位置插入之后，原先4的位置变成了新插入的10，并且之后所有的元素都发生了移位，这样子的话，原先的迭代器指向的值就发生了改变，vs判定迭代器失效

erase也是同理的，erase 4位置的值之后，其后的元素会往前挪动覆盖，这样子的话，原先4的位置变成了5，并且之后的值都发生了改变，因此原先迭代器和之后的迭代器都失效了

解决：这种情况下，erase和insert的pos位置和之后的迭代器会失效，不去访问这些位置就可以了。

如果非得访问，记得更新一下迭代器的值

迭代器失效的场景：

#include<iostream>
#include<vector>
using namespace std;

int main()
{
	int ar[] = { 1,2,3,4,0,5,6,7,8,9 };
	int n = sizeof(ar) / sizeof(int);
	vector<int> v(ar, ar + n);
	vector<int>::iterator it = v.begin();
	while (it != v.end())
	{
		if (*it != 0)
			cout << *it;
		else
			v.erase(it);

		it++;
	}
	return 0;
}