Какой контрактный договор между методами hashCode() и equals() в Java?

Основной контракт

Методы hashCode() и equals() в Java имеют фундаментальную связь, которую нужно соблюдать, чтобы всё работало правильно:

• Если два объекта равны согласно equals(), они обязательно должны иметь одинаковое значение hashCode
• Если два объекта имеют одинаковый hashCode, они необязательно равны

Основное правило

Главное правило звучит так: if (object1.equals(object2)) then object1.hashCode() == object2.hashCode()

Это односторонняя гарантия. Равенство означает одинаковые хеш-коды, но одинаковые хеш-коды не означают равенство.

Практические последствия

Этот контракт критически важен, когда ты используешь объекты в хеш-ориентированных коллекциях, таких как:

• HashMap
• HashSet
• Hashtable

Когда ты переопределяешь equals() в своём классе, ты обязательно должен также переопределить hashCode(), чтобы соблюдать этот контракт. Если этого не сделать, объекты могут не найтись в коллекциях, даже если они логически там есть.

Пример ситуации

Два разных объекта вполне могут иметь одинаковый хеш-код — это называется коллизия хешей. Но когда это происходит, метод equals() выступает в роли арбитра, чтобы понять, действительно ли объекты равны или они просто оказались с одинаковым хеш-кодом.

Итог

Запомни: равные объекты должны иметь равные хеш-коды, но равные хеш-коды не гарантируют равенство объектов. Эта асимметричная связь необходима для сохранения целостности структур данных в Java.