Có thể tham chiếu đến phần tử bên trong std :: map bị vô hiệu không?

Question

Tôi có ứng dụng đa luồng và tài nguyên được chia sẻ std::map<KeyType, ElementType>. Tôi sử dụng một mutex để bảo vệ chèn, lấy và loại bỏ.

Phương thức nhận của tôi trả về tham chiếu đến phần tử được lưu trữ (mở khóa khi trả về), sau đó tôi thực hiện một số thao tác với phần tử đó.

Câu hỏi: Có thể rằng khi làm việc với các tài liệu tham khảo yếu tố lưu trữ, thread khác có thể thay đổi std::map nên nguyên tố này sẽ được chuyển đến một địa chỉ khác nhau và các tài liệu tham khảo sẽ không còn giá trị? (Tôi biết có một số triển khai ADT nhất định làm sắp xếp lại ADT về thay đổi kích thước).

Answer 1

Nguyên tắc iterator huỷ bỏ hiệu lực đối với container kết hợp (mà std::map là) nói tại [associative.reqmts]/9:

Các chèn và đặt vào một chỗ các thành viên sẽ không ảnh hưởng đến hiệu lực của lặp và tài liệu tham khảo để các thùng chứa, và các thành viên xóa thì tùy theo tính chỉ vô hiệu hóa các trình vòng lặp và tham chiếu đến các phần tử đã xóa.

Vì vậy, nếu một chuỗi chèn phần tử, nó sẽ không ảnh hưởng đến bất kỳ tham chiếu nào đến các phần tử hiện có. Nhưng nếu nó loại bỏ một cái gì đó, các chủ đề khác có thể được borked. Một số hình thức của khóa yếu tố khôn ngoan là theo thứ tự, tôi muốn nói.

Answer 2

Chủ đề khác có thể xóa phần tử hoặc hủy bản đồ, tất nhiên cũng sẽ làm mất hiệu lực phần tử.

Việc xóa một phần tử chỉ làm mất hiệu lực các trình vòng lặp và các lần nhập lại thành phần tử này. Chèn không làm mất hiệu lực vòng lặp hoặc tham chiếu vào bản đồ.

(đó là những gì các second-hand documentation says, ít nhất - và đó là một giả định tôi giữ mà không bao giờ được hết hiệu lực, nếu bằng chứng đếm.)

Một vấn đề khác vẫn là: Thao tác của nguyên tố này thông qua các tài liệu tham khảo trở lại không phải là thread an toàn . Bạn cần đồng bộ hóa, ví dụ: cho mỗi phần tử - và đảm bảo bạn không vi phạm phân cấp khóa.