Основные связанные типы и типизированные ошибки

Основные связанные типы

protocol Container<Element> {
  associatedtype Element
  var items: [Element] { get }
}
struct Bag<T>: Container { var items: [T] = [] }

Ограниченные экзистенциальные типы

func printItems(_ c: any Container<Int>) {
  c.items.forEach { print($0) }
}
printItems(Bag(items: [1,2,3]))

Экзистенциальные типы с ограничениями для коллекций

func first(_ c: any Collection<String>) -> String? {
  c.first
}
print(first(["a","b","c"]) ?? "none")

Введение в типизированные ошибки

enum NetworkError: Error { case timeout, notFound }
func fetch() throws(NetworkError) -> Data {
  throw NetworkError.timeout
}

Исчерпывающая обработка типизированных ошибок

do {
  let _ = try fetch()
} catch .timeout {
  print("Timed out")
} catch .notFound {
  print("Not found")
}

Типизированные ошибки в протоколах

protocol Fetchable {
  associatedtype Failure: Error
  func fetch() throws(Failure) -> Data
}

Повторная передача типизированных ошибок

func map<T, E: Error>(_ array: [T], transform: (T) throws(E) -> T) throws(E) -> [T] {
  try array.map { try transform($0) }
}

Сочетание основных AT с типизированными ошибками

protocol Repository<Model> {
  associatedtype Model
  associatedtype Failure: Error
  func fetchAll() throws(Failure) -> [Model]
}

Непрозрачные типизированные ошибки

func riskyOp() throws(any Error) {
  // can throw any error
}

Переход от нетипизированных к типизированным ошибкам

// Before:
func load() throws -> Data { ... }
// After:
func load() throws(NetworkError) -> Data { ... }

Типизированные ошибки и асинхронность

func fetchAsync() async throws(NetworkError) -> Data {
  throw NetworkError.notFound
}

Быстрая проверка

Итоги урока