Защо равните обекти според метода equals не трябва непременно да имат еднаква стойност hashCode?

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

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

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