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: согласно вставке / стиранию [23.2.4.2 / 6]
• deque: согласно вставке / стиранию [23.2.1.2 / 1]
• list: как за вставку / стирание [23.2.2.2 / 1]

---

Примечание 1

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

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

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

Примечание 3

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

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

например, когда вы выполняете ряд операций вставки в 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:

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

C++11:

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

так что в 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() С a reserve() может привести к большим capacity() чем просил), любые последующие insert() может привести к перераспределению и недействительности всех итераторов и ссылок. В C++11 этого не произойдет, и вы всегда можете доверять capacity() знать с уверенностью, что следующее перераспределение не произойдет до того, как размер путепроводов capacity().

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