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 = ; i != ; 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 ;
}

结果：

　　case2:❌

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

        for (int i = ; i != ; 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 ;
}

结果：

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

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

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

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

　　

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