20、Swift 泛型：深入解析与应用

Swift 泛型：深入解析与应用

1. 泛型基础

1.1 可选类型示例

在 Swift 中，泛型无处不在。以可选类型为例，下面是一个 Optional<String> 的伪代码声明：

enum Optional<String> {
    case none
    case some(String)
    init(_ some: String)
    // ...
}

我们也可以用以下方式创建同样的可选类型：

let s : Optional<String> = "howdy"

泛型并不会放松 Swift 的严格类型检查，在编译时，类型就会被完全确定。虽然代码中使用了泛型占位符，但在实际使用时，占位符会被解析为具体的类型。

1.2 泛型声明的位置

在 Swift 中，泛型可以在以下几种情况中声明：
- 带有 Self 的泛型协议 ：在协议中使用 Self 关键字会使协议成为泛型， Self 代表采用该协议的类型。例如：

protocol Flier {
    func flockTogetherWith(_ f:Self)
}
</