Что произойдет при нарушении контракта equals/hashCode при работе с HashMap?

Чтобы понять последствия, сначала важно напомнить сам контракт.

Контракт equals/hashCode

Определение:
Контракт требует, чтобы:

1. Если a.equals(b) == true, то a.hashCode() == b.hashCode().

2. hashCode() был стабильным, пока объект используется как ключ.

3. equals() был рефлексивным, симметричным и транзитивным.

Основные сценарии нарушения

Перед перечислением последствий важно понимать, что HashMap доверяет этим методам.

1. equals() переопределен, hashCode() — нет

Последствия:

1. Равные объекты попадают в разные корзины.

2. Поиск по ключу перестает работать.

3. get() возвращает null.

2. hashCode() зависит от изменяемых полей

Если поле ключа меняется после вставки:

1. Хеш-код меняется.

2. Ключ оказывается в «чужой» корзине.

3. Найти или удалить его невозможно.

3. hashCode() одинаковый, но equals() всегда false

Последствия:

1. Все ключи попадают в одну корзину.

2. Производительность резко падает.

3. Карта работает почти как список.

Почему это критично

Ошибки:

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

• проявляются не сразу

• сложно отлаживаются

Краткий вывод

Нарушение контракта equals/hashCode ломает логику HashMap, поэтому ключи должны быть неизменяемыми и корректно реализовывать оба метода.