【转载】STL迭代器失效分析及总结

转自：https://blog.csdn.net/lujiandong1/article/details/49872763

参考：https://blog.csdn.net/yangquanhui1991/article/details/52077562

https://blog.csdn.net/u010318270/article/details/78575371

 

1. 对于序列式容器(如vector,deque)，序列式容器就是数组式容器，删除当前的iterator会使后面所有元素的iterator都失效。这是因为vetor,deque使用了连续分配的内存，删除一个元素导致后面所有的元素会向前移动一个位置。所以不能使用erase(iter++)的方式，还好erase方法可以返回下一个有效的iterator。

for (iter = cont.begin(); iter != cont.end();)
{
   (*it)->doSomething();
   if (shouldDelete(*iter))
      iter = cont.erase(iter);  //erase删除元素，返回下一个迭代器
   else
      ++iter;
}

迭代器失效：

void vectorTest()
{
    vector<int> container;
    for (int i = 0; i < 10; i++)
    {
        container.push_back(i);
    }
 
    vector<int>::iterator iter;
     for (iter = container.begin(); iter != container.end(); iter++)
    {
            if (*iter > 3)
              container.erase(iter);
    }
 
     for (iter = container.begin(); iter != container.end(); iter++)
    {
            cout<<*iter<<endl;
    }
}

报错是：vectoriterator not incrementable.

迭代器在执行++操作时报错！已经失效的迭代器不能再进行自增运算了。

       对于序列式容器，比如vector，删除当前的iterator会使后面所有元素的iterator都失效。这是因为顺序容器内存是连续分配（分配一个数组作为内存），删除一个元素导致后面所有的元素会向前移动一个位置。（删除了一个元素，该元素后面的所有元素都要挪位置，所以，iter++，已经指向的是未知内存）。

但是erase方法可以返回下一个有效的iterator。所以代码做如下修改，就OK了。

    void vectorTest()
{
    vector<int> container;
    for (int i = 0; i < 10; i++)
    {
        container.push_back(i);
    }
 
    vector<int>::iterator iter;
     for (iter = container.begin(); iter != container.end();)
    {
            if (*iter > 3) {
                iter = container.erase(iter);
            }
            else {
                iter ++;
            }
 
    }
 
     for (iter = container.begin(); iter != container.end(); iter++)
    {
            cout<<*iter<<endl;
    }
}

总结：vector是一个顺序容器，在内存中是一块连续的内存，当删除一个元素后，内存中的数据会发生移动，以保证数据的紧凑。所以删除一个数据后，其他数据的地址发生了变化，之前获取的迭代器根据原有的信息就访问不到正确的数据。

所以为了防止vector迭代器失效，常用如下方法：

for (iter = container.begin(); iter != container.end(); )
    {
            if (*iter > 3)
              iter = container.erase(iter);    //erase的返回值是删除元素下一个元素的迭代器
            else{
                iter++;
            }
    }

这样删除后iter指向的元素后，返回的是下一个元素的迭代器，这个迭代器是vector内存调整过后新的有效的迭代器。

 

1. 对于关联容器(如map, set,multimap,multiset)，删除当前的iterator，仅仅会使当前的iterator失效，只要在erase时，递增当前iterator即可。这是因为map之类的容器，使用了红黑树来实现，插入、删除一个结点不会对其他结点造成影响。erase迭代器只是被删元素的迭代器失效，但是返回值为void，所以要采用erase(iter++)的方式删除迭代器。
for (iter = cont.begin(); it != cont.end();)
{
   (*iter)->doSomething();
   if (shouldDelete(*iter))
      cont.erase(iter++);
   else
      ++iter;
}
 
void mapTest()
{
    map<int, string> dataMap;
 
 
    for (int i = 0; i < 100; i++)
    {
           string strValue = "Hello, World";
 
            stringstream ss;
            ss<<i;
            string tmpStrCount;
            ss>>tmpStrCount;
            strValue += tmpStrCount;
            dataMap.insert(make_pair(i, strValue));
    }
 
    cout<<"MAP元素内容为："<<endl;
     map<int, string>::iterator iter;
    for (iter = dataMap.begin(); iter != dataMap.end(); iter++)
    {
            int nKey = iter->first;
            string strValue = iter->second;
            cout<<strValue<<endl;
    }
 
    cout<<"内容开始删除："<<endl;
    /擦除操作引发迭代器失效
    for (iter = dataMap.begin(); iter != dataMap.end();iter++)
    {
            int nKey = iter->first;
            string strValue = iter->second;
 
           if (nKey % 2 == 0)
           {
                dataMap.erase(iter);
 
           }
           /* cout<<iter->second<<endl;*/
    }
}
出错：

解析：dataMap.erase(iter)之后,iter就已经失效了，所以iter无法自增，即iter++就会出bug.解决方案，就是在iter失效之前，先自增。

void mapTest()
{
    map<int, string> dataMap;
 
 
    for (int i = 0; i < 100; i++)
    {
           string strValue = "Hello, World";
 
            stringstream ss;
            ss<<i;
            string tmpStrCount;
            ss>>tmpStrCount;
            strValue += tmpStrCount;
            dataMap.insert(make_pair(i, strValue));
    }
 
    cout<<"MAP元素内容为："<<endl;
     map<int, string>::iterator iter;
    for (iter = dataMap.begin(); iter != dataMap.end(); iter++)
    {
            int nKey = iter->first;
            string strValue = iter->second;
            cout<<strValue<<endl;
    }
 
    cout<<"内容开始删除："<<endl;
    /擦除操作引发迭代器失效
    for (iter = dataMap.begin(); iter != dataMap.end();)
    {
            int nKey = iter->first;
            string strValue = iter->second;
 
           if (nKey % 2 == 0)
           {
                dataMap.erase(iter++);
                auto a = iter;
 
           }
           else {
               iter ++;
           }
    }
}

解析：dataMap.erase(iter++);这句话分三步走，先把iter传值到erase里面，然后iter自增，然后执行erase,所以iter在失效前已经自增了。

map是关联容器，以红黑树或者平衡二叉树组织数据，虽然删除了一个元素，整棵树也会调整，以符合红黑树或者二叉树的规范，但是单个节点在内存中的地址没有变化，变化的是各节点之间的指向关系。

所以在map中为了防止迭代器失效，在有删除操作时，常用如下方法：

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++;
         }
   }

 map<int, string>::iterator tmpIter =iter; iter++;

 dataMap.erase(tmpIter);

这几句的意思是,先保留要删除的节点迭代器，再让iter向下一个有意义的节点，然后删除节点。

所以这个操作结束后iter指向的是下一个有意义的节点，没有失效。

其实这三句话可以用在一句话代替，就是dataMap.erase(iter++);

解释是先让iter指向下一个有效的节点，但是返回给erase函数的是原来的iter副本。这个可能跟++这个操作的本身语法相关。

但是功能跟上面是一样的。

 

总结：迭代器失效分三种情况考虑，也是非三种数据结构考虑，分别为数组型，链表型，树型数据结构。

数组型数据结构：该数据结构的元素是分配在连续的内存中，insert和erase操作，都会使得删除点和插入点之后的元素挪位置，所以，插入点和删除掉之后的迭代器全部失效，也就是说insert(*iter)(或erase(*iter))，然后在iter++，是没有意义的。解决方法：erase(*iter)的返回值是下一个有效迭代器的值。 iter =cont.erase(iter);

链表型数据结构：对于list型的数据结构，使用了不连续分配的内存，删除运算使指向删除位置的迭代器失效，但是不会失效其他迭代器.解决办法两种，erase(*iter)会返回下一个有效迭代器的值，或者erase(iter++).

树形数据结构： 使用红黑树来存储数据，插入不会使得任何迭代器失效；删除运算使指向删除位置的迭代器失效，但是不会失效其他迭代器.erase迭代器只是被删元素的迭代器失效，但是返回值为void，所以要采用erase(iter++)的方式删除迭代器。

注意：经过erase(iter)之后的迭代器完全失效，该迭代器iter不能参与任何运算，包括iter++,*ite

————————————————

四.选择时机<转>--总结各种容器特点
(1) vector
内部数据结构：数组。
随机访问每个元素，所需要的时间为常量。
在末尾增加或删除元素所需时间与元素数目无关，在中间或开头增加或删除元素所需时间随元素数目呈线性变化。
可动态增加或减少元素，内存管理自动完成，但程序员可以使用reserve()成员函数来管理内存。
vector的迭代器在内存重新分配时将失效（它所指向的元素在该操作的前后不再相同）。当把超过capacity()-size()个元素插入vector中时，内存会重新分配，所有的迭代器都将失效；否则，指向当前元素以后的任何元素的迭代器都将失效。当删除元素时，指向被删除元素以后的任何元素的迭代器都将失效。

(2)deque
内部数据结构：数组。
随机访问每个元素，所需要的时间为常量。
在开头和末尾增加元素所需时间与元素数目无关，在中间增加或删除元素所需时间随元素数目呈线性变化。
可动态增加或减少元素，内存管理自动完成，不提供用于内存管理的成员函数。
增加任何元素都将使deque的迭代器失效。在deque的中间删除元素将使迭代器失效。在deque的头或尾删除元素时，只有指向该元素的迭代器失效。

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

————————————————
三、剖析原因
C++标准中，顺序容器的erase函数会返回iterator，但关联容器的erase函数不返回iterator。
（1）对于顺序容器 vector、deque，删除当前的iterator会使后面所有元素的iterator都失效。这是因为vector、deque使用了连续分配的内存，删除一个元素导致后面所有的元素会向前移动一个位置。erase方法可以返回下一个有效的iterator。【即正确用法1】
（2）对于关联容器map、set、multimap、multiset，删除当前的iterator，仅仅会使当前的iterator失效，只要在erase时，递增当前iterator即可。这是因为map之类的容器，使用了红黑树来实现，插入、删除一个结点不会对其他结点造成影响。【即正确用法A】
（3）对于顺序容器list，erase方法可以返回下一个有效的iterator【即正确用法1】。由于list是一个链表，删除当前的iterator，仅仅会使当前的iterator失效，所以也可以在erase时，递增当前的iterator【即正确用法A】。
（4）erase函数返回被删除元素的下一个元素的迭代器。在STL中，不能以指针来看待迭代器，指针是与内存绑定的，而迭代器是与容器里的元素绑定的。
四、迭代器失效的情况
（1）vector
内部数据结构：数组
随机访问每个元素，所需要的时间为常量。
在末尾add/delete元素所需时间与元素数目无关，在开头或中间add/delete元素所需时间随元素数目呈线性变化。
可动态增加或减少元素，内存管理自动完成，但程序员可以使用reserve()成员函数来管理内存。
add元素：所有元素的迭代器失效（内存重新分配时）（当把超过capacity()-size()个元素插入vector中时，内存会重新分配）
               当前元素以后的任何元素的迭代器失效（内存没有重新分配时）
delete元素：被删除元素以后的任何元素的迭代器都将失效
（2）deque
内部数据结构：数组
随机访问每个元素，所需要的时间为常量
在开头或末尾add/delete元素所需时间与元素数目无关，在中间add/delete元素所需时间随元素数目呈线性变化。
可动态增加或减少元素，内存管理自动完成，不提供用于内存管理的成员函数。
add元素：迭代器失效
delete元素：迭代器失效（删除中间元素）
                    指向该元素的迭代器失效（删除头/尾元素）
（3）list
内部数据结构：双向环状链表
不能随机访问一个元素，可双向遍历。
在开头/中间/末尾add/delete元素所需时间都为常量
可动态增加或减少元素，内存管理自动完成。
add元素：不会使迭代器失效
delete元素：指向当前被删除元素的迭代器失效，其它迭代器都不会失效
（4）set
内部数据结构：红黑树
键和值相等，键唯一，元素默认按升序排列。
add元素：不会使迭代器失效
delete元素：指向当前被删除元素的迭代器失效，其它迭代器都不会失效
（5）map
内部数据结构：红黑树
键唯一，元素默认按键的升序排列。
add元素：不会使迭代器失效
delete元素：指向当前被删除元素的迭代器失效，其它迭代器都不会失效
————————————————