C++03 (Źródło: Iterator Unieważnia Reguły (C++03))

Wstawianie

kontenery sekwencyjne

• vector: nie ma to wpływu na wszystkie Iteratory i odniesienia przed punktem wstawiania, chyba że nowy Rozmiar kontenera jest większy niż poprzednia pojemność (w tym przypadku wszystkie Iteratory i odniesienia są unieważnione) [23.2.4.3 / 1]
• deque: Wszystkie Iteratory i odwołania są unieważnione, chyba że wstawiony element jest na końcu (z przodu lub z tyłu) deque (w którym to przypadku wszystkie Iteratory są unieważnione, ale odniesienia do elementów nie mają wpływu) [23.2.1.3/1]
• list: wszystkie Iteratory i odwołania nie mają wpływu [23.2.2.3 / 1]

kontenery asocjacyjne

• [multi]{set,map}: wszystkie Iteratory i odwołania nie mają wpływu [23.1.2 / 8]

Adaptery pojemników

• stack: dziedziczony z bazowego kontenera
• queue: kontener bazowy
• priority_queue: dziedziczony z bazowego kontenera

Kasowanie

kontenery sekwencyjne

• vector: każdy iterator i Referencja po punkcie Kasowania są unieważniane [23.2.4.3 / 3]
• deque: Wszystkie Iteratory i odwołania są unieważniane, chyba że usunięte elementy są na końcu (z przodu lub z tyłu) deque (w tym przypadku unieważniane są tylko Iteratory i odniesienia do usuniętych elementów) [23.2.1.3/4]
• list: unieważniane są tylko Iteratory i odwołania do usuniętego elementu [23.2.2.3 / 3]

kontenery asocjacyjne

• [multi]{set,map}: unieważniane są tylko Iteratory i odwołania do usuniętych elementów [23.1.2 / 8]

Adaptery pojemników

• stack: dziedziczony z bazowego kontenera
• queue: dziedziczony z bazowego kontenera
• priority_queue: Pojemnik

Zmiana rozmiaru

• vector: zgodnie z insert/erase [23.2.4.2 / 6]
• deque: zgodnie z insert/erase [23.2.1.2 / 1]
• list: zgodnie z insert/erase [23.2.2.2/1]

Uwaga 1

O ile nie zaznaczono inaczej (albo jawnie lub definiując funkcję w zakresie innych funkcji), wywołując funkcja członka kontenera lub przekazywanie kontener jako argument a funkcja biblioteki nie unieważnia Iteratory do, lub zmienić wartości, obiektów wewnątrz tego kontenera. [23.1/11]

Uwaga 2

W C++2003 nie jest jasne, czy Iteratory "end" podlegają powyższym regułom ; w każdym razie należy założyć, że tak jest (jak to ma miejsce w praktyce).

Uwaga 3

Zasady unieważniania wskaźników są sames jako zasady unieważniania odniesień.

Warto chyba dodać, że iterator insert dowolnego rodzaju (std::back_insert_iterator, std::front_insert_iterator, std::insert_iterator) jest gwarantowane, że pozostanie ważne tak długo, jak wszystkie wstawki są wykonywane przez ten iterator i nie wystąpi żadne inne zdarzenie unieważniające iterator.

Na przykład, gdy wykonujesz serię operacji wstawiania do std::vector za pomocą std::insert_iterator jest całkiem możliwe, że wektor doświadczy zdarzenia realokacji, które unieważni wszystkie Iteratory, które "wskazują" na ten wektor. Jednak insert iterator, o którym mowa, ma gwarancję, że pozostanie ważny, tzn. można bezpiecznie kontynuować sekwencję wstawek. Nie ma potrzeby martwić się o wyzwalanie realokacji wektorów.

Odnosi się to ponownie tylko do wstawiania wykonywanego przez iterator insert. Jeśli iterator-unieważnienie zdarzenia zostanie wywołane przez jakieś niezależne działanie na kontenerze, wtedy iterator insert również zostanie unieważniony zgodnie z ogólnymi zasadami.

Na przykład, to kod

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();

Gwarantuje wykonanie prawidłowej sekwencji wstawek do wektora, nawet jeśli wektor "zdecyduje" się ponownie przydzielić gdzieś w środku tego procesu.

Ponieważ to pytanie przyciąga tak wiele głosów i staje się FAQ, myślę, że lepiej byłoby napisać oddzielną odpowiedź, aby wspomnieć o jednej znaczącej różnicy między C++03 A C++11 w odniesieniu do wpływu operacji wstawiania std::vector na ważność iteratorów i odniesień w odniesieniu do reserve() i capacity(), których najbardziej upvoted odpowiedź nie zauważył.

C++ 03:

Realokacja unieważnia wszystkie odwołania, wskaźniki i Iteratory nawiązując do elementy w sekwencji. Gwarantujemy, że nie realokacja odbywa się podczas wstawek, które następują po wywołaniu do reserve () do czasu, gdy wstawianie spowoduje, że rozmiar wektor większy niż rozmiar podany w ostatnim wywołaniu do reserve () .

C++11:

Realokacja unieważnia wszystkie odwołania, wskaźniki i Iteratory odwołując się do elementów w sekwencji. Gwarantujemy, że nie realokacja odbywa się podczas wstawek, które zdarzają się po wywołaniu do reserve () do czasu, gdy wstawianie spowoduje, że rozmiar wektor większy niż wartość capacity () .

Więc w C++03 nie jest to "unless the new container size is greater than the previous capacity (in which case all iterators and references are invalidated)", Jak wspomniano w drugiej odpowiedzi, zamiast tego powinno być " greater than the size specified in the most recent call to reserve()". Jest to jedna rzecz, którą C++03 różni się od C++11. W C++03 raz insert() powoduje, że rozmiar wektora osiąga wartość określoną w poprzednim wywołaniu reserve() (która może być mniejsza niż obecnie capacity() ponieważ reserve() może spowodować większe capacity() niż oczekiwano), każde następne insert() może spowodować realokację i unieważnić wszystkie Iteratory i odwołania. W C++11 tak się nie stanie i zawsze możesz zaufać capacity(), aby wiedzieć z pewnością, że następna realokacja nie odbędzie się przed rozmiarem capacity().

Podsumowując, jeśli pracujesz z wektorem C++03 i chcesz mieć pewność, że realokacja nie nastąpi podczas wstawiania, jest to wartość argument, który wcześniej przekazałeś reserve(), że powinieneś sprawdzić rozmiar, a nie wartość zwracaną wywołania capacity(), w przeciwnym razie możesz się zaskoczyć ponowną alokacją" przedwczesne ".