0Pricing
Swift Academy · 课时

在 some、any 与泛型之间进行选择

对于同质的静态类型选择 泛型 ，使用 some P 隐藏固定的具体类型，并使用 any P 实现异质多态。

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

何时使用哪一种？

经验法则：

  • 泛型：每次调用使用同一具体类型；编译时检查和性能最佳。
  • some P：隐藏具体返回类型，并且对于每个函数都是固定的。
  • any P：混合符合类型（异构），使用动态分派。

泛型：同质

泛型非常适合同质数据和优化（静态分派、内联）。

protocol Shape { func area() -> Double }

struct Circle: Shape { let r: Double; func area() -> Double { .pi * r * r } }
struct Square: Shape { let s: Double; func area() -> Double { s * s } }

// Generic: one concrete Shape type per call site (homogeneous)
func totalAreaGeneric<S: Sequence, T: Shape>(_ xs: S) -> Double where S.Element == T {
    xs.reduce(0) { $0 + $1.area() }
}
print(totalAreaGeneric([Circle(r:1), Circle(r:2)]))  // OK
// totalAreaGeneric([Circle(r:1), Square(s:2)])      // ❌ different types

不透明类型：隐藏但固定

some P 返回一个固定但隐藏的类型。当您希望实现封装而不牺牲静态性能时，它非常适合。

// Opaque factory hides the concrete type while guaranteeing Shape
func unitShape(flag: Bool) -> some Shape {
    // Must return the SAME underlying type on all paths; pick one.
    Circle(r: 1)
}
let s = unitShape(flag: true)
print(String(format: "%.2f", s.area()))  // 3.14

any P：异构

any P 允许在同一个集合或变量中存放混合类型；方法通过协议接口进行动态分派。

// Existential: store mixed conformers
let mixed: [any Shape] = [Circle(r: 1), Square(s: 2)]
let sum = mixed.reduce(0) { $0 + $1.area() }   // dynamic dispatch
print(String(format: "%.2f", sum))

接口形式比较

选择接口形式：

  • 泛型：调用方控制具体类型。
  • 不透明类型：您隐藏类型，并且对于每个函数都是固定的。
  • 存在类型：您可以在运行时动态改变具体类型。
// Three API shapes for the same idea: "make a Shape"

// 1) Generic return — exposes concrete type to caller
func makeGeneric<T: Shape>(_ t: T) -> T { t }

// 2) Opaque return — hides concrete type but fixed
func makeOpaqueCircle() -> some Shape { Circle(r: 1) }

// 3) Existential return — can return any conformer
func makeExistential(_ big: Bool) -> any Shape { big ? Square(s: 3) : Circle(r: 1) }

let g: Circle = makeGeneric(Circle(r: 2))      // caller knows concrete type
let o = makeOpaqueCircle()                      // caller sees only Shape
let e = makeExistential(true)                   // could be Circle or Square at runtime
print(g.area(), o.area(), e.area())

速查表

指南：

  • 当数据同质时，若注重性能和强类型检查，优先使用泛型。
  • 使用 some P 隐藏返回类型，并保持接口稳定。
  • 使用 any P 实现类似插件的功能或混合集合。
  • 对于带有关联类型/Self 的协议，除非进行类型擦除，否则应避免使用 any P。

决策检查：选择 some/any/泛型

快速检查：哪种选项会将固定的具体返回类型隐藏在协议 P 后面？

回顾

回顾：

  • 泛型 = 同质、最快、静态性最高。
  • some P = 隐藏具体类型，并且对于每个函数都是固定的。
  • any P = 异构、动态分派。

常见问题解答

「在 some、any 与泛型之间进行选择」课时是免费的吗？

是的 — 「在 some、any 与泛型之间进行选择」的完整文本可在网页上免费阅读。要进行交互式练习（内置代码编辑器和全天候 AI 导师）并解锁 Swift Academy 课程的其余内容，请升级到 CoddyKit PRO。 Swift Academy 课程共包含 3 节课。

「在 some、any 与泛型之间进行选择」这节课中我会学到什么？

对于同质的静态类型选择 泛型 ，使用 some P 隐藏固定的具体类型，并使用 any P 实现异质多态。 你通过在浏览器中直接运行的动手代码来练习 Swift Academy，全天候 AI 导师会在你学习这节课的过程中回答你的问题。

学习 Swift Academy 需要有经验吗？

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

「在 some、any 与泛型之间进行选择」课时需要多长时间？

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

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

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

此课程中的所有课时

  1. some P（不透明结果类型）：隐藏具体类型
  2. any P（存在类型）：权衡与动态分派
  3. 在 some、any 与泛型之间进行选择
← 返回 Swift Academy