Что произойдет, если вы вызовете erase () для элемента карты во время итерации от начала до конца?

Question

В следующем коде я перебираю карту и проверяю, нужно ли удалить элемент. Безопасно ли стирать элемент и продолжать итерацию, или мне нужно собрать ключи в другом контейнере и выполнить второй цикл для вызова функции 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);
    }
}

ОБНОВЛЕНИЕ: Конечно, я тогда прочитал этот вопрос , который, как я думал, не будет связан, но отвечает на мой вопрос.

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 после вызова erase. В этот момент уже слишком поздно и он уже признан недействительным.

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

Answer 2

Вот как я это делаю ...

typedef map<string, string>   StringsMap;
typedef StringsMap::iterator  StrinsMapIterator;

StringsMap m_TheMap; // Your map, fill it up with data    

bool IsTheOneToDelete(string str)
{
     return true; // Add your deletion criteria logic here
}

void SelectiveDelete()
{
     StringsMapIter itBegin = m_TheMap.begin();
     StringsMapIter itEnd   = m_TheMap.end();
     StringsMapIter itTemp;

     while (itBegin != itEnd)
     {
          if (IsTheOneToDelete(itBegin->second)) // Criteria checking here
          {
               itTemp = itBegin;          // Keep a reference to the iter
               ++itBegin;                 // Advance in the map
               m_TheMap.erase(itTemp);    // Erase it !!!
          }
          else
               ++itBegin;                 // Just move on ...
     }
}

Answer 3

Вот как бы я это сделал, примерно:

bool is_remove( pair<string, SerialdMsg::SerialFunction_t> val )
{
    return val.second == delete_this_id;
}

map<string, SerialdMsg::SerialFunction_t>::iterator new_end = 
    remove_if (port_map.begin( ), port_map.end( ), is_remove );

port_map.erase (new_end, port_map.end( ) );

Есть что-то странное в

val.second == delete_this_id

но я только что скопировал его из вашего примера кода.