連想コンテナのキーを変更してみませんか？

Question

アソシエーション・コンテナ内のオブジェクトのキーを変更するのはひどい考えですが、私はその標準が厳密にどこから禁止されているのか疑問に思います。考えてみましょう：

#include <map> 
#include <memory> 

struct X { int i; }; 

struct lt 
{ 
    bool operator()(const std::shared_ptr<X>& lhs, 
        const std::shared_ptr<X>& rhs) const 
    { 
    return lhs->i < rhs->i; 
    } 
}; 

int main() 
{ 
    std::map< std::shared_ptr<X>, int, lt > m; 
    auto x = std::make_shared<X>(); 
    x->i = 1; 
    m.insert(std::make_pair(x, 2)); 

    x->i = 42; // change key wrt the container! 
} 

私は上記のは違法であることを前提としますが、私は今、いくつかの時間のための標準を読んでいたし、私は実際にがそれは違法になります何かを見つけることができません。それはどこにある？それとも、将来の欠陥報告に隠れているのでしょうか？

Answer 1

これは、指定したコンパレータに応じて変更後に2つのキーの比較が異なるように値を変更した場合、未定義動作をプログラムに挿入します。 C++ 11標準（[associative.reqmts]）のパラグラフ23.2.4/3当たり

：

語句「鍵の等価」と比較しないことによって課される同値関係を意味キーの operator==すなわち、​​とk2の2つのキーは、比較の場合、 オブジェクトcomp、comp(k1, k2) == false && comp(k2, k1) == falseの場合、同等とみなされます。 同じ容器の​​とk2の2つのキーについては、comp(k1, k2)を呼び出すと常に同じ値が返されます。