首页 > 代码库 > C++ std::map::erase用法及其陷阱

C++ std::map::erase用法及其陷阱

1.引入:

  STL的map中有一个erase方法用来从一个map中删除制定的节点

  eg:

map<string,string> mapTest;  
typedef map<string,string>::iterator ITER;  
ITER iter=mapTest.find(key);  
mapTest.erase(iter);

   像上面这种删除单个节点,map的行为不会出现问题,但是当在一个循环里用的时候,往往会被误用。

2.陷阱

  eg:

for(ITER iter=mapTest.begin();iter!=mapTest.end();++iter)  
{  
cout<<iter->first<<":"<<iter->second<<endl;  
mapTest.erase(iter);  
}  

  这是一种错误的写法,会导致程序行为不可知,原因是map是关联容器,对于关联容器来说,如果一个元素已经被删除,那么其对应的迭代器就失效了,不应该再被使用,负责会导致程序无定义的行为。

3.正确用法

  正确用法一:(C++11可以,C++98不行)

    erase() 成员函数返回下一个元素的迭代器  

std::map<std::string, std::string >::iterator it = mapTest.begin();  
while(it != mapTest.end())  
{  
         if(TestVal(it->second))  
         {  
                 it = mapTest.erase(it);  
         }  
         else  
                 it++;  
}  

  正确用法二:

  使用删除之前的迭代器定位下一个元素。STL建议的使用方式

for(ITER iter=mapTest.begin();iter!=mapTest.end();) //注意此处不能再写iter++  
{  
cout<<iter->first<<":"<<iter->second<<endl;  
mapTest.erase(iter++);  
}  
 在这种用法中,该方法中利用了后++的特点,这个时候执行mapTest.erase(it++);这条语句分为三个过程

      1、先把it的值赋值给一个临时变量做为传递给erase的参数变量

      2、因为参数处理优先于函数调用,所以接下来执行了it++操作,也就是it现在已经指向了下一个地址。

      3、再调用erase函数,释放掉第一步中保存的要删除的it的值的临时变量所指的位置。

 4.例子 

  case1: ?  

#include<map>
#include<iostream>
int main()
{
        std::map<int, int> map_a;
        std::map<int, int>::iterator it;

        for (int i = 0; i != 10; i++) {
                    map_a.insert(std::map<int, int>::value_type(i, i));
        }

        for (it = map_a.begin(); it != map_a.end(); it++){
                    std::cout<< it->first <<std::endl;
        //              map_a.erase(it->first);
        }

        return 0;
}

结果:

0
1
2
3
4
5
6
7
8
9

  case2:?

#include<map>
#include<iostream>
int main()
{
        std::map<int, int> map_a;
        std::map<int, int>::iterator it;

        for (int i = 0; i != 10; i++) {
                    map_a.insert(std::map<int, int>::value_type(i, i));
        }

        for (it = map_a.begin(); it != map_a.end(); it++){
                    std::cout<< it->first <<std::endl;
                        map_a.erase(it->first);
        }

        return 0;
}

结果:

0
3

当将map大小加到1000000的时候,出core

 5.导致程序行为不可知的原因

  5.1 list和vector的erase方法都返回一个iterator,指向被删除元素的下一个元素,唯独map,set,multimap,multiset这4个竟然返回void.

           不过在C++11中已经改正过来了,都返回一个iterator

  技术分享

 原因:迭代器++的操作是在操作它保存的节点指针,所以当这个节点被删除的时候,改节点所指向的指针是无法确定的,也就是可能还是以前的数据,也可能是已经其他毫不相关的数据了,这样的行为被叫做未定义的行为,不一定会core.

C++ std::map::erase用法及其陷阱