Wie können (einige) Elemente effizient von einer std :: map auf eine andere verschoben werden?

Ich habe zwei std::map<>Objekte aund bmöchte einige Elemente (Knoten) basierend auf einem Prädikat von einer Karte zur anderen verschieben ( extract+ insert) p.

for (auto i = a.begin(); i != a.end(); ++i)
    if (p(*i))
        b.insert(a.extract(i))

Dieser Code ist in clang fehlerhaft. Ich gehe davon aus, dass das Problem das Inkrement ist, inachdem sein Knoten aus a extrahiert wurde.

Ist dies der richtige / einzige Weg, um dies mithilfe eines Post-Inkrements zu beheben? ZB:

for (auto i = a.begin(); i != a.end();)
    if (p(*i))
        b.insert(a.extract(i++))
    else
        ++i;

BEARBEITEN : Ich habe den Teil über "Warum funktioniert das in gcc?" Entfernt, da ich dies in meinem aktuellen Setup nicht reproduzieren kann. Ich bin überzeugt, dass es irgendwann einmal war, aber mit gcc 9.2.1 bekomme ich einen Deadlock (anstelle eines Segfault). In beiden Fällen extract()funktioniert das Inkrementieren nach nicht.

Ich gehe davon aus, dass das Problem das Inkrement von i ist, nachdem der Knoten aus a extrahiert wurde.

Tatsächlich. Die Extraktion macht Iteratoren für das extrahierte Element ungültig und iist ein solcher Iterator. Das Verhalten des Inkrementierens oder Indirektierens durch einen ungültigen Iterator ist undefiniert.

Warum funktioniert das scheinbar in gcc, aber nicht in clang?

Weil das Verhalten des Programms undefiniert ist.

Ist der richtige / einzige Weg, dies mit einem Post-Inkrement zu beheben?

Es ist ein richtiger Weg, dies zu beheben. Es ist kein besonders schlechter Weg. Wenn Sie das Inkrement nicht wiederholen möchten, verwenden Sie eine Variable:

for (auto i = a.begin(); i != a.end();) {
    auto current = i++;
    if (p(*current)) {
        // moving is probably unnecessary
        b.insert(a.extract(std::move(current)));
    }
}