1.迭代器失效的根本原因
迭代器就是指针,迭代器失效就是指针失效。
指针失效的有两种情况:
1)野指针
2)访问越界
2.举例阐述
这段代码已经报错了,我给大家调试一下。可以发现:vector的容量变大了,在继续运行就报错了。初始容量是4,尾插时进行了扩容,这也就导致了it成为了野指针。
原因:迭代器指向初始空间的首元素,尾插元素时空间不足,开辟更大的新空间存储元素,释放旧空间,但此时it仍旧指向已经释放的旧空间,成为了野指针。后面对野指针解引用就会导致程序崩溃。
3.哪些情况会导致迭代器失效?
a.所有可能会引起扩容的操作都可能会导致迭代器失效。如:resize、reserve、insert、assign、push_back等
b.指定位置的删除操作--erase。
首先要知道erase(iterator pos)函数的返回值是被删除元素后一位元素的迭代器。当删除元素后,pos位置之后的元素会往前搬移,没有导致底层空间改变。理论上来说是不是局的这个函数并不会导致迭代器失效?
但是,如果pos元素刚好是最后一个元素,删完后pos就刚好是end()的位置,而end()位置并没有元素,那么一旦试图解引用迫使就会崩溃,类似数组访问越界。因此vs编译器觉得这样的操作不安全,vs就认为当你使用erase删除了一个元素后,该位置的迭代器就应该按失效处理,不要在使用了。
举例说明:
3.如何避免迭代器失效
解决办法简单粗暴:在所有可能导致迭代器哦失效的操作之后,如果要使用迭代器,在使用前重新赋值,使其指向新空间。
#include <iostream>
#include <vector>
using namespace std;void Test()
{vector<int> v = { 1,2,3,4,5 };vector<int>::iterator it1 = v.begin()+1;v.push_back(1);it1 = v.begin() + 1;cout << *it1 << endl;vector<int>::iterator it2 = v.end()-1;it2 = v.erase(it2);it2 = v.end()-1;cout << *it2 << endl;
}int main()
{Test();return 0;
}