Что произойдет, если equals() переопределён, а hashCode() — нет?

Question

Если equals() переопределён, а hashCode() — нет, контракт между ними нарушается. Объекты, которые считаются равными, могут иметь разные hashCode(). В хеш-коллекциях такие объекты будут вести себя некорректно. Например, объект может не находиться в HashMap, хотя он там есть. Это приводит к трудноуловимым ошибкам.

YeaHub · Accepted Answer

Контракт equals() и hashCode() напрямую влияет на корректность работы HashMap и HashSet.Что ожидает HashMapHashMap работает в два шага:Вычисляет hashCode() ключа и определяет bucketВнутри bucket сравнивает ключи через equals()Если hashCode() не согласован с equals(), первый шаг ломается.Проблема на практикеРассмотрим ситуацию:два объекта логически равны (equals() == true)hashCode() у них разный (унаследован от Object)Результат:объекты попадают в разные bucket’ыHashMap не вызывает equals()поиск и удаление не работаютПример сценария:map.put(user1, "value");
// позже
map.get(user2); // null, хотя equals(user1, user2) == true
Где ошибка проявляется чаще всегоHashMapHashSetConcurrentHashMapлюбые структуры на основе хешированияПочему это опасноТакая ошибка:не вызывает исключенийпроявляется только в runtimeсложно диагностируетсяВывод: если переопределяется equals(), hashCode() обязан быть переопределён всегда.