Почему ключи HashMap должны быть неизменяемыми?

Question

Ключи HashMap должны быть неизменяемыми, потому что их hashCode() и equals() используются для определения места хранения. Если состояние ключа изменится после добавления в карту, HashMap потеряет возможность найти этот элемент. Это приводит к тому, что данные «пропадают» из карты. Ошибка не вызывает исключений и проявляется только логически. Поэтому неизменяемость — критическое требование.

YeaHub · Accepted Answer

Работа HashMap напрямую зависит от стабильности ключей.Как HashMap использует ключПри добавлении элемента:Вызывается hashCode() ключаВычисляется индекс bucket’аКлюч сохраняется в определенном местеЕсли после этого изменить ключ, его новое состояние больше не соответствует исходному bucket’у.Что происходит при изменении ключаЕсли изменилось поле, участвующее в:hashCode()equals()то:поиск через get() не находит ключcontainsKey() возвращает falseremove() не работаетПри этом сам объект физически остается внутри карты.Почему это особенно опасноТакие ошибки:не бросают исключенийпроявляются только в runtimeсложно воспроизводятсячасто всплывают под нагрузкойПрактический выводКлючи должны быть:неизменяемымилогически стабильнымибез сеттеров для значимых полейВывод: неизменяемость ключей гарантирует, что HashMap сможет корректно находить и управлять своими элементами.