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