Associated type primari e typed throws

Tipi associati primari

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

Esistenziali vincolati

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

Esistenziali vincolati per le collezioni

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

Introduzione ai throws tipizzati

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

Catch esaustivo con i throws tipizzati

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

Throws tipizzati nei protocolli

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

Rilancio con i throws tipizzati

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

Combinare i tipi associati primari con i throws tipizzati

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

Throws tipizzati opachi

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

Migrazione dai throws non tipizzati a quelli tipizzati

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

Throws tipizzati e async

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

Verifica rapida

Riepilogo della lezione