STL源码剖析---迭代器失效小结

迭代器（iterator）是一个可以对其执行类似指针的操作（如：解除引用（operator*()）和递增（operator++()））的对象，我们可以将它理解成为一个指针。但它又不是我们所谓普通的指针，我们可以称之为广义指针，你可以通过sizeof（vector::iterator）来查看，所占内存并不是4个字节。
     首先对于vector而言，添加和删除操作可能使容器的部分或者全部迭代器失效。那为什么迭代器会失效呢？vector元素在内存中是顺序存储，试想：如果当前容器中已经存在了10个元素，现在又要添加一个元素到容器中，但是内存中紧跟在这10个元素后面没有一个空闲空间，而vector的元素必须顺序存储一边索引访问，所以我们不能在内存中随便找个地方存储这个元素。于是vector必须重新分配存储空间，用来存放原来的元素以及新添加的元素：存放在旧存储空间的元素被复制到新的存储空间里，接着插入新的元素，最后撤销旧的存储空间。这种情况发生，一定会导致vector容器的所有迭代器都失效。
     我们看到实现上述所说的分配和撤销内存空间的方式以实现vector的自增长性，效率是极其低下的。为了使vector容器实现快速的内存分配，实际分配的容器会比当前所需的空间多一些，vector容器预留了这些额外的存储区，用来存放新添加的元素，而不需要每次都重新分配新的存储空间。你可以从vector里实现capacity和reserve成员可以看出这种机制。
    capacity和size的区别：size是容器当前拥有的元素个数，而capacity则指容器在必须分配新存储空间之前可以存储的元素总数。
    vector迭代器的几种失效的情况： 
1、当插入（push_back）一个元素后，end操作返回的迭代器肯定失效。
2、当插入(push_back)一个元素后，capacity返回值与没有插入元素之前相比有改变，则需要重新加载整个容器，此时first和end操作返回的迭代器都会失效。
3、当进行删除操作（erase，pop_back）后，指向删除点的迭代器全部失效；指向删除点后面的元素的迭代器也将全部失效。
    deque迭代器的失效情况： 在C++Primer一书中是这样限定的： 
1、在deque容器首部或者尾部插入元素不会使得任何迭代器失效。 
2、在其首部或尾部删除元素则只会使指向被删除元素的迭代器失效。
3、在deque容器的任何其他位置的插入和删除操作将使指向该容器元素的所有迭代器失效。但是：我在vs2005测试发现第一条都不满足，不知为何？等以后深入STL以后慢慢的领会吧！
     只有list的迭代器好像很少情况下会失效。也许就只是在删除的时候，指向被删除节点的迭代器会失效吧，其他的还没有发现。
先看两条规制：
1、对于节点式容器(map, list, set)元素的删除，插入操作会导致指向该元素的迭代器失效，其他元素迭代器不受影响。
2、对于顺序式容器(vector)元素的删除、插入操作会导致指向该元素以及后面的元素的迭代器失效。

Vector

1、内部数据结构：连续存储，例如数组。
2、随机访问每个元素，所需要的时间为常量。
3、在末尾增加或删除元素所需时间与元素数目无关，在中间或开头增加或删除元素所需时间随元素数目呈线性变化。
4、可动态增加或减少元素，内存管理自动完成，但程序员可以使用reserve()成员函数来管理内存。
5、迭代器失效
插入：vector的迭代器在内存重新分配时将失效（它所指向的元素在该操作的前后不再相同）。当把超过capacity()-size()个元素插入vector中时，内存会重新分配，所有的迭代器都将失效；
删除：当进行删除操作（erase，pop_back）后，指向删除点及其后元素的迭代器全部失效。
建议：使用vector时，用reserve()成员函数预先分配需要的内存空间，它既可以保护迭代器使之不会失效，又可以提高运行效率。

deque

1、内部数据结构：连续存储或者分段连续存储，具体依赖于实现，例如数组。
2、随机访问每个元素，所需要的时间为常量。
3、在开头和末尾增加元素所需时间与元素数目无关，在中间增加或删除元素所需时间随元素数目呈线性变化。
4、可动态增加或减少元素，内存管理自动完成，不提供用于内存管理的成员函数。
5、迭代器失效
插入：增加任何元素都将使deque的迭代器失效。
删除：在deque的中间删除元素将使迭代器失效。在deque的头或尾删除元素时，只有指向该元素的迭代器失效。

list

1、内部数据结构：双向环状链表。
2、不能随机访问一个元素。
3、可双向遍历。
4、在开头、末尾和中间任何地方增加或删除元素所需时间都为常量。
5、可动态增加或减少元素，内存管理自动完成。
6、迭代器失效
插入：增加任何元素都不会使迭代器失效。
删除：删除元素时，除了指向当前被删除元素的迭代器外，其它迭代器都不会失效。

slist

1、内部数据结构：单向链表。
2、不可双向遍历，只能从前到后地遍历。
3、其它的特性同list相似。
建议：尽量不要使用slist的insert，erase，previous等操作。因为这些操作需要向前遍历，     但是slist不能直接向前遍历，所以它会从头开始向后搜索，所需时间与位于当前元      素之前的元素个数成正比。slist专门提供了insert_after，erase_after等函数进行优化。         但若经常需要向前遍历，建议选用list。

Stack

1、适配器，它可以将任意类型的序列容器转换为一个堆栈，一般使用deque作为支持的序列容器。
2、元素只能后进先出（LIFO）。
3、不能遍历整个stack。
4、适配器，它可以将任意类型的序列容器转换为一个队列，一般使用deque作为支持的序列容器。
5、元素只能先进先出（FIFO）。
6、不能遍历整个queue。
7、适配器，它可以将任意类型的序列容器转换为一个优先级队列，一般使用vector作为底层存储方式。
8、只能访问第一个元素，不能遍历整个priority_queue。
9、第一个元素始终是优先级最高的一个元素。

queue

priority_queue

建议：当需要stack，queue，或priority_queue这种数据结构时，直接使用对应的容器类，     不要使用deque去做它们类似的工作。

Set

1、键和值相等。
2、键唯一。
3、元素默认按升序排列。
4、迭代器失效
删除：如果迭代器所指向的元素被删除，则该迭代器失效。

map

1、键唯一。
2、元素默认按键的升序排列。
3、迭代器失效
删除：如果迭代器所指向的元素被删除，则该迭代器失效。

hash与set、multiset、map、multimap的结合

       它里面的元素不一定是按键值排序的，而是按照所用的hash函数分派的，它能提供更快的搜索速度（当前和hash函数有关）。
建议：当元素的有序比搜索更重要时，应选用set，multiset，map或multimap。否则，选用   hash_set，hash_multiset，hash_map或hash_multimap
建议：往容器中插入元素时，若元素在容器中的顺序无关紧要，请尽量加在最后面。若经常         需要在序列容器的开头或中间增加或删除元素时，应选用list。
建议：对关联容器而言，尽量不要使用C风格的字符串（即字符指针char*）作为键值。如果非用不可，应显示地定义字符串比较运算符，即operator<，operator==，operator<=     等。
建议：当容器作为参数被传递时，请采用引用传递方式。否则将调用容器的拷贝构造函数，其开销是难以想象的。
      STL组建与平台无关，与应用无关，与数据类型无关。
代码如下：

[cpp]  view plain  copy

1. vector<int> vec;  
2. vector<int>::iterator iter = vec.begin();  
3.   
4. int main(void)  
5. {  
6.     while(iter != vec.end())  
7.     {  
8.         iter = vec.erase(iter);    //vector删除时迭代器失效，要重新获取迭代器。  
9.     }  
10.     return 0;  
11. }  

众所周之当使用一个容器的insert或者erase函数通过迭代器插入或删除元素"可能"会导致迭代器失效，因此很多建议都是让我们获取insert或者erase返回的迭代器，以便用重新获取新的有效的迭代器进行正确的操作：
代码如下：

[cpp]  view plain  copy

1. iter = vec.insert(iter);  
2. iter = vec.erase(iter);