Tipe Associated Utama dan Typed Throws

Tipe Terkait Utama

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

Eksistensial Terbatas

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

Eksistensial Terbatas pada Koleksi

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

Pengantar Pelemparan Error Bertipe

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

Penanganan Menyeluruh dengan Pelemparan Error Bertipe

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

Pelemparan Error Bertipe dalam Protokol

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

Pelemparan Ulang dengan Pelemparan Error Bertipe

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

Menggabungkan AT Utama dengan Pelemparan Error Bertipe

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

Pelemparan Error Bertipe Opak

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

Migrasi: dari Pelemparan Tanpa Tipe ke Pelemparan Bertipe

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

Pelemparan Bertipe dan Asinkron

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

Pemeriksaan Singkat

Ringkasan Pelajaran