Что такое контракт

Контракт в Java — это соглашение между классами или компонентами о том, как они должны взаимодействовать. Он определяет ожидаемое поведение, пред- и постусловия, инварианты.

Примеры контрактов:

1. Метод equals() должен быть:
   • Рефлексивным (x.equals(x) == true).
   • Симметричным (x.equals(y) == y.equals(x)).
   • Транзитивным.

2. Интерфейс List гарантирует порядок элементов.

@Override
public boolean equals(Object obj) {
    if (this == obj) return true;
    if (obj == null || getClass() != obj.getClass()) return false;
    MyClass other = (MyClass) obj;
    return Objects.equals(field, other.field);
}

Нарушение контракта может привести к ошибкам в коллекциях (HashMap, HashSet).