のstd ::マップスレッドの安全性とイテレータの無効

Question

私は、次のサンプルコードは、スレッドセーフであるかどうかを判断しようとしている：

std::map<K, V> myMap; 

void foo() { 
    myMap[k]; // Construct a new key-value pair with key `k`. 
} 

void bar() { 
    auto it = myMap.find(x); 
    if (it != myMap.end()) { 
     std::lock_gaurd<std::mutex> lg(...); 
     // do something with *it 
    } 
} 

（プログラムが終了するまで、少なくとも）起こって何の削除はありません唯一の操作は、fooに要素を追加し、barにそれらを反復することです。関数fooは1つのスレッドから呼び出され、barは同時に複数のスレッドで呼び出されます。

今、STLコンテナはスレッドセーフではないことを理解しており、myMap::operator[]を使用して非const演算を同時に実行しています。私が混乱しているのは、STL findは基になるマップを変更しないためで、myMap::operator[]はイテレータや参照を無効にしないため、安全ではないと考えられますか？ operator[]は非constなので、私はデータ構造を同時に変更しているか、またはイテレータを無効にしないので安全だと考えることができるので心配する必要はありませんか？

Answer 1

あなたは疑わしいことが正しいです。異なるスレッドから同時にmyMap[k]とmyMap.find(x)を呼び出すことはできません。コンテナと

、あなたは安全に一度、次のいずれかの実行することができます。いずれかから

1. コールのconstメンバ関数を並行スレッドの数、または

2. は非constを呼び出しメンバ関数を正確に1つのスレッドから削除します。 operator[]以来

あなたはミューテックスとそれを守るか、そうでなければ、同時に他のメンバ関数を呼び出していないことを確認する必要があり、constではありません。