C++初阶学习第十弹——深入讲解vector的迭代器失效

C++初阶学习第八弹--深入解析vector的使用-CSDN博客

 C++初阶学习第九弹-----vector的模拟实现-CSDN博客

目录

一.前言

二.迭代器失效的本质

2.1 迭代器失效 ------ 扩容导致的野指针

2.2迭代器失效 ------ 迭代器指向的位置意义发生改变

​编辑三. erase迭代器失效

 四.vector的迭代器失效总结

一.前言

近期我们学习了vector的模拟实现和一些使用方法，接下来我们学习了解vector的迭代器的失效问题。

二.迭代器失效的本质

迭代器失效：实际就是迭代器底层对应指针所指向的空间被销毁了，而使用一块已经被释放的空间，造成的后果是程序崩溃（即如果继续使用已经失效的迭代器，程序可能会崩溃）。具体的可以用一下三步来说明：

[1]迭代器的本质就是指针，迭代器失效就是指针失效。
[2]指针失效：指针指向的空间是非法的。
[3]指针指向非法空间：指向了被释放的空间 或者 越界访问 。

2.1 迭代器失效 ------ 扩容导致的野指针

错误示范：

void insert(iterator pos, const T& x)
{
	//检测参数合法性
	assert(pos >= _start && pos = pos)
	{
		*(end + 1) = *(end);
		end--;
	}
	//把值插进去
	*pos = x;
	_finish++;
}

修改过的代码：

当我们进行尾插的时候，如果空间不够了，会进行reserve扩容，扩容之后_finish和_start都会进行改变，pos就成为了野指针，改变的方法也很简单，在扩容之前记录一个_start和pos的相对位置。

等到扩容之后再重新更新pos的位置。

iterator insert(iterator pos, const T& x)
{
	//扩容
	if (_finish == _end_of_storage)
	{
		size_t len= pos - _start;
		reserve(capacity() == 0 ? 4 : capacity() * 2);
		pos = _start + len;
	}
	iterator end = _finish - 1;
	while (end >= pos)
	{
		*(end + 1) = *end;
		end--;
	}
	*end = x;
	_finish++;
	return pos;
}

2.2迭代器失效 ------ 迭代器指向的位置意义发生改变

 void test2()
{
	xas_vector::vector v1;
	v1.Push_back(1);
	v1.Push_back(2);
	v1.Push_back(3);
	v1.Push_back(4);
	v1.Push_back(5);
	v1.Push_back(6);
	for (auto ch : v1)
	{
		cout