Swift Academy · 课时

条件遵循协议

仅当泛型类型的类型参数满足约束时，才让它遵循协议（例如 Box<T>: Equatable where T: Equatable ）。

第 1 / 3 课8 个步骤

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

为什么需要条件式协议遵循？

条件式协议遵循仅在类型参数满足约束时添加协议遵循。这可以让接口更加精确，避免样板代码，并与标准库进行强大的组合。

泛型类型基线

从泛型类型开始。即使类型参数遵循这些协议，Box 也不会在没有额外代码的情况下遵循可等同性/可哈希性协议。

struct Box<T> {
    var value: T
}
let bi = Box(value: 3)
let bs = Box(value: "hi")
// At this point Box has no Equatable/Hashable, regardless of T.

有条件地遵循可等同性协议

仅当 T: Equatable 时才添加可等同性协议遵循。比较不遵循可等同性协议的类型所对应的 Box 时，代码将无法编译（这是很好的安全保障）。

extension Box: Equatable where T: Equatable {
    static func == (lhs: Box<T>, rhs: Box<T>) -> Bool {
        lhs.value == rhs.value
    }
}
print(Box(value: 5) == Box(value: 5))   // true
// Works because Int is Equatable
// print(Box(value: someNonEquatable) == ...) // won't compile

有条件地遵循可哈希性协议

同样，仅当元素遵循可哈希性协议时，才采用可哈希性协议。这样，Set/Dictionary 就可以与 Box<T> 一起使用。

extension Box: Hashable where T: Hashable {
    func hash(into hasher: inout Hasher) {
        hasher.combine(value)
    }
}
let set: Set<Box<Int>> = [Box(value: 1), Box(value: 1)]
print(set.count)  // 1 because Hashable is available only when T: Hashable

使用 where 进行功能门控

使用扩展……约束，仅针对具备特定能力的类型公开方法（例如 T: Numeric），从而保持基础接口简洁。

// Add extra APIs only when T supports them
extension Box where T: Numeric {
    func doubled() -> T { value + value }
}
print(Box(value: 7).doubled())     // 14 (Int is Numeric)
// Box(value: "hi").doubled()      // won't compile — String not Numeric

标准库中的应用

您每天都在使用这种机制：

数组：可等同性仅在 Element: Equatable 时可用。
字典/集合仅在键或元素遵循 Hashable 时支持哈希。
可选值仅在 Wrapped: Equatable 时支持相等性比较。

优点：接口准确，并且在编译时保证安全。

定义检查

快速检查：条件式协议遵循允许什么操作？

在交互式课程中回答

回顾

回顾：使用 扩展类型：协议，其中……，仅在约束成立时添加协议遵循和接口。这能让代码更加精确、安全且易于理解。

免费开始

用 AI 导师学习 Swift — 免费

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

课程: 122
课程: 409

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

常见问题解答

「条件遵循协议」课时是免费的吗？

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

「条件遵循协议」这节课中我会学到什么？

仅当泛型类型的类型参数满足约束时，才让它遵循协议（例如 Box<T>: Equatable where T: Equatable ）。你通过在浏览器中直接运行的动手代码来练习 Swift Academy，全天候 AI 导师会在你学习这节课的过程中回答你的问题。

学习 Swift Academy 需要有经验吗？

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

「条件遵循协议」课时需要多长时间？

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

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

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

此课程中的所有课时

← 返回 Swift Academy