Dlaczego nie zmodyfikować klucza pojemnika asocjacyjnego?

Question

Wiem, że to straszny pomysł, aby zmienić klucz obiektu w zbiorczym pojemniku, ale zastanawiam się, gdzie dokładnie zabrania mi tego standard. Rozważmy:

#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! 
} 

Zakładam, że powyższe powinny być nielegalne, ale czytałem standard od jakiegoś czasu i nie mogę znaleźć niczego, co rzeczywiście sprawiato nielegalne. Gdzie to jest? A może ukrywa się w przyszłym raporcie o usterkach?

Answer 1

Wprowadza niezdefiniowane zachowanie w programie, jeśli modyfikuje się wartości w taki sposób, że porównanie dwóch kluczy różni się po zmianie zgodnie z określonym komparatorem.

z pkt 23.2.4/3 C++ 11 standardowych associative.reqmts ([]):

Wyrażenie „Równoważność klawiszy” oznacza stosunek równoważności nałożone porównania i nie operator== na klucze. Oznacza to, że dwa klucze k1 i k2 są uważane za równoważne, jeżeli dla porównaniaobiekt , comp(k1, k2) == false && comp(k2, k1) == false. Dla każdego z dwóch kluczy k1 i k2 w tym samym pojemniku, wywołanie comp(k1, k2) zawsze zwraca tę samą wartość.