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

(. Хорошо, так титульных переговоры abouting стирания конца() итератора, но найти вернет конец() для несуществующего ключа)

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

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

Спасибо.

Answer 1

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

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

Answer 2

end() не является interator в карте. Это действительно «один конец» карты.

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

Answer 3

Вот краткий пример того, как я использую карту 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)); 
} 

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

Answer 4

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

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; 

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