Почему хэш-код должен реализовывать метод equals?

Реализация метода equals необходима для того, чтобы гарантировать корректное поведение объектов в коллекциях, основанных на хэш-таблицах (например, HashSet, HashMap, NSSet, NSDictionary):

1. Нарушение контракта hashCode/equals: Если два объекта считаются равными согласно equals, их хэш-коды, возвращаемые методом hashCode, должны быть одинаковыми.
2. Поиск и вставка: Хэш-коллекции используют hashCode для определения бакета (корзины), в котором находится или может находиться объект. Затем используется equals для сравнения объектов внутри этого бакета и нахождения искомого элемента или определения уникальности при вставке.
3. Неправильное поведение: Если equals реализован, но hashCode нет (или реализован некорректно), два равных объекта могут иметь разные хэш-коды и попасть в разные бакеты. Это приведет к тому, что коллекции не смогут правильно их найти или идентифицировать как равные, что нарушит логику работы.
4. Реализация == для структур: В Swift для структур == (и, соответственно, Equatable) часто реализуется автоматически компилятором. Если структура используется в хэш-коллекциях, также требуется реализация Hashable (которая включает Equatable).

Пример в Objective-C:

// некорректное поведение без переопределения hashCode/hash
@interface MyObject : NSObject
@property (nonatomic, strong) NSString *name;
@end

@implementation MyObject

- (BOOL)isEqual:(id)object {
    if (self == object) {
        return YES;
    }
    if (![object isKindOfClass:[MyObject class]]) {
        return NO;
    }
    MyObject *other = (MyObject *)object;
    return [self.name isEqualToString:other.name];
}

// Отсутствие реализации hash() привело бы к проблемам в NSSet/NSDictionary
// - (NSUInteger)hash { ... }

@end

Пример в Swift:

// Корректное поведение благодарая реализации Hashable (включает Equatable)
struct MyStruct: Hashable {
    let name: String

    // Equatable предоставляется автоматически
    // public static func == (lhs: MyStruct, rhs: MyStruct) -> Bool {
    //     return lhs.name == rhs.name
    // }

    // hashValue предоставляется автоматически в большинстве случаев для структур с Hashable свойствами
    // public var hashValue: Int {
    //    return name.hashValue
    // }
}