Что такое контракт hashCode

Контракт hashCode() в Java определяет три обязательных правила:

1. Консистентность: Если объект не изменялся, hashCode() должен возвращать одно и то же значение при каждом вызове (в рамках одного выполнения программы).
2. Равенство объектов: Если два объекта равны по equals(), их hashCode() должен быть одинаковым.
3. Обратное не обязательно: Разные hashCode() у объектов не гарантируют, что они не равны по equals(), но это улучшает производительность хэш-структур (например, HashMap).

Пример нарушения контракта:

class BadHash {
    int id;
    @Override
    public boolean equals(Object o) { /* сравнение по id */ }
    // Нет переопределения hashCode()
}

Такой класс вызовет проблемы в HashSet или HashMap, так как равные объекты могут попасть в разные корзины.