Чем выражен контракт между equals и hashCode

Контракт между equals и hashCode в Java требует, чтобы:

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

Нарушение контракта приводит к проблемам в HashSet, HashMap и других хеш-коллекциях.

@Override
public boolean equals(Object o) {
    if (this == o) return true;
    if (o == null || getClass() != o.getClass()) return false;
    Person person = (Person) o;
    return age == person.age && Objects.equals(name, person.name);
}

@Override
public int hashCode() {
    return Objects.hash(name, age); // Согласованность с equals
}

Если переопределить equals(), но не hashCode(), объекты могут "теряться" в хеш-коллекциях.