for循环中删除map中的元素，valgrind检测提示error：Invalid read of size 8

 1 #include <iostream>
 2 #include <map>
 3
 4 using namespace std;
 5
 6 class A
 7 {
 8     public:
 9     typedef std::map<int, string> myMap;
10
11     void mapInsert(int i, string s)
12     {
13         map.insert(std::make_pair(i, s));
14     }
15
16     void deleteMap()
17     {
18         for (myMap::iterator it = map.begin(); it != map.end(); ++it)
19         {
20             map.erase(it->first);
21         }
22     }
23     private:
24     myMap map;
25 };
26
27 int main()
28 {
29     A a;
30     a.mapInsert(1, "1");
31     a.mapInsert(2, "2");
32     a.mapInsert(3, "3");
33     a.mapInsert(4, "4");
34     a.mapInsert(5, "5");
35
36     a.deleteMap();
37
38     return 0;
39 }

上述代码编译运行皆没有问题，但是用valgrind检测会提示错误：

Why?

此代码可以实现功能要求，但是健壮性并不好，假设在map.erase之后再次使用map当前的iterator，即

    void deleteMap()
    {
        for (myMap::iterator it = map.begin(); it != map.end(); ++it)
        {
            map.erase(it->first);
            std::cout << "map.first=" << it->first << "    map.second=" << it->second << std::endl;
        }
    }

代码运行就会出现错误，因为it目前指向的对象已经被删掉了。

为了避免程序出现这样的错误，我们应该保证在iterator指向的对象被删掉之前，iterator已经向前移位一。

程序改成如下即可：

    void deleteMap()
    {
        for (myMap::iterator it = map.begin(); it != map.end();)
        {
            map.erase(it++->first);
        }
    }

或

    void deleteMap()
    {
        for (myMap::iterator it = map.begin(); it != map.end();)
        {
            int i = it->first;
            ++it;
            map.erase(i);
        }
    }