c++ - 如果在从头到尾迭代时在 map 元素上调用 erase() 会发生什么？

Question

在下面的代码中，我循环遍历 map 并测试是否需要删除元素。删除元素并继续迭代是否安全，或者我是否需要在另一个容器中收集 key 并执行第二个循环来调用 erase()？

map<string, SerialdMsg::SerialFunction_t>::iterator pm_it;
for (pm_it = port_map.begin(); pm_it != port_map.end(); pm_it++)
{
    if (pm_it->second == delete_this_id) {
        port_map.erase(pm_it->first);
    }
}

更新:当然，我然后 read this question我不认为这会相关，但回答了我的问题。

Answer 1

C++11

这已在 C++11 中得到修复(或者删除已得到改进/在所有容器类型中保持一致)。
erase 方法现在返回下一个迭代器。

auto pm_it = port_map.begin();
while(pm_it != port_map.end())
{
    if (pm_it->second == delete_this_id)
    {
        pm_it = port_map.erase(pm_it);
    }
    else
    {
        ++pm_it;
    }
}

C++03

删除映射中的元素不会使任何迭代器失效。
(除了被删除元素上的迭代器)

实际上插入或删除不会使任何迭代器失效:

另请参阅此答案:
Mark Ransom Technique

但是你确实需要更新你的代码:
在您的代码中，您在调用删除后递增 pm_it。此时为时已晚，已经失效。

map<string, SerialdMsg::SerialFunction_t>::iterator pm_it = port_map.begin();
while(pm_it != port_map.end())
{
    if (pm_it->second == delete_this_id)
    {
        port_map.erase(pm_it++);  // Use iterator.
                                  // Note the post increment.
                                  // Increments the iterator but returns the
                                  // original value for use by erase 
    }
    else
    {
        ++pm_it;           // Can use pre-increment in this case
                           // To make sure you have the efficient version
    }
}