map.erase (map.end ())?

Question

Рассмотрим:

#include <map>

int main()
{
    std::map< int, int > m;
    m[ 0 ] = 0;
    m[ 1 ] = 1;

    m.erase( 0 );  // ok
    m.erase( 2 );  // no-op
    m.erase( m.find( 2 ) );  // boom!
}

(ОК, поэтому заголовок говорит об удалении итератора end (), но find возвращает end () для несуществующего ключа.)

Почему стирается несуществующая клавиша OK, но стирается end (). Я не вижу явного упоминания об этом в стандарте?

Я пробовал это на VS2005 (выбрасывает исключение в конфигурации отладки) и GCC 4.0.1 (100% CPU). Это зависит от реализации?

Спасибо.

Answer 1

Для erase(key) стандарт гласит, что все элементы со значением key удалены. Конечно, не может быть таких ценностей.

For erase(it) (где it - это std::map::iterator), стандарт говорит, что элемент, на который он указывает, удален - к сожалению, если это end(), он не указывает на допустимый элемент, и выключено в неопределенное поведение земля, как если бы вы использовали end() для любой другой операции с картой. Подробнее см. Раздел 23.1.2.

Answer 2

end() не является интегратором на карте. Это фактически «один за концом» карты.

Версия 'iterator' хочет, чтобы итератор для чего-либо на карте.
Версия ключа «erase» выполняет поиск и защищает себя от не найденного ключа, версия итератора предполагает, что вы не пытаетесь сломать что-либо.

Answer 3

Вместо примера, приведенного в предыдущем посте ...

MapType::iterator it = the_map.find ("new_key");

// Does not exist.
if (it == the_map.end()) {
  the_map.insert (std::make_pair ("new_key", 10));
}

, который делает два обхода дерева, используйте ...

pair<MapType::iterator, bool> rc = the_map.insert(make_pair("new_key", 0));
if (rc.second)
    rc.first.second = 10;

Таким образом, вы выполняете один обход дерева, и у вас есть готовый итератор для выполнения других задач.

Answer 4

Вот краткий пример того, как я использую карту STL с итераторами при удалении. Я также делаю то же самое при выполнении вставки. Лично мне нравится использовать typedef для конкретного определения карты, но выбор за вами.

typedef std::map... MapType;

MapType the_map;

MapType::iterator it = the_map.find ("key");
if (it != the_map.end()) {
  // Do something productive.
  the_map.erase (it);
}

MapType::iterator it = the_map.find ("new_key");

// Does not exist.
if (it == the_map.end()) {
  the_map.insert (std::make_pair ("new_key", 10));
}

Надеюсь, это поможет!