Làm thế nào để di chuyển hiệu quả (một số) vật phẩm từ một std :: map sang một cái khác?

Tôi có hai std::map<>đối tượng avà bmuốn di chuyển ( extract+ insert) một số phần tử (nút) từ bản đồ này sang bản đồ khác dựa trên một số vị ngữp .

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

Mã này segfaults trong tiếng kêu. Tôi giả sử vấn đề là sự gia tăng củai sau khi nút của nó được trích xuất từ ​​a.

Là cách đúng / duy nhất để khắc phục điều này bằng cách sử dụng tăng sau?, Ví dụ:

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

EDIT : Tôi đã xóa phần về "tại sao điều này hoạt động trong gcc?", Vì tôi không thể sao chép phần này trên thiết lập hiện tại của mình. Tôi tin rằng nó đã từng xảy ra tại một số thời điểm nhưng với gcc 9.2.1, tôi gặp bế tắc (thay vì segfault). Dù bằng cách nào, tăng sau khi extract()không hoạt động.

Tôi giả sử vấn đề là sự gia tăng của i sau khi nút của nó được trích xuất từ ​​a.

Thật. Trích xuất làm mất hiệu lực các trình vòng lặp cho phần tử được trích xuất và ilà trình vòng lặp như vậy. Hành vi tăng hoặc gián tiếp thông qua một trình vòng lặp không hợp lệ là không xác định.

Tại sao điều này dường như làm việc trong gcc nhưng không phải trong tiếng kêu?

Bởi vì hành vi của chương trình là không xác định.

Là cách đúng / duy nhất để khắc phục điều này với mức tăng sau?

Đó là một cách đúng đắn để khắc phục điều này. Đó không phải là một cách đặc biệt xấu. Nếu bạn không muốn lặp lại gia số, một cách tiếp cận là sử dụng một biến:

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