Was passiert mit einem STL iterator ist nach dem löschen ist es im VS, UNIX/Linux?

Bitte betrachten Sie das folgende Szenario:


map(T,S*) & GetMap(); //Forward decleration

map(T, S*) T2pS = GetMap();

for(map(T, S*)::iterator it = T2pS.begin(); it != T2pS.end(); ++it)
{
    if(it->second != NULL)
    {
        delete it->second;
        it->second = NULL;
    }
    T2pS.erase(it);
    //In VS2005, after the erase, we will crash on the ++it of the for loop.
    //In UNIX, Linux, this doesn't crash.
}//for

Es scheint mir, dass in VS2005, nach dem "erase", der iterator wird gleich zu Ende(), daher der Absturz beim Versuch zu erhöhen es.
Gibt es wirklich Unterschiede zwischen Compilern in das Verhalten hier vorgestellt?
Wenn ja, was wird der iterator nach dem "löschen" gleich in UNIX/Linux?

Dank...

InformationsquelleAutor Gal Goldman | 2009-01-11
  1. 21

    Ja, wenn Sie erase einen iterator, iterator bekommt eine so genannte singular value, was bedeutet, es gehört nicht zu jedem container mehr. Sie können nicht, Inkrement, Dekrement-oder Auslesen/schreiben um es nicht mehr. Die richtige Art und Weise zu tun, die Schleife ist:

    for(map<T, S*>::iterator it = T2pS.begin(); it != T2pS.end(); T2pS.erase(it++)) {
    //wilhelmtell in the comments is right: no need to check for NULL. 
    //delete of a NULL pointer is a no-op.
    if(it->second != NULL) {
        delete it->second;
        it->second = NULL;
    }
}

    Für Container, die ungültig werden könnten, andere Iteratoren beim löschen eines iterator erase gibt den nächsten gültigen iterator. Dann tun Sie es mit

    it = T2pS.erase(it)

    So funktioniert es für std::vector und std::deque, aber nicht für std::map oder std::set.

    • Korrigieren Sie mich, wenn ich falsch Liege, aber es gibt keinen Unterschied zwischen: es = T2pS.erase(it++); auf die Art, wie es geschrieben in der for-Schleife in Frage, weil in beiden Fällen "es" wird ungültig durch die Zeit, die Sie ++.
    • Ok, ich korrigiere Sie, denn du bist falsch 😉 in erase(it++) das argument wird ausgewertet, bevor der löschen-heißt, es wird (korrekt) erhöht, es in den früheren (unincremented) Wert, der zurückgegeben wird, zu löschen und, dass man ungültig wird, aber es selbst weist bereits auf das nächste element.
    • Ich sehe Ihren Punkt. Vielen Dank für den input
    • Das löschen eines null-Zeigers ist ein noop. Es gibt keine Notwendigkeit, auf null prüfen.
    • Sie vielleicht erwähnen, dass std::list nicht erlöschen alle iterator anderen als den iterator(s), das auf das gelöschte element(s) beim Aufruf der member löschen () - Funktion.
    • wilhelmtell, ich dachte, es würde nur noch mehr Verwirrung in das Spiel, wenn ich erwähnen, weitere Container. Ihr Punkt zum löschen einer nullpointer ist gut, imho. krank hinzufügen
    • Im löschen->zweiten; Sie sind nicht das löschen der post inkrementiert den iterator verweist auf den zweiten, und ich denke, dass Sie wollen, löschen Sie das 'es' vor der post inkrementierten Wert.
    • für deque, wie etwa deque.löschen(itor++)?

    InformationsquelleAutor Johannes Schaub - litb
  2. 4

    Nach Aufruf erase auf einen iterator in eine std::map ist es ungültig. Dies bedeutet, dass Sie es nicht verwenden können. Der Versuch, es zu benutzen (z.B. durch das Inkrementieren es) ist ungültig und kann dazu führen, alles, was geschieht (einschließlich einem crash). Für eine std::map Aufruf erase auf einen iterator, nicht das erlöschen aller anderen iterator, so dass (zum Beispiel) nach diesem Aufruf, (so lange, wie it war nicht T2pS.end()), so gilt:

    T2pS.erase( it++ );

    Natürlich, wenn Sie diesen Ansatz verwenden, möchten Sie nicht unbedingt Inkrement it in der for-Schleife.

    Für dieses Beispiel, obwohl, warum sich die Mühe machen zu löschen, die in der for-Schleife? Warum nicht einfach anrufen T2pS.clear() am Ende der Schleife.

    On die andere hand, es sieht aus wie Sie ein raw-pointer 'rechts' von der Karte, aber die Karte scheint selbst die Spitzen zu widersprechen. In diesem Fall, warum nicht die Sache auf die Rechte Seite der Karte eine Art intelligente Zeiger, wie std::tr1::shared_ptr?

    [Übrigens, ich sehe keine template-Parameter zu map. Haben Sie typedef ' ed spezifische Instanziierung std::map als map im lokalen namespace?]

    InformationsquelleAutor CB Bailey
  3. 0

    Dies sehen:

    for (i = v.begin(); i != v.end(); ) {
  //...
  if (erase_required) {
      i = v.erase(i);
  } else {
      ++i;
  }
}
    • Nicht die Art der Signatur void erase(iterator pos) ?
    • Aha! vector::erase(iterator) zurück, ein anderer iterator, während map::erase(iterator) nicht. Die OP diskutiert Karten, aber dies ist nützlich, Informationen auch.
    • In Visual C++, map::erase(iterator) gibt einen iterator, aber das ist flippig.
    • Siehe: sgi.com/tech/stl/Map.html Suche nach erase(). Es gibt void zurück.
    InformationsquelleAutor orip
  4. 0

    Ich denke, wenn Sie ändern die Kollektion, die Sie ungültig machen Sie Ihre iterator. Sie können nicht Sie verlassen sich auf das Verhalten, als du herausgefunden hast.

    • Behälter nie Iteratoren ungültig werden, wenn Sie den Wert eines Elements geändert wird. Wenn ein element eingefügt oder gelöscht, einige container-Typen (z.B. Vektor -) Iteratoren ungültig werden, zeigen auf andere Elemente, während die meisten (z.B. set, map, list) nicht.
    • Recht. Ich denke mal, dass nicht ganz klar war.
    InformationsquelleAutor Sam Hoice
Schreibe einen Kommentar