STL 的 erase() 陷阱-迭代器失效總結
1.2 正確寫法2
std::list< int> List;
std::list< int>::iterator itList;
for( itList = List.begin(); itList != List.end(); )
{
if( WillDelete( *itList) )
{
List.erase( itList++);
}
else
itList++;
}1.3 錯誤寫法1
std::list< int> List; std::list< int>::iterator itList; for( itList = List.begin(); itList != List.end(); itList++) { if( WillDelete( *itList) ) { List.erase( itList); } }
1.4 錯誤寫法2
std::list< int> List;
std::list< int>::iterator itList;
for( itList = List.begin(); itList != List.end(); )
{
if( WillDelete( *itList) )
{
itList = List.erase( ++itList);
}
else
itList++;
}1.5 分析
正確使用方法1：通過erase方法的返回值來獲取下一個元素的位置
正確使用方法2：在呼叫erase方法之前先使用 “++”來獲取下一個元素的位置
錯誤使用方法1：在呼叫erase方法之後使用“++”來獲取下一個元素的位置，由於在呼叫erase方法以後，該元素的位置已經被刪除，如果在根據這個舊的位置來獲取下一個位置，則會出現異常。
錯誤使用方法2：同上。
2. vector,deque容器
在使用 vector、deque遍歷刪除元素時，也可以通過erase的返回值來獲取下一個元素的位置：
2.1 正確寫法
std::vector< int> Vec; std::vector< int>::iterator itVec; for( itVec = Vec.begin(); itVec != Vec.end(); ) { if( WillDelete( *itVec) ) { itVec = Vec.erase( itVec); } else itList++; }
2.2 注意
注意：vector、deque 不能像上面的“正確使用方法2”的辦法來遍歷刪除。原因請參考Effective STL條款9。摘錄到下面：
1) 對於關聯容器(如map, set, multimap,multiset)，刪除當前的iterator，僅僅會使當前的iterator失效，只要在erase時，遞增當前iterator即可。這是因為map之類的容器，使用了紅黑樹來實現，插入、刪除一個結點不會對其他結點造成影響。
for (iter = cont.begin(); it != cont.end();)
{
(*iter)->doSomething();
if (shouldDelete(*iter))
cont.erase(iter++);
else
++iter;
}因為iter傳給erase方法的是一個副本，iter++會指向下一個元素。
2)對於序列式容器(如vector,deque)，刪除當前的iterator會使後面所有元素的iterator都失效。這是因為vetor,deque使用了連續分配的記憶體，刪除一個元素導致後面所有的元素會向前移動一個位置。還好erase方法可以返回下一個有效的iterator。
for (iter = cont.begin(); iter != cont.end();)
{
(*it)->doSomething();
if (shouldDelete(*iter))
iter = cont.erase(iter);
else
++iter;
}3)對於list來說，它使用了不連續分配的記憶體，並且它的erase方法也會返回下一個有效的iterator，因此上面兩種方法都可以使用。
3.迭代器失效的情況
3.1 vector
內部資料結構：陣列。
隨機訪問每個元素，所需要的時間為常量。
在末尾增加或刪除元素所需時間與元素數目無關，在中間或開頭增加或刪除元素所需時間隨元素數目呈線性變化。
可動態增加或減少元素，記憶體管理自動完成，但程式設計師可以使用reserve()成員函式來管理記憶體。
vector的迭代器在記憶體重新分配時將失效（它所指向的元素在該操作的前後不再相同）。當把超過capacity()-size()個元素插入vector中時，記憶體會重新分配，所有的迭代器都將失效；否則，指向當前元素以後的任何元素的迭代器都將失效。當刪除元素時，指向被刪除元素以後的任何元素的迭代器都將失效。
3.2 deque
內部資料結構：陣列。
隨機訪問每個元素，所需要的時間為常量。
在開頭和末尾增加元素所需時間與元素數目無關，在中間增加或刪除元素所需時間隨元素數目呈線性變化。
可動態增加或減少元素，記憶體管理自動完成，不提供用於記憶體管理的成員函式。
增加任何元素都將使deque的迭代器失效。在deque的中間刪除元素將使迭代器失效。在deque的頭或尾刪除元素時，只有指向該元素的迭代器失效。
3.3 list
內部資料結構：雙向環狀連結串列。
不能隨機訪問一個元素。
可雙向遍歷。
在開頭、末尾和中間任何地方增加或刪除元素所需時間都為常量。
可動態增加或減少元素，記憶體管理自動完成。
增加任何元素都不會使迭代器失效。刪除元素時，除了指向當前被刪除元素的迭代器外，其它迭代器都不會失效。
3.4 slist
內部資料結構：單向連結串列。
不可雙向遍歷，只能從前到後地遍歷。
其它的特性同list相似。
3.5 stack
介面卡，它可以將任意型別的序列容器轉換為一個堆疊，一般使用deque作為支援的序列容器。
元素只能後進先出（LIFO）。
不能遍歷整個stack。
3.6 queue
介面卡，它可以將任意型別的序列容器轉換為一個佇列，一般使用deque作為支援的序列容器。
元素只能先進先出（FIFO）。
不能遍歷整個queue。
3.7 priority_queue
介面卡，它可以將任意型別的序列容器轉換為一個優先順序佇列，一般使用vector作為底層儲存方式。
只能訪問第一個元素，不能遍歷整個priority_queue。
第一個元素始終是優先順序最高的一個元素。
3.8 set
鍵和值相等。
鍵唯一。
元素預設按升序排列。
如果迭代器所指向的元素被刪除，則該迭代器失效。其它任何增加、刪除元素的操作都不會使迭代器失效。
3.9 multiset
鍵可以不唯一。
其它特點與set相同。
3.10 hash_set
與set相比較，它裡面的元素不一定是經過排序的，而是按照所用的hash函式分派的，它能提供更快的搜尋速度（當然跟hash函式有關）。
其它特點與set相同。
3.11 hash_multiset
鍵可以不唯一。
其它特點與hash_set相同。
3.12 map
鍵唯一。
元素預設按鍵的升序排列。
如果迭代器所指向的元素被刪除，則該迭代器失效。其它任何增加、刪除元素的操作都不會使迭代器失效。
3.13 multimap
鍵可以不唯一。
其它特點與map相同。
3.14 hash_map
與map相比較，它裡面的元素不一定是按鍵值排序的，而是按照所用的hash函式分派的，它能提供更快的搜尋速度（當然也跟hash函式有關）。
其它特點與map相同。
3.15 hash_multimap
鍵可以不唯一。
其它特點與hash_map相同。