下面材料整理自Internet&著作。
STL中的容器按存儲方式分爲兩類，一類是按以數組形式存儲的容器（如：vector 、deque)；另一類是以不連續的節點形式存儲的容器（如：list、set、map）。在使用erase方法來刪除元素時，需要注意一些問題。
在使用 list、set 或 map遍歷刪除某些元素時可以這樣使用：
1.1 正確寫法1
- 1 std::list< int> List;
- 2 std::list< int>::iterator itList;
- 3 for( itList = List.begin(); itList != List.end(); )
- 4 {
- 5 if( WillDelete( *itList) )
- 6 {
- 7 itList = List.erase( itList);
- 8 }
- 9 else
- 10 itList++;
- 11 }
1.2 正確寫法2
- 1 std::list< int> List;
- 2 std::list< int>::iterator itList;
- 3 for( itList = List.begin(); itList != List.end(); )
- 4 {
- 5 if( WillDelete( *itList) )
- 6 {
- 7 List.erase( itList++);
- 8 }
- 9 else
- 10 itList++;
- 11 }
1.3 錯誤寫法1
- 1 std::list< int> List;
- 2 std::list< int>::iterator itList;
- 3 for( itList = List.begin(); itList != List.end(); itList++)
- 4 {
- 5 if( WillDelete( *itList) )
- 6 {
- 7 List.erase( itList);
- 8 }
- 9 }
1.4 錯誤寫法2
- 1 std::list< int> List;
- 2 std::list< int>::iterator itList;
- 3 for( itList = List.begin(); itList != List.end(); )
- 4 {
- 5 if( WillDelete( *itList) )
- 6 {
- 7 itList = List.erase( ++itList);
- 8 }
- 9 else
- 10 itList++;
- 11 }
1.5 分析
正確使用方法1：通過erase方法的返回值來獲取下一個元素的位置
正確使用方法2：在調用erase方法之前先使用 “++”來獲取下一個元素的位置
錯誤使用方法1：在調用erase方法之後使用“++”來獲取下一個元素的位置，由於在調用erase方法以後，該元素的位置已經被刪除，如果在根據這個舊的位置來獲取下一個位置，則會出現異常。
錯誤使用方法2：同上。
在使用 vector、deque遍歷刪除元素時，也可以通過erase的返回值來獲取下一個元素的位置：
2.1 正確寫法
- 1 std::vector< int> Vec;
- 2 std::vector< int>::iterator itVec;
- 3 for( itVec = Vec.begin(); itVec != Vec.end(); )
- 4 {
- 5 if( WillDelete( *itVec) )
- 6 {
- 7 itVec = Vec.erase( itVec);
- 8 }
- 9 else
- 10 itList++;
- 11 }
2.2 注意
注意：vector、deque 不能像上面的“正確使用方法2”的辦法來遍歷刪除。原因請參考Effective STL條款9。摘錄到下面：
1) 對於關聯容器(如map, set, multimap,multiset)，刪除當前的iterator，僅僅會使當前的iterator失效，只要在erase時，遞增當前iterator即可。這是因爲map之類的容器，使用了紅黑樹來實現，插入、刪除一個結點不會對其他結點造成影響。
- 1 for (iter = cont.begin(); it != cont.end();)
- 2 {
- 3 (*iter)->doSomething();
- 4 if (shouldDelete(*iter))
- 5 cont.erase(iter++);
- 6 else
- 7 ++iter;
- 8 }
因爲iter傳給erase方法的是一個副本，iter++會指向下一個元素。
2)對於序列式容器(如vector,deque)，刪除當前的iterator會使後面所有元素的iterator都失效。這是因爲vetor,deque使用了連續分配的內存，刪除一個元素導致後面所有的元素會向前移動一個位置。還好erase方法可以返回下一個有效的iterator。
- 1 for (iter = cont.begin(); iter != cont.end();)
- 2 {
- 3 (*it)->doSomething();
- 4 if (shouldDelete(*iter))
- 5 iter = cont.erase(iter);
- 6 else
- 7 ++iter;
- 8 }
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相同。