Zeiger auf Elemente von Std :: Vektor und Std :: Liste

Question

Ich habe eine std::vector mit Elementen einer Klasse ClassA. Zusätzlich möchte ich einen Index unter Verwendung einer std::map<key,ClassA*> erstellen, die einen Schlüsselwert auf Zeiger auf Elemente abbildet, die in dem Vektor enthalten sind.

gibt es keine Garantie, dass diese Zeiger gültig bleiben (und auf dasselbe Objekt) wenn Elemente hinzugefügt sind am Ende des Vektors (nicht eingefügt). Das heißt, würde der folgende Code korrekt sein:

std::vector<ClassA> storage; 
std::map<int, ClassA*> map; 

for (int i=0; i<10000; ++i) { 
    storage.push_back(ClassA()); 
    map.insert(std::make_pair(storage.back().getKey(), &(storage.back())); 
} 
// map contains only valid pointers to the 'correct' elements of storage 

Wie ist die Situation, wenn ich std::list statt std::vector?

Answer 1

Vektoren - Nein. Da die Kapazität von Vektoren niemals abnimmt, ist sichergestellt, dass Verweise, Zeiger und Iteratoren auch beim Löschen oder Ändern von Elementen gültig bleiben, sofern sie sich auf eine Position vor den manipulierten Elementen beziehen. Einfügungen können jedoch Verweise, Zeiger und Iteratoren ungültig machen.

Listen - Ja, Einfügen und Löschen von Elementen nicht ungültig Zeiger, Referenzen und Iteratoren zu anderen Elementen

Answer 2

Soweit ich weiß, gibt es keine solche Garantie. Das Hinzufügen von Elementen zum Vektor führt zu einer Neuzuordnung von Elementen, wodurch alle Zeiger in der Karte ungültig werden.

Answer 3

machen sie einfach beide speichern Zeiger eine explizit die Objekte löschen, wenn Sie sie nicht brauchen.

std::vector<ClassA*> storage; 
std::map<int, ClassA*> map; 

for (int i=0; i<10000; ++i) { 
    ClassA* a = new ClassA() 
  storage.push_back(a) 
  map.insert(std::make_pair(a->getKey(), a)) 
} 
// map contains only valid pointers to the 'correct' elements of storage 

Answer 4

Ich bin mir nicht sicher, ob es garantiert wird, aber in der Praxis sollte storage.reserve(needed_size) sicherstellen, dass keine Umschichtungen auftreten.

Aber warum speichern Sie keine Indizes?
Es ist einfach, Indizes in Iteratoren zu konvertieren, indem Sie sie dem begin iterator hinzufügen (storage.begin()+idx) und es ist einfach, jeden Iterator in einen Zeiger zu verwandeln, indem Sie ihn zuerst dereferenzieren und dann seine Adresse nehmen (&*(storage.begin()+idx)).

Answer 5

Verwenden Sie std::deque! Zeiger auf die Elemente sind stabil, wenn nur push_back() verwendet wird.

Hinweis: Iteratoren zu Elementen können ungültig sein! Zeiger auf Elemente werden nicht angezeigt.

Edit: diese Antwort erklärt die Details, warum: C++ deque's iterator invalidated after push_front()

Answer 6

Von einer der Kommentare auf eine andere Antwort, es scheint, als ob alles, was Sie wollen zentralisieren (problemloser) Speicherverwaltung. Wenn das wirklich der Fall ist, sollten Sie vordefinierte Lösungen wie die boost pointer container-Bibliothek in Erwägung ziehen und Ihren eigenen Code so einfach wie möglich halten.

Insbesondere werfen Sie einen Blick auf ptr_map

Answer 7

1. für Vektoren keine.

2. für Listen ja. wie? Iterator arbeitet als Zeiger auf einen bestimmten Knoten in der Liste. so können Sie Werte zu jeder Struktur zuweisen wie:

   Liste Myliste;

   Paar < Liste :: Iterator, Int> Temp;

   temp = make_pair (mylist.begin(), x);