PricingLoginStart free
Swift Academy · 课时

主要关联类型与类型化抛出

约束协议存在类型，并了解 Swift 6 的类型化错误传播。

第 4 / 4 课13 个步骤

主要关联类型与类型化抛出 是 CoddyKit 上的免费 Swift Academy 课时。 这是第 4 节课，共 4 节。 你可以在下方免费阅读本课时的完整内容 — 然后在浏览器中使用内置代码编辑器和全天候 AI 导师进行实践。 这是 Swift Academy 学习路径的一部分，你的进度在网页和 CoddyKit 应用中同步。 Swift Academy 课程共包含 4 节课。

主要关联类型

Swift 5.7 允许您在协议上指定主要关联类型，从而支持受约束的存在类型。

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

受约束的存在类型

借助主要关联类型，您可以编写any Container来缩小存在类型的范围。

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

集合受约束的存在类型

Collection等标准库协议现在支持主要关联类型。

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

类型化错误抛出简介

Swift 6 引入了类型化错误抛出，使您可以声明函数可能抛出的确切错误类型。

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
}

使用类型化错误抛出重新抛出

rethrows支持类型化错误抛出：外层函数会传播内部错误类型。

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

结合主要 AT 与类型化错误抛出

您可以同时使用这两项功能，构建精确且类型安全的 API。

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

不透明类型化错误抛出

throws(any Error)等同于无类型错误抛出，为您提供了一个灵活的退路。

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

迁移：从无类型错误抛出到类型化错误抛出

迁移路径：逐步为现有的可抛出函数标注具体的错误类型。

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

类型化错误抛出与异步

类型化错误抛出可以与异步自然组合：async throws(E)是有效语法。

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

快速检查

协议上的主要关联类型可以实现什么功能？

在交互式课程中回答

课程回顾

主要关联类型（Swift 5.7）支持any Collection等受约束的存在类型。类型化错误抛出（Swift 6）让您能够为穷尽式捕获块声明确切的错误类型。这两项功能都能提升类型安全性和 API 表达能力。

免费开始

用 AI 导师学习 Swift — 免费

在浏览器中编写并运行真实代码，获得全天候 AI 导师的即时帮助，并在网页或应用中继续学习。

课程
122
课程
409
免费开始学习查看完整课程

常见问题解答

「主要关联类型与类型化抛出」课时是免费的吗？

是的 — 「主要关联类型与类型化抛出」的完整文本可在网页上免费阅读。要进行交互式练习（内置代码编辑器和全天候 AI 导师）并解锁 Swift Academy 课程的其余内容，请升级到 CoddyKit PRO。 Swift Academy 课程共包含 4 节课。

「主要关联类型与类型化抛出」这节课中我会学到什么？

约束协议存在类型，并了解 Swift 6 的类型化错误传播。 你通过在浏览器中直接运行的动手代码来练习 Swift Academy，全天候 AI 导师会在你学习这节课的过程中回答你的问题。

学习 Swift Academy 需要有经验吗？

无需任何先前经验。CoddyKit 上的 Swift Academy 课程适合初学者到高级学习者，你可以从这里开始或从头开始，按照自己的节奏学习。 这是第 4 节课，共 4 节。

「主要关联类型与类型化抛出」课时需要多长时间？

大多数 CoddyKit 课程大约需要 5–10 分钟。每节课都很精短且互动，所以你能稳步进步，并在网页和应用中从离开的地方继续。

我能在这节 Swift Academy 课中编写并运行代码吗？

能。每节 Swift Academy 课都包含内置代码编辑器，你可以在浏览器中直接编写并运行真实代码，并获得即时 AI 反馈 — 无需本地设置。

此课程中的所有课时

  1. 泛型约束与 where 子句
  2. 使用 some 关键字的不透明类型
  3. 使用 any 的存在类型与类型擦除
  4. 主要关联类型与类型化抛出
← 返回 Swift Academy