イテレータの有効性とスレッド

Question

C++ 11プログラムのメインスレッドでは、std::setを作成し、アイテムを入力してイテレータitを抽出したとします。その後、別のスレッドから、要素を追加できるだけでなく、消去されないようにセットを変更します。

itの妥当性は、セットが変更されている間も保証されていますか？または、セットが他のスレッドからの挿入操作によって変更されている間にitが無効であると考えるべきですか？セクション23.2.1 [container.requirements.general]から

Answer 1

：

特に断りのない限り（明示的に、または他の機能の点で関数を定義することによって）、容器のメンバ関数を呼び出すか、ライブラリの引数としてコンテナを渡しますそのコンテナ内のオブジェクトにイテレータを無効化したり、その値を変更してはならない。このようstd::setとして連想コンテナについては

は、セクション23.2.4（[associative.reqmts]）は言う：

insertとemplaceメンバーはならないFF ECTコンテナへのイテレータと参照の有効性、およびeraseメンバーイテレータと消去された要素への参照のみを無効にするものとします。

したがって、イテレータは追加アイテムを挿入した後も有効です。

しかし、スレッドの安全性は全く別のトピックです。

セクション17.6.5.9（[res.on.data.races]）基礎となるコンテナにアクセスすることができますが、それを修正してはならない、標準ライブラリコンテナまたは文字列のメンバ関数を呼び出すことによって取得したイテレータに

操作することを提供します。

それが更新されていながら、それはコンテナの読み込みになりますので、別のスレッドからコレクションに挿入しながらstd::setイテレータを使用することは必ずしも安全ではありません。あなたの実装はより強い保証を提供するかもしれません。