В Java методы equals() и hashCode() имеют жёстко определённые правила (контракты), нарушение которых может привести к неожиданному или некорректному поведению программы, особенно при использовании коллекций, основанных на хеш-таблицах — таких как HashMap, HashSet, LinkedHashMap и др.

Ниже перечислены официальные правила (контракты) для каждого из этих методов, согласно документации Java (класса Object), а также дополнительные рекомендации по реализации.

Контракт метода equals(Object obj)

Метод equals() должен соответствовать следующим пяти свойствам:

Рефлексивность (reflexivity)
Объект должен быть равен самому себе:

x.equals(x) == true

1. Симметричность (symmetry)
Если x.equals(y) возвращает true, то и y.equals(x) должно вернуть true:

x.equals(y) == true → y.equals(x) == true

2. Транзитивность (transitivity)
Если x.equals(y) и y.equals(z), то x.equals(z) тоже должно быть true:

```python
x.equals(y) == true && y.equals(z) == true → x.equals(z) == true

3\. **Непротиворечивость (consistency)  
**Результат equals() не должен меняться при повторных вызовах, если состояние объектов остаётся тем же:  
```python  
x.equals(y) всегда возвращает одно и то же значение при неизменных x и y

4. Сравнение с null
Любой объект должен быть не равен null:

<br/>x.equals(null) == fals

Контракт метода hashCode()

Метод hashCode() должен соответствовать следующим правилам:

1. Постоянство (consistency)
Повторные вызовы x.hashCode() при неизменном состоянии объекта должны возвращать одно и то же значение.

Связь с equals()
Если x.equals(y) возвращает true, то x.hashCode() и y.hashCode() обязаны возвращать одинаковое значение:

x.equals(y) == true → x.hashCode() == y.hashCode()

2. Обратное не обязательно
Если x.hashCode() == y.hashCode(), это не означает, что x.equals(y) вернёт true. Такое совпадение — коллизия — допустимо:

<br/>x.hashCode() == y.hashCode() ≠> x.equals(y)

Рекомендации по реализации

1. Если переопределяешь equals(), всегда переопределяй hashCode(), и наоборот. Иначе коллекции будут работать некорректно.

Используйте Objects.equals() и Objects.hash() (начиная с Java 7):

<br/>@Override
public boolean equals(Object obj) {
if (this == obj) return true;
if (obj == null || getClass() != obj.getClass()) return false;
MyClass other = (MyClass) obj;
return Objects.equals(field1, other.field1)
&& field2 == other.field2;
}
@Override
public int hashCode() {
return Objects.hash(field1, field2);
}

2. Не включайте изменяемые поля в hashCode(), если они часто меняются во время жизни объекта. Иначе объект "потеряется" в коллекции (например, HashSet не сможет найти его).

3. Избегайте ручных операций с простыми числами в hashCode(), если можно использовать Objects.hash(), который уже делает всё правильно (но имейте в виду, что он медленнее ручного кода при большом числе объектов).

Частые ошибки

• Использование == вместо equals() при сравнении строк или объектов.

• Переопределение equals() без hashCode(), из-за чего HashSet и HashMap не смогут корректно найти объекты.

• Использование нестабильных данных в hashCode(), которые могут меняться (например, текущая дата, случайное число и т. д.).

• Переопределение equals() без проверки типа или без приведения к нужному классу (может привести к ClassCastException).

Пример плохой реализации (нарушение контракта)

public class Person {
String name;
@Override
public boolean equals(Object o) {
return true; // плохая реализация: все объекты равны
}
@Override
public int hashCode() {
return new Random().nextInt(); // плохая реализация: каждый вызов новый хеш
}
}

Такие объекты "ломают" любую коллекцию на основе хешей. Нельзя найти, нельзя удалить, можно получить неправильные дубликаты.

Таким образом, соблюдение правил и контрактов equals() и hashCode() — это не просто хорошая практика, а обязательное требование к корректной работе объектов в коллекциях и при сравнении.