Проблемы исходного кода
public boolean equals(Object o){ return this.id == ((User)o).id; }
- ClassCastException: при передаче объекта не‑типа User выражение $((User)o)$ приведёт к ClassCastException.
- NullPointerException: если o == null, приведение к User даст null, а доступ к .id — NPE.
- Нарушение контракта equals/hashCode: если equals зависит только от id, нужно гарантировать совместимость с hashCode — одинаковые объекты должны давать одинаковый hashCode.
- Поведение при наследовании/типах: прямое приведение не учитывает, нужно ли считать равными подклассы User.
- Мутабельность id: если поле id изменяемо, использование его в equals/hashCode может привести к неожиданностям в коллекциях (например, HashSet).
Коротко про контракт equals (важные свойства):
- рефлексивность: $x.equals(x)$ - симметричность: $x.equals(y)\iff y.equals(x)$ - транзитивность: $x.equals(y)\wedge y.equals(z)\Rightarrow x.equals(z)$ - совместимость с hashCode: $x.equals(y)\Rightarrow x.hashCode()=y.hashCode()$
Корректные реализации (в зависимости от типа поля id и желания учитывать подклассы)
1) Если id — примитивный long и вы не хотите считать равными объекты разных подклассов (строгая проверка класса):
@Override
public boolean equals(Object o) {
if (this == o) return true;
if (o == null || getClass() != o.getClass()) return false;
User user = (User) o;
return id == user.id;
}
@Override
public int hashCode() {
return Long.hashCode(id);
}
2) Если id — объект типа Long (nullable) или вы допускаете сравнение с подклассами (используя instanceof):
@Override
public boolean equals(Object o) {
if (this == o) return true;
if (!(o instanceof User)) return false;
User user = (User) o;
return java.util.Objects.equals(this.id, user.id);
}
@Override
public int hashCode() {
return java.util.Objects.hashCode(id);
}
Дополнительные рекомендации
- Делайте поле id неизменяемым (final) если оно участвует в equals/hashCode.
- Выберите либо getClass() (строгое равенство по классу), либо instanceof (позволяет подтипам быть равными) и документируйте выбор.
- Всегда переопределяйте hashCode при переопределении equals.