（一部の）アイテムを1つのstd :: mapから別のstd :: mapに効率的に移動する方法は？

2つのstd::map<>オブジェクトがaありb、いくつかの述語に基づいて、1つのマップから別のマップにいくつかの要素（ノード）を移動（extract+ insert）したいと思いpます。

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

このコードはclangでsegfaultします。問題は、iノードがaから抽出された後のの増加であると思います。

ポストインクリメントを使用してこれを修正する正しい/唯一の方法はありますか？例：

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

編集：現在の設定ではこれを再現できないため、「gccで動作する理由」に関する部分を削除しました。ある時点でそれが以前は使用されていたと確信していますが、gcc 9.2.1では（segfaultの代わりに）デッドロックが発生します。いずれにしても、後の増分extract()は機能しません。

問題は、ノードがaから抽出された後のiの増加にあると思います。

確かに。抽出は、抽出された要素に対する反復子を無効にしますi。これは、そのような反復子です。無効な反復子による増分または間接化の動作は定義されていません。

なぜこれはgccでは機能しているように見えますが、clangでは機能しないのですか？

プログラムの動作が定義されていないためです。

これをポストインクリメントで修正する正しい/唯一の方法はありますか？

それは、この問題を解決する正しい方法。特に悪い方法ではありません。増分を繰り返さない場合は、変数を使用する方法があります。

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