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

Контракт equals() и hashCode() напрямую влияет на корректность работы HashMap и HashSet.

Что ожидает HashMap

HashMap работает в два шага:

1. Вычисляет hashCode() ключа и определяет bucket

2. Внутри bucket сравнивает ключи через equals()

Если hashCode() не согласован с equals(), первый шаг ломается.

Проблема на практике

Рассмотрим ситуацию:

• два объекта логически равны (equals() == true)

• hashCode() у них разный (унаследован от Object)

Результат:

• объекты попадают в разные bucket’ы

• HashMap не вызывает equals()

• поиск и удаление не работают

Пример сценария:

map.put(user1, "value");
// позже
map.get(user2); // null, хотя equals(user1, user2) == true

Где ошибка проявляется чаще всего

• HashMap

• HashSet

• ConcurrentHashMap

• любые структуры на основе хеширования

Почему это опасно

Такая ошибка:

• не вызывает исключений

• проявляется только в runtime

• сложно диагностируется

Вывод: если переопределяется equals(), hashCode() обязан быть переопределён всегда.