Какие правила переопределения hashcode и equals

Правила переопределения hashCode() и equals(Object) в Java определяют корректное поведение объектов в хеш-таблицах, таких как HashMap, HashSet и Hashtable. Главное правило: если два объекта равны по equals(), их hashCode() должны возвращать одинаковое значение. Нарушение этого контракта приводит к тому, что объекты не будут найдены в коллекциях, основанных на хешировании.

Контракт между equals и hashCode

Контракт этих методов зафиксирован в документации Java и включает три ключевых требования:

1. Согласованность с equals: для любых двух объектов a и b, если a.equals(b) возвращает true, то a.hashCode() и b.hashCode() обязаны возвращать одинаковое целое число. Обратное не требуется: разные объекты могут иметь одинаковый хеш-код, но это снижает производительность хеш-таблиц из-за коллизий.
2. Стабильность в рамках одного запуска: пока поля, используемые в equals(), не изменяются, hashCode() должен возвращать одно и то же значение. Это значение может отличаться между разными запусками программы.
3. Обязательность переопределения обоих методов: если переопределяется equals(), то обязательно переопределяется и hashCode(). Игнорирование этого правила ломает контракт и делает объекты непригодными для хеш-коллекций.

Требования к методу equals

Метод equals(Object) должен удовлетворять свойствам отношения эквивалентности:

• Рефлексивность: x.equals(x) возвращает true для любого ненулевого x.
• Симметричность: если a.equals(b) — true, то b.equals(a) — тоже true.
• Транзитивность: если a.equals(b) и b.equals(c) — true, то a.equals(c) — true.
• Консистентность: при неизменных полях повторные вызовы equals() возвращают один и тот же результат.
• Сравнение с null: x.equals(null) всегда возвращает false.

Пример корректной реализации

import java.util.Objects;

public class Person {
    private String name;
    private int age;

    // конструкторы, геттеры и сеттеры

    @Override
    public boolean equals(Object obj) {
        if (this == obj) return true;          // быстрая проверка на тот же объект
        if (obj == null || getClass() != obj.getClass()) return false; // проверка типа
        Person person = (Person) obj;
        return age == person.age && Objects.equals(name, person.name);
    }

    @Override
    public int hashCode() {
        return Objects.hash(name, age);        // генерация хеша по значимым полям
    }
}

В этом примере equals() сравнивает все значимые поля (name и age), а hashCode() использует те же поля через Objects.hash(). Это гарантирует согласованность: равные объекты получают одинаковый хеш-код.

Подводные камни и рекомендации

• Используйте getClass() вместо instanceof в equals(), чтобы избежать нарушения симметричности при наследовании. instanceof может дать true для подкласса, но обратное сравнение даст false.
• Включайте в hashCode() только те поля, которые участвуют в equals(). Если поле не влияет на равенство, его не следует включать в хеш-код.
• Для вычисления хеша используйте Objects.hash() или формулу с простыми числами, например result = 31 * result + field.hashCode(). Это снижает вероятность коллизий.
• Не изменяйте поля, участвующие в equals() и hashCode(), после помещения объекта в хеш-коллекцию. Иначе объект «потеряется»: его хеш-код изменится, и поиск по нему не сработает.
• Помните о производительности: чем меньше коллизий, тем быстрее работают HashMap и HashSet. Хороший hashCode() распределяет значения равномерно.

Коротко

• Равные объекты обязаны иметь одинаковый hashCode().
• Переопределяя equals(), всегда переопределяйте hashCode().
• equals() должен быть рефлексивным, симметричным, транзитивным, консистентным и возвращать false для null.
• Используйте Objects.equals() и Objects.hash() для безопасной и лаконичной реализации.