Primäre Associated Types und typisierte Throws

Primäre zugehörige Typen

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

Eingeschränkte Existenzialtypen

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

Collections mit eingeschränkten Existenzialtypen

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

Einführung in typisierte Throws

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

Vollständiges catch mit typisierten Throws

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

Typisierte Throws in Protokollen

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

Rethrowing mit typisierten Throws

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

Primäre zugehörige Typen und typisierte Throws kombinieren

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

Opaque typisierte Throws

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

Migration: von untypisierten zu typisierten Throws

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

Typisierte Throws und async

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

Schnelltest

Zusammenfassung der Lektion