なぜstd :: mapを注文し、std :: setを注文してtransaction_safeを作ることができないのですか？

Question

として、トランザクショナルメモリTS（ISO/IEC TS 19841：2015）がある既知の実験C++で：Is it enough to declare a function as transaction_safe, so they can be used thread-safe?

そしてoperator[]transaction_safeとして宣言されたが、コンテナだけのために：std::vector、std::unordered_map、std::unordered_multimap、std::unordered_set、std::unordered_multiset、std::deque - 撮影http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2015/n4514.pdf

23.4連想コンテナ[連想]

23.4.4クラステンプレート・マップ：n4514から23.4.4.1 [map.overview]で[地図]

23.4.4.1クラステンプレート・マップの概要[map.overview]

、開始と終了メンバーのすべてのバリアントの宣言 に "transaction_safe" を追加サイズがmax_sizeで空であることを示す の宣言に適用されます。

しかし、なぜoperator[]がstd::mapためtransaction_safeとstd::setとして宣言（しかしunordered_map/unordered_setのためにそこにある）が存在しないのですか？

そして、なぜstd::mapとstd::setためbeginとendメンバー関数のすべてのバリアントの宣言に「transaction_safe」が追加されていますか？

begin

イテレータとendはなく連想配列のために、std::array、std::vector又はstd::listために非常に必要です。 find、at、insert、eraseとoperator[]：連想配列で変更検索および検索または機能を必要としました。それらがなければ、意味をなさない。

はなぜのstd ::マップ命じたとstd ::を命じtransaction_safeを作るために招かないように設定されていますか？ unordered_meow::operator[]は無条件にトランザクションセーフであることが指定されていることを

Answer 1

は欠陥です。

で開始する

• 、unordered_set、unordered_multisetとunordered_multimapはそもそもoperator[]を持っていません。
• unordered_map::operator[]はHashとPredを呼び出し、そしておそらくメモリを割り当てると、新しいキーと値のペアを構築する必要があります。これらのどれも、必ずしも取引に安全ではありません。無条件にトランザクションセーフであることを指定しない限り、 関数この句は、トランザクションで

  ：代わりに、map::operator[]のトランザクションの安全性が[container.requirements.general]に添加することによって支配され

すべての必要な操作が トランザクションセーフである場合は安全です。[注：これには、 タイプの操作、std::allocator_traits、およびCompare、Pred、またはHashオブジェクトの操作がそれぞれの機能によって異なります。 - end note]