Es geht mir jetzt einfach um die Erwartung, die man zur Threadsicherheit der STL vernünftigerweise haben kann, speziell beim gleichzeitigen Lesen aus mehreren Threads. Beispielsweise halte ich es für vernünftig, anzunehmen, dass der gleichzeitige Lesezugriff von mehreren Threads auf einen vector nichts kaputt macht. Man kann sich ja ungefähr vorstellen, wie etwas implementiert wird und entsprechend ableiten, ob ein gleichzeitiger Lesezugriff möglich ist.

Wie sieht es mit solchen Überlegungen beim operator[] der map aus? Wenn ein Eintrag mit dem Key nicht existiert, wird er ja angelegt, was die interne Struktur der map verändern kann. Ist es sinnvoll anzunehmen, dass aus einer map nicht mehrere Threads gleichzeitig lesen können? Könnte der const Value& operator[] const so implementiert werden, dass er an der map nichts verändert, da er ohnehin eine const Referenz zurückgibt (map hält irgendwo den Standardwert vorrätig)?

Oder ist es möglicherweise sicher, den operator[] anzuwenden, wenn man vorher auf Existenz des Keys prüft? Wildes Raten herzlich willkommen. Bevor die ersten Leute ausflippen, ich habe momentan keinen konkreten Anwendungsfall, es ist mir also egal, wie verlässlich die Aussagen sind - ich sammle nur Ideen.

Grüssli

Und statische Funktionen (sowie freie Funktionen und Funktions-Templates) haben auch gefälligst threadsafe zu sein.

Das beantwortet auch deine Frage nach dem operator []: nope, da er nicht const ist. Mir ist klar dass es durchaus Implementierungen geben könnte wo das problemlos funktioniert solange der Key für [] immer schon existiert, bloss garantieren wird es dir wohle keine Implementierung.

Verwende einfach find und gut is.

Ist es sinnvoll anzunehmen, dass aus einer map nicht mehrere Threads gleichzeitig lesen können?

Nein, normalerweise geht das, bloss nicht über [] sondern über find wie Dravere
schon vorgeschlagen hat.

Könnte der const Value& operator[] const so implementiert werden, dass er an der map nichts verändert, da er ohnehin eine const Referenz zurückgibt (map hält irgendwo den Standardwert vorrätig)?

Wer behauptet denn dass es diesen Operator gibt? Ich behaupte es gibt ihn nicht (darf es auch garnicht). -> find.

Oder ist es möglicherweise sicher, den operator[] anzuwenden, wenn man vorher auf Existenz des Keys prüft?

Und nochmal: verwende find.

Wildes Raten herzlich willkommen.

Also WILD geraten ist von mir hier nichts, und ich würde sogar behaupten ziemlich verlässlich.

BTW:

MSDN schrieb:

Container Classes and complex

The container classes are vector, deque, list, queue, stack, priority_queue, valarray, map, hash_map, multimap, hash_multimap, set, hash_set, multiset, hash_multiset, basic_string, and bitset.

A single object is thread safe for reading from multiple threads. For example, given an object A, it is safe to read A from thread 1 and from thread 2 simultaneously.

If a single object is being written to by one thread, then all reads and writes to that object on the same or other threads must be protected. For example, given an object A, if thread 1 is writing to A, then thread 2 must be prevented from reading from or writing to A.

It is safe to read and write to one instance of a type even if another thread is reading or writing to a different instance of the same type. For example, given objects A and B of the same type, it is safe if A is being written in thread 1 and B is being read in thread 2.

iostream Classes
The iostream classes follow the same rules as the container classes, with one exception. It is safe to write to an object from multiple threads. For example, thread 1 can write to cout at the same time as thread 2. However, this can result in the output from the two threads being intermixed.

Note:
Reading from a stream buffer is not considered to be a read operation. It should be considered as a write operation, because this changes the state of the class.

Und ich bin mir 99% sicher dass die mit "read" und "write" genau das meinen was ich oben beschrieben habe (const vs. non-const).

Andere STL Implementierungen haben durchaus ähnliche Aussagen zu dem Thema, also guck dir einfach mal die Doku zu STLport oder der GNU STL an.

BTW: weiss jmd. wie das mit C++09 aussieht, also ob da endlich auch *verbindliche* Vorschriften was das angeht in den Standard wandern?