这种地图擦除安全吗？ [复制]

Question

我有一个带有这样的地图的 for 循环。

std::map<int,std::string> mymap = {{1,"a"},{2,"b"},{3,"c"}};

for(std::map<int,std::string>::iterator it = mymap.begin(); it!=mymap.end(); ++it)
{
    if(it->first==3)
    {
        mymap.erase(it);
    }
}

std::cout << mymap.rbegin()->second << std::endl;

如预期的那样，输出是“b”。问题是：这会以某种方式导致无限循环（或崩溃）吗？我是说之后

erase(it)

它是无效的迭代器。如果擦除的项目不是最后一个，它应该没问题，因为“它”在擦除之后递增，并且在评估条件时它最大指向 mymap.end()。但是，如果我擦除最后一个，则在擦除后 mymap.end() 应该在最后一个剩余项目之后，然后无论如何都会递增。它不能以某种方式超出范围吗？我不应该使用类似的东西

for(std::map<int,std::string>::iterator it = mymap.begin(); it!=mymap.end(); ++it)
{
    std::map<int,std::string>::const_iterator tempit = it;
    const bool lastItemErased = ++tempit == mymap.end();

    if(it->first==3)
    {
        mymap.erase(it);
    }

    if(lastItemErased) break;
}

为了安全？

注意：如果我尝试使用键 3 和 2 擦除元素，上述两种操作都将按预期运行。我不明白这怎么可能，为什么它不会崩溃。如何增加无效的迭代器？

更新：它必须与 c++03 一起使用。我这样初始化地图，以便更轻松地发布问题。

Answer 1

编辑：仅适用于 C++11 及更高版本。

std::map::erase 返回一个新的有效迭代器对象（即删除的元素之后的元素，在您的示例中为 mymap.end()）。您应该使用该返回值：

for(std::map<int,std::string>::iterator it = mymap.begin(); it!=mymap.end();)
{
    if(it->first==3)
    {
        it = mymap.erase(it);
    }
    else
    {
        ++it;
    }
}

参考http://en.cppreference.com/w/cpp/container/map/erase。