正确使用STL-MAP中Erase函数

第一讲
在STL标准里面，map的erase函数的返回值确如下：
map.erase有3个重载：
void erase ( iterator position );
size_type erase ( const key_type& x );
void erase ( iterator first, iterator last );
所以下面代码中的例子是针对标准STL中map的erase用法。
使用STL的map里erase方法，删除一个指定的节点，如下例1。
例1:
map<string,string> mapTest;

typedef map<string,string>::iterator ITER;

ITER iter=mapTest.find(key);

mapTest.erase(iter);

 像上面这样只是删除单个节点,map的行为不会出现任务问题,但是当在一个循环里用的时候,往往会被误用,那是因为使用者没有正确理解iterator的概念.像下面这样的一个例子就是错误的写法,
例2:
for(ITER iter=mapTest.begin();iter!=mapTest.end();++iter)

{
cout<<iter->first<<":"<<iter->second<<endl;
mapTest.erase(iter);

}

这是一种错误的写法,会导致程序行为不可知.究其原因是map 是关联容器,对于关联容器来说，如果某一个元素已经被删除，那么其对应的迭代器就失效了，不应该再被使用；否则会导致程序无定义的行为。
可以用以下方法解决这问题:
正确的写法
1.使用删除之前的迭代器定位下一个元素。STL建议的使用方式
for(ITER iter=mapTest.begin();iter!=mapTest.end();)

{
cout<<iter->first<<":"<<iter->second<<endl;
mapTest.erase(iter++);

}

实际应用之例3

#include <iostream>

#include <map>

#include <string>

using namespace std ;

int main(void) 

{ 
map<int, string> m ;
m.insert(pair<int, string>(1, "abc")) ;
m.insert(pair<int, string>(2, "def")) ;
m.insert(pair<int, string>(3, "def")) ;
m.insert(pair<int, string>(4, "ghi")) ;

map<int, string>::iterator itor ;
// 错误的写法      
//for (itor = m.begin(); itor != m.end(); ++itor)
// {
//     if (itor->second == "def")   
//     {   
//         m.erase(itor) ; 
// map是关联式容器，调用erase后，当前迭代器已经失效  
//     } 
//  }   

// 正确的写法   
for (itor = m.begin(); itor != m.end();)   
{     
if (itor->second == "def")        
{    
m.erase(itor++) ; // erase之后，令当前迭代器指向其后继。
}       
else       
{   ++itor; }   
}    
// Print m   
map<int, string>::const_iterator citor ;   
for (citor = m.begin(); citor != m.end(); ++citor)  
{  cout << citor->first << ":" << citor->second << endl ; }

getchar() ; 
return 0 ; 

} 

第二讲
在windows下，std::map的erase函数的windows的实现版本是返回一个std::map的迭代器，使用稍有差别。当然，标准STL中map的erase方法在windows下依然可用。

1.std::map的erase函数的windows的实现版本返回下一个元素的迭代器
可以使用下面的代码，但仅能在windows平台使用。
for(ITER iter=mapTest.begin();iter!=mapTest.end();)

{
cout<<iter->first<<":"<<iter->second<<endl;
iter=mapTest.erase(iter);

}
 
测试实例1：

int _tmain(int argc, _TCHAR* argv[])

{

   map<int,int> mapTest;

   typedef map<int,int>::iterator ITER;

   typedef pair<int,int> Pair_Int;
   for (int i=0; i<5; i++)

   {

      mapTest.insert(Pair_Int(i,i*i));

   }
   for(ITER iter=mapTest.begin();iter!=mapTest.end();++iter)

   {

      cout<<iter->first<<":"<<iter->second<<endl;

     mapTest.erase(iter);

   }
   return 0;

}
运行结果：

然后马上出错：

测试实例2：
将1中循环处改为：

   for(ITER iter=mapTest.begin();iter!=mapTest.end(); )

   {

        cout<<iter->first<<":"<<iter->second<<endl;

       iter = mapTest.erase(iter);

   }

或改为：

   for(ITER iter=mapTest.begin();iter!=mapTest.end(); )

   {

      cout<<iter->first<<":"<<iter->second<<endl;

      mapTest.erase(iter++);

   }

运行结果：

结果正确 

注意：在windows下，因为std::map的erase函数的windows实现版本是返回一个std::map的迭代器。