扩展中的 where 子句
在 类型 扩展和 协议 扩展中使用 where ，仅在满足约束时添加 API（例如 Array where Element: Equatable 、 Collection where Element == Int ）。
扩展中的 where 子句 是 CoddyKit 上的免费 Swift Academy 课时。 这是第 3 节课，共 3 节。 你可以在下方免费阅读本课时的完整内容 — 然后在浏览器中使用内置代码编辑器和全天候 AI 导师进行实践。 这是 Swift Academy 学习路径的一部分，你的进度在网页和 CoddyKit 应用中同步。 Swift Academy 课程共包含 3 节课。
为什么使用受约束的扩展？
通过在扩展上使用约束条件，仅在类型满足约束时添加接口：
- 类型扩展（例如
Array） - 协议扩展（例如
Collection） - 精确匹配约束（例如
Element == Int）
带约束的类型扩展
仅当数组的 Element 遵循可等同性协议时，才为其附加方法。不遵循可等同性协议的数组将看不到这些接口。
extension Array where Element: Equatable {
func removing(_ value: Element) -> [Element] {
filter { $0 != value }
}
func containsAll(_ others: [Element]) -> Bool {
others.allSatisfy(self.contains)
}
}
print([1,2,3].removing(2)) // [1,3]
print(["a","b"].containsAll(["b"])) // true使用 where 的协议扩展
当约束成立时，协议扩展会将接口添加到所有遵循该协议的类型（此处指元素遵循可比较性协议的任意 Collection）。
extension Collection where Element: Comparable {
var isSorted: Bool {
// Pair each element with the next; ensure non-decreasing order
zip(self, dropFirst()).allSatisfy(<=)
}
}
print([1,2,3].isSorted) // true
print([3,1,2].isSorted) // false精确匹配约束
使用相等性约束来提供针对特定类型的接口，例如仅当 Element == Int 时提供。这些接口不会出现在其他元素类型上。
extension Collection where Element == Int {
var sum: Int { reduce(0, +) }
func average() -> Double {
isEmpty ? 0 : Double(sum) / Double(count)
}
}
print([1,2,3].sum) // 6
print([1,2,3].average()) // 2.0基于能力的接口
根据能力进行约束（例如 Numeric、Hashable 等协议），以组合强大且可复用的辅助工具。
extension Collection where Element: Numeric {
var total: Element { reduce(0, +) }
}
extension Sequence where Element: Hashable {
var uniques: [Element] {
var seen = Set<Element>()
return filter { seen.insert($0).inserted }
}
}
print([1,2,2,3].uniques) // [1,2,3]
print([1,2,3].total) // 6设计说明
提示：
- 为了更广泛地复用，优先使用最少的约束。
- 避免使用重叠的扩展来定义同一成员；这可能会使重载解析变得混乱。
- 记录假设（顺序、唯一性、数值域）。
受约束扩展的用途
快速检查：受约束的扩展可以让您做什么？
回顾
回顾：在类型或协议扩展上使用 where，可以通过能力（: Comparable）或精确类型（== Int）精准定位接口，同时让代码安全且易于发现。
常见问题解答
「扩展中的 where 子句」课时是免费的吗？
是的 — 「扩展中的 where 子句」的完整文本可在网页上免费阅读。要进行交互式练习（内置代码编辑器和全天候 AI 导师）并解锁 Swift Academy 课程的其余内容，请升级到 CoddyKit PRO。 Swift Academy 课程共包含 3 节课。
「扩展中的 where 子句」这节课中我会学到什么？
在 类型 扩展和 协议 扩展中使用 where ，仅在满足约束时添加 API（例如 Array where Element: Equatable 、 Collection where Element == Int ）。 你通过在浏览器中直接运行的动手代码来练习 Swift Academy，全天候 AI 导师会在你学习这节课的过程中回答你的问题。
学习 Swift Academy 需要有经验吗？
无需任何先前经验。CoddyKit 上的 Swift Academy 课程适合初学者到高级学习者，你可以从这里开始或从头开始，按照自己的节奏学习。 这是第 3 节课，共 3 节。
「扩展中的 where 子句」课时需要多长时间？
大多数 CoddyKit 课程大约需要 5–10 分钟。每节课都很精短且互动，所以你能稳步进步，并在网页和应用中从离开的地方继续。
我能在这节 Swift Academy 课中编写并运行代码吗？
能。每节 Swift Academy 课都包含内置代码编辑器，你可以在浏览器中直接编写并运行真实代码，并获得即时 AI 反馈 — 无需本地设置。