Что может пойти не так
- HashSet использует сначала hashCode для выбора «ведра» (bucket), а затем equals для проверки равенства в этом ведре. Если equals говорит, что два Point равны, а hashCode для них разный, то они окажутся в разных ведрах и HashSet:
- может хранить «дубликаты» равных объектов;
- contains(...) и remove(...) для эквивалентного объекта вернут false (элемент не найден).
- Если hashCode корректен при вставке, но поля, участвующие в equals/hashCode, потом изменяются, объект «потеряется» в множестве: он останется в старом ведре, и поиск/удаление по новым значениям не сработают.
Почему equals и hashCode должны быть согласованы
- Контракт (важно): если для объектов a и b метод equals возвращает true, то обязательно должно выполняться $a.hashCode()==b.hashCode()$.
- Обратное не обязательно: равные hashCode для неравных объектов допустимы (коллизии), но ухудшают производительность.
Как исправить
1. Реализовать hashCode, согласованный с equals. Примеры.
- Если Point хранит целые координаты $x,y$ (int):
- простой и распространённый вариант: вернуть сочетание с множителем $31$:
- формула: $31\ast x+y$.
- или использовать утилиту: `Objects.hash(x, y)`.
- Если координаты — double $x,y$:
- сначала получить хеши компонентов через преобразование битов, затем комбинировать:
- для компонента $x$: взять биты $bit{s}_x=\text{Double.doubleToLongBits}(x)$ и хеш $h_x=(int)(bit{s}_x\hat{}(bit{s}_x>>>32))$;
- аналогично для $y$;
- итог: $31\ast h_x+h_y$.
2. Не использовать наследуемый от Object hashCode (по ссылке) при переопределении equals.
3. Действовать аккуратно с изменяемыми полями:
- либо сделать поля, участвующие в equals/hashCode, неизменяемыми (final);
- либо не помещать изменяемые по этим полям объекты в HashSet/HashMap, пока они могут меняться.
4. Быстрые практические варианты:
- сгенерировать equals/hashCode IDE (IntelliJ/Eclipse) или использовать `Objects.hash(...)`;
- в новых версиях Java — использовать record для неизменяемых data-классов: запись автоматически создаёт корректные equals/hashCode.
Короткий пример формулы для int-полей: $hash=31\ast x+y$.