C++03 (источник: Правила Недействительности Итератора (C++03))

вставка

контейнеры последовательности

• vector: все итераторы и ссылки до точки вставки не затрагиваются, если новый размер контейнера не превышает предыдущую емкость (в этом случае все итераторы и ссылки недействительны) [23.2.4.3/1]
• deque: все итераторы и ссылки недействительны, если вставленный элемент не находится в конце (спереди или сзади) deque (в этом случае все итераторы недействительны, но ссылки на элементы не затрагиваются) [23.2.1.3/1]
• list: все итераторы и ссылки не затронуты [23.2.2.3 / 1]

ассоциативные контейнеры

• [multi]{set,map}: все итераторы и ссылки не затронуты [23.1.2 / 8]

контейнер адаптеры

• stack: наследуется от базового контейнера
• queue: наследуется от базового контейнера
• priority_queue: наследуется от базового контейнера

уничтожение

контейнеры последовательности

• vector: каждый итератор и ссылка после точки стирания недействительны [23.2.4.3 / 3]
• deque: все итераторы и ссылки недействительны, если только удаленные члены не находятся в конце (спереди или сзади) deque (в этом случае недействительны только итераторы и ссылки на удаленные члены) [23.2.1.3/4]
• list: недействительны только итераторы и ссылки на стертый элемент [23.2.2.3 / 3]

ассоциативные контейнеры

• [multi]{set,map}: признаны недействительными только итераторы и ссылки на стертые элементы [23.1.2/8]

контейнер переходник

• stack: наследуется от базового контейнера
• queue: наследуется от базового контейнера
• priority_queue: наследуется от базового контейнера

изменение размера

• vector: согласно insert / erase [23.2.4.2 / 6]
• deque: согласно insert / erase [23.2.1.2 / 1]
• list: как за вставку / стирание [23.2.2.2 / 1]

Примечание 1

если не указано иное (либо явно или путем определения функции с точки зрения других функций), функция-член контейнера или передача контейнер в качестве аргумента a функции библиотеки не аннулирует итераторы to или изменить значения, объекты внутри этого контейнера. [23.1/11]

Примечание. 2

в C++2003 неясно, подчиняются ли" конечные " итераторы вышеуказанным правилам; вы должны предположить, во всяком случае, что они (как это имеет место на практике).

Примечание 3

правила недействительности указателей являются именами в качестве правил недействительности ссылок.

вероятно, стоит добавить, что итератор вставки любого вида (std::back_insert_iterator, std::front_insert_iterator, std::insert_iterator) гарантированно остается действительным до тех пор, пока все вставки выполняются через этот итератор и никакое другое событие итератора-invalidating не происходит.

например, когда вы выполняете серию операций вставки в std::vector С помощью std::insert_iterator вполне возможно, что вектор будет испытывать событие перераспределения, которое аннулирует все итераторы, которые "указывают" на этот вектор. Однако итератор вставки, о котором идет речь, гарантированно остается действительным, т. е. вы можете безопасно продолжить последовательность вставок. Нет никакой необходимости беспокоиться о запуске векторного перераспределения вообще.

это, опять же, относится только к вставкам, выполняемым через сам итератор вставки. Если событие iterator-invalidating инициируется каким-либо независимым действием на контейнере, то итератор insert также становится недействительным в соответствии с общим правила.

например, этот код

std::vector<int> v(10);
std::vector<int>::iterator it = v.begin() + 5;
std::insert_iterator<std::vector<int> > it_ins(v, it);

for (unsigned n = 20; n > 0; --n)
  *it_ins++ = rand();

гарантированно выполняет допустимую последовательность вставок в вектор, даже если вектор "решает" перераспределить где-то в середине этого процесса.

поскольку этот вопрос привлекает так много голосов и становится FAQ, я думаю, было бы лучше написать отдельный ответ, чтобы упомянуть одно существенное различие между C++03 и C++11 относительно влияния std::vectorоперация вставки по валидности итераторов и ссылок относительно reserve() и capacity(), который не заметил самый популярный ответ.

C++ 03:

перераспределение недействительными все ссылки, указатели и итераторы ссылка на элементы в последовательности. Гарантируется, что нет перераспределение происходит во время вставок, которые происходят после вызова reserve () до тех пор, пока вставка не сделает размер вектор больше размера, указанного в последнем вызове резерв().

C++11:

перераспределение недействительными все ссылки, указатели и итераторы ссылка на элементы последовательность. Гарантируется, что нет перераспределение происходит во время вставок, которые происходят после вызова reserve () до тех пор, пока вставка не сделает размер вектор больше, чем значение емкости ().

таким образом, в C++03 это не"unless the new container size is greater than the previous capacity (in which case all iterators and references are invalidated) "как упоминалось в другом ответе, вместо этого это должно быть"greater than the size specified in the most recent call to reserve()". Это одна вещь, которую C++03 отличается от C++11. В C++03, один раз insert() вызывает размер вектора для достижения значение, указанное в предыдущем reserve() звонок (который вполне может быть меньше, чем ток capacity() С reserve() может привести к большим capacity() чем просил), любой последующий insert() может вызвать перераспределение и аннулировать все итераторы и ссылки. В C++11 этого не произойдет, и вы всегда можете доверять capacity() знать с уверенностью, что следующее перераспределение не произойдет до размеров эстакады capacity().

в заключение, если вы работаете с C++03 вектор, и вы хотите убедиться, что перераспределение не произойдет при выполнении вставки, это значение аргумента, который вы ранее передали reserve() что вы должны проверить размер, а не возвращаемое значение вызова capacity(), в противном случае вы можете удивиться"преждевременное" перераспределение.