Какого типа могут быть элементы множества?

Элементы множества в Swift

В Swift множества представлены типом Set<T>, где T — это тип элементов, которые может содержать множество. Ключевое требование к типу T — он должен соответствовать протоколу Hashable, поскольку Set является хеш-коллекцией, оптимизированной для уникальности элементов и быстрого поиска.

Основные требования к элементам

Хешируемость (Hashable) — это обязательное условие. Протокол Hashable наследуется от Equatable, что означает, что тип должен предоставлять:

• Реализацию == для сравнения элементов.
• Вычисляемое свойство hashValue или реализацию метода hash(into:), чтобы можно было генерировать целочисленный хеш для элемента.

struct Person: Hashable {
    let id: UUID
    let name: String
    
    static func ==(lhs: Person, rhs: Person) -> Bool {
        return lhs.id == rhs.id
    }
    
    func hash(into hasher: inout Hasher) {
        hasher.combine(id)
    }
}

let personSet: Set<Person> = [Person(id: UUID(), name: "Анна")]

Типы, которые могут быть элементами

1. Стандартные типы Swift

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

• Целочисленные типы: Int, UInt, Int8, и т.д.
• Числа с плавающей точкой: Float, Double (хотя их использование в множествах требует осторожности из-за точности).
• Строки: String, Character.
• Логический тип: Bool.
• Коллекции: Array, Dictionary, Set — если их элементы тоже Hashable. Например, Set<[Int]> допустимо, так как [Int] (Array<Int>) соответствует Hashable.

let intSet: Set<Int> = [1, 2, 3]
let stringSet: Set<String> = ["apple", "banana"]
let arraySet: Set<[Int]> = [[1, 2], [3, 4]]

2. Пользовательские типы

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

// Автоматическое соответствие Hashable
struct Coordinate: Hashable {
    let x: Int
    let y: Int
}

let points: Set<Coordinate> = [Coordinate(x: 0, y: 0), Coordinate(x: 1, y: 2)]

// Перечисления без ассоциированных значений автоматически Hashable
enum Direction: Hashable {
    case north, south, east, west
}

let directions: Set<Direction> = [.north, .east]

3. Опциональные типы

Если тип T соответствует Hashable, то T? (опциональный) тоже соответствует Hashable. Таким образом, Set<T?> допустимо.

let optionalSet: Set<Int?> = [1, nil, 2, nil] // Множество будет содержать 1, 2, nil (nil считается уникальным элементом)

4. Кортежи (Tuples)

Кортежи, чьи элементы соответствуют Hashable, также соответствуют Hashable. Это позволяет использовать кортежи в множествах.

let tupleSet: Set<(String, Int)> = [("apple", 5), ("banana", 3)]

Ограничения

Нельзя использовать типы, не соответствующие Hashable:

• Функции ((Int) -> Void) — не Hashable.
• Классы без реализации Hashable — по умолчанию классы не соответствуют Hashable, так как сравнение по ссылкам (===) отличается от сравнения по значению. Реализовать можно, но требуется ручное определение == и hash(into:).
• Структуры с не-Hashable свойствами — компилятор не сможет сгенерировать автоматическую реализацию.

Пример с классом

class User: Hashable {
    let userId: Int
    let name: String
    
    init(userId: Int, name: String) {
        self.userId = userId
        self.name = name
    }
    
    static func ==(lhs: User, rhs: User) -> Bool {
        return lhs.userId == rhs.userId
    }
    
    func hash(into hasher: inout Hasher) {
        hasher.combine(userId)
    }
}

let userSet: Set<User> = [User(userId: 1, name: "Алексей")]

Важные замечания

• Уникальность элементов: Set автоматически удаляет дубликаты, определяя равенство через == и хеширование.
• Производительность: Поиск, вставка и удаление в Set в среднем занимают O(1) благодаря хеш-таблицам.
• Порядок элементов: Set не гарантирует порядок элементов, но с Swift 5.3 он стабилен в пределах одной версии программы.

Таким образом, элементы множества в Swift могут быть любого типа, соответствующего Hashable, включая стандартные типы, пользовательские структуры/классы (с реализацией), опционалы, коллекции и кортежи. Это делает Set гибким инструментом для работы с уникальными данными.