Допустим, у меня есть какая-то коллекция, и я получил итератор для ее начала. Теперь предположим, что я изменил коллекцию. Могу ли я по-прежнему безопасно использовать итератор, независимо от типа коллекции или итератора?
Чтобы избежать путаницы, вот порядок операций, о которых я говорю:
Зависит от контейнера. например если это vector, после изменения контейнера все итераторы могут стать недействительными. Однако, если это list, итераторы, не относящиеся к измененному месту, останутся действительными.
Итераторы вектора становятся недействительными при перераспределении его памяти. Кроме того, вставка или удаление элемента в середине вектора делает недействительными все итераторы, указывающие на элементы, следующие за точкой вставки или удаления. Из этого следует, что вы можете предотвратить аннулирование итераторов вектора, если вы используете
reserve()для предварительного выделения столько памяти, сколько вектор когда-либо будет использовать, и если все вставки и удаления находятся в конце вектора. [1]Семантика аннулирования итератора для
dequeследующая.Insert(включаяpush_frontиpush_back) делает недействительными все итераторы, ссылающиеся наdeque.Eraseв серединеdequeделает недействительными все итераторы, которые ссылаются наdeque.Eraseв начале или концеdeque(включаяpop_frontиpop_back) делает итератор недействительным, только если он указывает на стертый элемент. [2]
Listимеют важное свойство, состоящее в том, что вставка и объединение не делают недействительными итераторы для элементов списка, и что даже удаление делает недействительными только те итераторы, которые указывают на удаляемые элементы. [3]
Mapимеет важное свойство: вставка нового элемента вmapне делает недействительными итераторы, указывающие на существующие элементы. Стирание элемента с карты также не делает недействительными какие-либо итераторы, за исключением, конечно, тех итераторов, которые фактически указывают на стираемый элемент. [4] (то же самое дляset,multisetиmultimap)
vector::insert(один элемент) и vector::erase возвращают новый допустимый итератор.
- person Viktor Sehr; 25.07.2010
Это зависит от рассматриваемой коллекции. Например, изменение std::vector (например, добавление элемента где-либо) может сделать недействительными все итераторы в этом векторе. Напротив, с std::list итераторы остаются действительными, когда вы добавляете другой элемент в список. В некоторых случаях правила еще более сложны (например, если память не изменяет, с std::deque добавление к началу или концу оставляет существующие итераторы действительными, но добавление в любом другом месте может сделать их недействительными - но моя память достаточно плоха, чтобы вы могли проверьте, прежде чем в зависимости от этого).
Нет, итераторы хороши только тогда, когда итерируемый контейнер не меняется. Если коллекция изменена, итератор должен быть получен заново.
