26、Swift 泛型与协议扩展：深入解析与实践

Swift 泛型与协议扩展：深入解析与实践

1. where 子句中的类型约束

在 Swift 中， where 关键字功能强大，它不仅能在循环或 switch 语句中施加约束，还能在函数声明里进一步约束泛型参数或返回类型。

以 Stack<Element> 结构体为例，我们可以添加一个新方法，将数组中的每个元素压入栈中：

struct Stack<Element>: Sequence {
    // ...
    mutating func pushAll(_ array: [Element]) {
        for item in array {
            self.push(item)
        }
    }
}

var myStack = Stack<Int>()
for value in myStack {
    print("for-in loop: got \(value)")
}
myStack.pushAll([1, 2, 3])
for value in myStack {
    print("after pushing: got \(value)")
}

不过， pushAll(_:) 方法虽然有用，但通用性不足。实际上，任何符合 Sequence 协议的类型都能用于 for-in 循环，所以该方法不应局限于数组