Associated Values в Swift: какво е това, синтаксис и примери

Какво са Associated Values?

Associated Values — това са допълнителна информация, която case на enum може да съхранява заедно със себе си. За разлика от raw values, които са фиксирани на ниво декларация, associated values се задават при създаване на инстанция на enum.

Представете си моделиране на метод на плащане: case creditCard може да съхранява последните 4 цифри и дата на изтичане, а case applePay — нищо. С associated values това се реализира естествено, без подкласове или опционални полета.

Според документацията на Apple, associated values превръщат enum от прост набор от константи в алгебричен тип данни (sum type), характерен за функционалните езици. Това значително повишава изразителността на кода.

Синтаксис на associated values

Associated values се декларират в скоби след case, с посочване на имена и типове на параметрите, както при функциите.

enum MediaFile {
    case image(width: Int, height: Int, format: String)
    case video(duration: Double, codec: String)
    case audio(bitrate: Int)
    case unknown
}

При създаване на инстанция, associated values се предават като аргументи:

let photo = MediaFile.image(width: 1920, height: 1080, format: "jpeg")
let clip = MediaFile.video(duration: 120.5, codec: "h264")

Swift не налага ограничения на броя или типовете на associated values. Можете да използвате генерици, функции-затваряния и други enum-ове вътре в associated values. Това прави възможно изграждането на сложни вложени структури.

Имената на параметрите на associated values се използват като етикети на аргументи при създаване на инстанция — това подобрява четимостта на кода. При извличане чрез switch, имената служат като документация, обяснявайки значението на всяка стойност. Такъв подход прави кода самодокументиращ се и намалява вероятността от грешки при съпоставяне на данни. Това е особено ценно при екипна разработка на големи iOS приложения.

Switch с associated values

Switch — основният начин за извличане на associated values. Стойностите се свързват към константи или променливи чрез let или var.

func describe(_ file: MediaFile) -> String {
    switch file {
    case .image(let w, let h, let fmt):
        return "Image \(w)x\(h) .\(fmt)"
    case .video(let duration, let codec):
        return "Video \(duration)s, \(codec)"
    case .audio(let bitrate):
        return "Audio \(bitrate)kbps"
    case .unknown:
        return "Unknown format"
    }
}

Swift поддържа частично съпоставяне — могат да се зададат конкретни стойности на associated values:

switch file {
case .image(let w, let h, "png"):
    print("PNG изображение \(w)x\(h)")
case .image(1920, 1080, _):
    print("Full HD изображение")
default:
    break
}

Използването на wildcard (_) позволява игнориране на ненужни associated values, а константите в case-овете — проверка за съвпадение с конкретни стойности.

Associated Values срещу Raw Values

Много начинаещи разработчици бъркат associated values с raw values. Това са различни механизми с различни сценарии на приложение.

Според Swift Evolution, associated values бяха въведени в Swift 2.0 като част от препроектирането на enum. Те осигуряват алгебричен подход към типовете, където всеки case е отделен конструктор със собствен подпис.

Практически примери за associated values

Associated values се използват активно в реални iOS проекти. Нека разгледаме три типични сценария.

Моделиране на API отговори

enum APIResponse<T: Codable> {
    case success(data: T, cached: Bool)
    case failure(error: Error, retryAvailable: Bool)
    case loading(progress: Double)
}

UI State Machine

enum ViewState<T> {
    case idle
    case loading(message: String)
    case loaded(data: T)
    case error(message: String, retryAction: () -> Void)
}

С associated values, enum се превръща в мощен инструмент за крайни автомати: всеки case — състояние, associated values — параметрите на това състояние. Компилаторът гарантира, че всички преходи са обработени.

Извличане чрез if case и guard case

За проверка на един case без switch използвайте if case или guard case. Това е по-компактно, когато трябва да се обработи само един вариант.

let error = NetworkError.timeout(seconds: 30)

if case .timeout(let seconds) = error {
    print("Заявката изтече след \(seconds)s")
}

guard case .httpError(let code, _) = error else {
    return
}
print("HTTP грешка с код \(code)")