Почему бы не изменить ключ ассоциативного контейнера?

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

Это вводит Неопределенное поведение в вашей программе, если вы изменяете значения таким образом, чтобы сравнение любых двух ключей было различным после изменения в соответствии с указанным вами компаратором.

в соответствии с пунктом 23.2.4/3 C++ 11 стандарта на ([associative.reqmts]):

Фраза «эквивалентность ключей» означает отношение эквивалентности, введенное сравнение и не operator== на клавиши. То есть два ключа k1 и k2 считаются эквивалентными, если для сравнения объект comp, comp(k1, k2) == false && comp(k2, k1) == false. Для любых двух ключей k1 и k2 в тот же контейнер, вызывающий comp(k1, k2) должен всегда возвращать то же значение.