Какие объекты могут быть ключами в Dictionary?

Ключи в Dictionary: требования и возможности

В Swift Dictionary — это коллекция типа «ключ-значение», где ключ должен соответствовать протоколу Hashable. Это фундаментальное требование, обеспечивающее эффективность поиска и уникальность ключей.

Требование Hashable

Протокол Hashable наследуется от Equatable и требует реализации:

1. hashValue или hash(into:) — для генерации числового хеша, используемого при помещении ключа в хеш-таблицу.
2. == — для проверки равенства ключей (коллизии хешей возможны, поэтому проверка равенства обязательна).

Какие типы могут быть ключами по умолчанию?

Большинство стандартных типов Swift уже соответствуют Hashable:

Стандартные типы

• String, Int, Double, Bool, Character
• Date, URL, UUID
• Optional (Optional<Wrapped>), если Wrapped — Hashable

// Примеры со стандартными типами
var stringDict: [String: Int] = ["apple": 5, "orange": 3]
var intDict: [Int: String] = [1: "one", 2: "two"]
var uuidDict: [UUID: String] = [UUID(): "device"]

Составные типы

• Tuple (кортеж) — если ВСЕ его элементы Hashable.
• Array, Set, Dictionary — НЕ могут быть ключами, так как не соответствуют Hashable из-за изменяемости.
• Range, ClosedRange — соответствуют Hashable.

// Кортеж как ключ (все элементы Hashable)
var tupleDict: [(String, Int): String] = [("age", 25): "John"]

Пользовательские типы как ключи

Любой пользовательский тип (struct, class, enum) можно сделать ключом, подписав на Hashable. Для struct и enum компилятор часто генерирует соответствие автоматически.

Struct (автоматическое соответствие)

struct User: Hashable {
    let id: UUID
    let username: String
    // Автоматическая генерация hash(into:) и ==, если все свойства Hashable
}

var userScores: [User: Int] = [
    User(id: UUID(), username: "alex"): 100
]

Class (требует ручной реализации)

class Product: Hashable {
    let productId: Int
    let name: String
    
    init(id: Int, name: String) {
        self.productId = id
        self.name = name
    }
    
    // Ручная реализация Hashable
    static func == (lhs: Product, rhs: Product) -> Bool {
        return lhs.productId == rhs.productId && lhs.name == rhs.name
    }
    
    func hash(into hasher: inout Hasher) {
        hasher.combine(productId)
        hasher.combine(name)
    }
}

let product = Product(id: 1, name: "Laptop")
var inventory: [Product: Int] = [product: 50]

Enum (обычно автоматически)

enum Status: Hashable {
    case pending
    case active(userId: Int) // Ассоциированное значение должно быть Hashable
}

var statusCounts: [Status: Int] = [.pending: 5, .active(userId: 42): 1]

Важные нюансы

Изменяемость ключей

Если объект-ключ изменяется после добавления в словарь, его хеш может измениться, что приведёт к непредсказуемому поведению (объект станет недоступен по старому хешу). Поэтому:

• Используйте immutable (неизменяемые) свойства для хеширования.
• Для классов лучше использовать final и неизменяемые свойства (let).

Производительность хеширования

• Качество хеш-функции влияет на скорость работы словаря. Идеально — равномерное распределение хешей.
• Структуры (struct) предпочтительнее как ключи из-за value semantics и автоматического соответствия Hashable.

Сравнение только по хешу — недостаточно

Даже если хеши равны (hashValue), необходимо дополнительно проверять равенство (==), так как возможны коллизии.

struct Key: Hashable {
    let value: Int
    // Допустим, hash всегда возвращает 1 (ужасная хеш-функция)
    func hash(into hasher: inout Hasher) {
        hasher.combine(1) // Все объекты имеют одинаковый хеш!
    }
    
    static func == (lhs: Key, rhs: Key) -> Bool {
        return lhs.value == rhs.value // Но равенство проверяется корректно
    }
}
// Словарь будет работать, но очень медленно из-за коллизий.

Итог

В качестве ключей Dictionary могут использоваться любые типы, соответствующие Hashable:

• Стандартные типы Swift (String, Int и др.)
• Кортежи с Hashable-элементами
• Пользовательские типы (struct, class, enum) при явном или автоматическом соответствии Hashable
• Важно: ключ должен быть неизменяемым после добавления в словарь, а хеш-функция — эффективной и корректной.

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