Контракт между equals() и hashCode(). Зачем он нужен для работы HashMap?

Question

Контракт требует:Если a.equals(b) == true, то a.hashCode() == b.hashCode()Обратное не обязательноНарушение контракта ломает работу HashMap - объекты могут потеряться или дублироваться.

YeaHub · Accepted Answer

Правила контракта:Согласованность: При повторных вызовах на неизменном объекте hashCode() должен возвращать одно значениеРавенство объектов → Равенство хэшей (обратное неверно)Пример нарушения:class Person {
    String name;
    
    @Override
    public boolean equals(Object o) { /* сравнение по name */ }
    // Нет hashCode() → нарушение контракта
}

Person p1 = new Person("Alice");
Person p2 = new Person("Alice");

map.put(p1, 1);
map.get(p2);  // Вернет null, хотя объекты равны!Для HashMap:Хэш определяет корзину (bucket) для храненияПри коллизиях используется equals() для поискаНарушение → объекты попадают в разные корзины