下面材料整理自Internet&著作。
STL中的容器按存儲方式分為兩類，一類是按以數組形式存儲的容器（如：vector 、deque)；另一類是以不連續的節點形式存儲的容器（如：list、set、map）。在使用erase方法來刪除元素時，需要注意一些問題。
1.list,set,map容器
在使用 list、set 或 map遍歷刪除某些元素時可以這樣使用：
1.1 正確寫法1
|
1
2
3
4
5
6
7
8
9
10
11
|
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.2 正確寫法2
|
1
2
3
4
5
6
7
8
9
10
11
|
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
|
1
2
3
4
5
6
7
8
9
|
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
|
1
2
3
4
5
6
7
8
9
10
11
|
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 正確寫法
|
1
2
3
4
5
6
7
8
9
10
11
|
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之類的容器，使用了紅黑樹來實現，插入、刪除一個結點不會對其他結點造成影響。
|
1
2
3
4
5
6
7
8
|
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。
|
1
2
3
4
5
6
7
8
|
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相同。
以上就是小編為大家帶來的關于STL的erase()陷阱-迭代器失效問題的總結全部內容了，希望大家多多支持服務器之家~
