Ist das Löschen von Elementen aus einem „std::set' während der Iteration ein definiertes Verhalten in C oder umsetzungsspezifisch?

Elemente aus std::set während der Iteration löschen: Auswirkungen auf die Implementierung

Das Durchlaufen einer Menge beim Entfernen von Elementen kann als Vorgang eine Herausforderung darstellen könnte den Iterator möglicherweise ungültig machen. In diesem Zusammenhang stellt sich die Frage: Ist dieses Verhalten durch den C-Standard definiert oder ist es umsetzungsspezifisch?

Implementierungsabhängigkeit

Gemäß dem C-Standard (23.1 .2.8) sollte das Einfügen von Elementen in eine Menge keine Auswirkungen auf Iteratoren oder Verweise auf den Container haben, während das Löschen von Elementen nur Iteratoren und Verweise ungültig machen sollte zu den gelöschten Elementen. Das Verhalten von Iteratoren während Löschvorgängen ist jedoch nicht explizit spezifiziert, sodass es für Implementierungsspezifische Entscheidungen offen bleibt.

GCC-Implementierung

Im bereitgestellten Beispielcode wird verwendet GCC 4.3.3 unter Ubuntu 10.04 führte dazu, dass das Löschen von Elementen aus einem Satz während der Iteration den Iterator nicht ungültig machte. Dies deutet darauf hin, dass die Implementierung von GCC einem entspannteren Ansatz folgt und die weitere Verwendung des Iterators nach dem Löschen ermöglicht.

Konforme Lösung

Um die Standardkonformität sicherzustellen, ein anderer Ansatz ist erforderlich. Eine gängige Lösung besteht darin, vor dem Löschen des Elements eine Kopie des Iterators zu erstellen:

for (auto it = numbers.begin(); it != numbers.end(); ) {
    if (*it % 2 == 0) {
        numbers.erase(it++);
    }
    else {
        ++it;
    }
}

In diesem Fall übergibt das Postfix-Inkrement (it ) die alte Position an die Funktion erase() und springt gleichzeitig zum nächstes Element. Hier wird die Postfix-Inkrementierung bevorzugt, da dadurch das potenzielle Problem der doppelten Inkrementierung vermieden wird, das bei der Präfix-Inkrementierung auftreten kann (wenn die Bedingung falsch ist).

C 11-Update

Mit Mit der Einführung von C 11 steht eine elegantere Lösung zur Verfügung. Die Funktion erase() gibt nun einen Iterator zu dem Element zurück, das auf das zuletzt entfernte Element folgt (oder set::end, wenn das letzte Element gelöscht wurde). Dies ermöglicht eine prägnantere Implementierung:

for (auto it = numbers.begin(); it != numbers.end(); ) {
    if (*it % 2 == 0) {
        it = numbers.erase(it);
    }
    else {
        ++it;
    }
}

Das obige ist der detaillierte Inhalt vonIst das Löschen von Elementen aus einem „std::set' während der Iteration ein definiertes Verhalten in C oder umsetzungsspezifisch?. Für weitere Informationen folgen Sie bitte anderen verwandten Artikeln auf der PHP chinesischen Website!