类型参数约束
要求泛型参数遵循指定协议。
类型参数约束 是 CoddyKit 上的免费 Swift Academy 课时。 这是第 1 节课，共 4 节。 你可以在下方免费阅读本课时的完整内容 — 然后在浏览器中使用内置代码编辑器和全天候 AI 导师进行实践。 这是 Swift Academy 学习路径的一部分，你的进度在网页和 CoddyKit 应用中同步。 Swift Academy 课程共包含 4 节课。
泛型回顾
泛型函数使用类似 <T> 的类型参数，因此可以适用于多种类型。不过，不受约束的 T 只能被传递，不能被检查。约束可以解锁更多能力。
func identity<T>(_ x: T) -> T { x }
print(identity(5))
print(identity("hi"))Comparable 约束
写出 <T: Comparable>，就能保证 T 的值支持 <、> 等运算符，因此您可以比较这些值。
func largest<T: Comparable>(_ a: T, _ b: T) -> T {
a > b ? a : b
}
print(largest(3, 9))
print(largest("apple", "pear"))为何需要约束
如果没有 Comparable，编译器会拒绝 a > b，因为并非每种类型都支持该运算。约束就是让该操作合法的承诺。
func minOf<T: Comparable>(_ list: [T]) -> T? {
list.min()
}
print(minOf([4, 2, 8])!)Equatable 约束
Equatable 支持 == 和 !=。请使用它来统计或查找匹配的元素。
func count<T: Equatable>(_ x: T, in list: [T]) -> Int {
list.filter { $0 == x }.count
}
print(count(2, in: [2, 3, 2, 2]))Hashable 约束
Hashable 让您可以将值用作 Set 的成员或字典键。
func unique<T: Hashable>(_ list: [T]) -> [T] {
Array(Set(list))
}
print(unique([1, 1, 2, 3, 3]).sorted())协议约束
任何协议都可以作为约束。这里，自定义协议为泛型参数解锁了该协议中的方法。
protocol Speaker { func speak() -> String }
struct Dog: Speaker { func speak() -> String { "Woof" } }
func announce<T: Speaker>(_ x: T) {
print(x.speak())
}
announce(Dog())类约束
您可以要求 T 继承自某个特定的类，从而使用该类的成员。
class Animal { func name() -> String { "animal" } }
class Cat: Animal { override func name() -> String { "cat" } }
func describe<T: Animal>(_ x: T) { print(x.name()) }
describe(Cat())多个约束
使用 & 组合约束，可以同时要求遵循多个协议。
func show<T: CustomStringConvertible & Equatable>(_ a: T, _ b: T) {
print(a.description, a == b)
}
show(5, 5)多个类型参数
一个函数可以包含多个受约束的参数，每个参数都有自己的要求。
func zipMap<K: Hashable, V>(_ keys: [K], _ vals: [V]) -> [K: V] {
var d: [K: V] = [:]
for (k, v) in zip(keys, vals) { d[k] = v }
return d
}
print(zipMap(["a", "b"], [1, 2]))对类型添加约束
泛型类型（不仅是函数）也可以接受约束。泛型结构体可以要求其参数遵循某个协议。
struct SortedBox<T: Comparable> {
var items: [T]
var smallest: T? { items.min() }
}
print(SortedBox(items: [5, 1, 9]).smallest!)数值约束
像 Numeric 这样的标准协议，让泛型代码可以在 Int、Double 等类型之间执行算术运算。
func sum<T: Numeric>(_ list: [T]) -> T {
list.reduce(0, +)
}
print(sum([1, 2, 3]))
print(sum([1.5, 2.5]))快速检查
请检查您对类型参数约束的理解。
回顾
类型参数约束（<T: Protocol> 或 <T: SomeClass>）会告诉编译器泛型类型可以执行哪些操作。您了解了 Comparable、Equatable、Hashable、Numeric、自定义协议、类约束、使用 & 的多个约束，以及对泛型类型添加约束。
常见问题解答
「类型参数约束」课时是免费的吗？
是的 — 「类型参数约束」的完整文本可在网页上免费阅读。要进行交互式练习（内置代码编辑器和全天候 AI 导师）并解锁 Swift Academy 课程的其余内容，请升级到 CoddyKit PRO。 Swift Academy 课程共包含 4 节课。
「类型参数约束」这节课中我会学到什么？
要求泛型参数遵循指定协议。 你通过在浏览器中直接运行的动手代码来练习 Swift Academy，全天候 AI 导师会在你学习这节课的过程中回答你的问题。
学习 Swift Academy 需要有经验吗？
无需任何先前经验。CoddyKit 上的 Swift Academy 课程适合初学者到高级学习者，你可以从这里开始或从头开始，按照自己的节奏学习。 这是第 1 节课，共 4 节。
「类型参数约束」课时需要多长时间？
大多数 CoddyKit 课程大约需要 5–10 分钟。每节课都很精短且互动，所以你能稳步进步，并在网页和应用中从离开的地方继续。
我能在这节 Swift Academy 课中编写并运行代码吗？
能。每节 Swift Academy 课都包含内置代码编辑器，你可以在浏览器中直接编写并运行真实代码，并获得即时 AI 反馈 — 无需本地设置。