在STL中,迭代器失效可发生在三种情况下:
一、数组型数据结构(vector、deque)
对于序列式容器(如vector,deque),序列式容器就是数组式容器,删除当前的iterator或者插入某个iterator会使后面所有元素的iterator都失效。这是因为vetor,deque使用了连续分配的内存,删除或插入一个元素导致后面所有的元素会向前或向后移动一个位置。所以不能使用erase(iter++)的方式,还好erase,insert方法可以返回下一个有效的iterator。
解决方法:
(1)通过erase方法的返回值来获取下一个有效的迭代器,如下例。
(2)在调用erase之前,先使用‘++’来获取下一个有效的迭代器
Q:为什么对于array/vector/deque删除元素时不能使用erase(it++)?
A:由于上述容器删除元素后其后元素将前移,所以erase(it++)将使it“后移”两格,这显然不符合it++的初衷,所以C++规范禁用了这一做法。
vector<int> cont; for (auto iter = cont.begin(); iter != cont.end();) { (*it)->doSomething(); if (shouldDelete(*iter)) iter = cont.erase(iter); //erase删除元素,返回下一个迭代器 else ++iter; }
二、链表型数据结构(list)
使用了不连续分配的内存,删除运算使指向删除位置的迭代器失效,但是不会失效其他迭代器。还好erase,insert方法可以返回下一个有效的iterator。
解决方法:
通过erase方法的返回值来获取下一个有效的迭代器,做法类似于序列式容器做法,这里不再举例。
三、树形数据结构(map、set、multimap,multiset)
删除当前的iterator,仅仅会使当前的iterator失效,只要在erase时,递增当前iterator即可。这是因为map之类的容器,使用了红黑树来实现,插入、删除一个结点不会对其他结点造成影响。erase迭代器只是被删元素的迭代器失效,但是返回值为void,所以要采用erase(iter++)的方式删除迭代器。
解决方法:
(1)采用erase(iter++)的方式删除迭代器。如下第一个例子:
(2)在调用erase之前,先使用‘++’来获取下一个有效的迭代器。如下第二个例子。
map<int,int> cont; for (auto iter = cont.begin(); iter != cont.end();) { (*it)->doSomething(); if (shouldDelete(*iter)) iter = cont.erase(iter++); //erase删除元素,返回下一个迭代器 else ++iter; }
for (iter = dataMap.begin(); iter != dataMap.end(); ) { int nKey = iter->first; string strValue = iter->second; if (nKey % 2 == 0) { map<int, string>::iterator tmpIter = iter; iter++; dataMap.erase(tmpIter); //dataMap.erase(iter++) 这样也行 }else { iter++; } }