12、Swift 泛型与协议的深入应用

Swift 泛型与协议的深入应用

在 Swift 编程中，泛型是一项强大的特性，它能让我们编写更加灵活和可复用的代码。本文将深入探讨 Swift 中泛型的使用、类型约束、对现有泛型的扩展，以及如何利用协议和泛型解决实际问题。

泛型实例的类型一致性

与泛型实例的所有未来交互都必须为其占位符使用相同的类型。这是泛型的一大优点，编译器会为我们做很多工作。如果我们创建了一个某种类型的实例，却意外地将其当作不同类型使用，编译器是不会允许的。而在许多其他编程语言，包括苹果之前的语言 Objective - C 中，并没有这种保护机制。

例如，当我们尝试用空数组初始化一个 Bag 实例时：

var emptySet = Bag(elements: []) 
// Argument for generic parameter 'ElementType' could not be inferred

我们会得到一个错误，因为编译器无法确定要为泛型占位符分配的类型。解决这个问题的方法是为赋值的变量指定显式类型：

var emptySet: Bag<String> = Bag(elements: [])

编译器不仅可以根据我们传递的变量来确定泛型占位符的类型，还可以根据我们使用结果的方式来确定类型。

类型约束

虽然我们已经知道如何强大地使用泛型，但还需要解决一个问题：如何编写一个泛型函数