Почему равные объекты по методу equals не обязательно имеют одинаковое значение hashCode?

На самом деле, согласно контракту методов equals и hashCode в Java, если два объекта равны по equals, то их hashCode должен быть одинаковым. Если это не так, нарушается контракт, что может привести к ошибкам, например, при использовании объектов в коллекциях типа HashMap или HashSet.

Однако, если объекты равны по equals, но имеют разный hashCode, это значит, что реализация hashCode некорректна. В обратную сторону — объекты с одинаковым hashCode не обязательно равны по equals.

Итого: равные по equals объекты обязательно должны иметь одинаковый hashCode, иначе нарушается контракт.