Collections in Swift 4

在Swift 4中，对原有的Collection体系作了一些简化。为此，经过这个系列，咱们从新过一遍和Collection相关的内容。在这个系列里，咱们抛开Swift中那些具体的Array，Set，Dictionary不谈，单纯从表达一系列元素这个概念出发，来回顾Swift Collections设计的前先后后，为何须要Iterator？Index和Iterator的关系和区别是什么？为何须要Sequence？Collection和Sequence的差异是什么？如何为不一样的集合类型设计接口？。经过对这些问题的讨论，你不只可以通这个系列的内容更好的使用集合类型。还能以一个标准库库设计者的视角，来理解一些你可能平时不太会注意到的细节。

---

从迭代一系列元素开始

泊学4K视频
泊阅文档

在Swift 4中，对原有的Collection体系作了一些简化。为此，经过这个系列，咱们从新过一遍和Collection相关的内容。

抛开Swift中那些具体的Array，Set，Dictionary不谈，单纯从为了表达一堆数字这个角度来看，其中最基础的动做，就是要能逐个访问到它们。所以，咱们关于集合这个抽象概念自己的话题，不妨就从这个动做开始。

这里咱们用“一堆数字”这个形式举例便于理解，实际上，做为集合，它表达的是任意一堆对象。

从约束一个最基本的遍历动做开始

为了用最简单的形式描述“逐个访问”这个动做，咱们能够定义一个Protocol：

protocol IteratorProtocol {
        associatedtype Element
        mutating func next() -> Element?
    }

其中，Element定义了咱们逐个访问到的元素类型，而next方法则不断给咱们返回下一个元素，全部元素都访问完了，next返回nil。另外，为何咱们要用mutating修饰next呢？你们先不用在乎这个事情，在后面的内容里，就明白了。

用IteratorProtocol表示无穷序列

有了IteratorProtocol，怎么用呢？来看个最简单的例子：

struct Ones: IteratorProtocol {
    mutating func next() -> Int? {
        return 1
    }
}

这里，One表示一个包含无穷多个数字1的序列，为了逐个访问到这些数字，咱们只要不断调用next就行了：

var ones = Ones()

ones.next() // Optional(1)
ones.next() // Optional(1)
ones.next() // Optional(1)

虽然例子很简单，但有两点仍是值得说一下：

• 第一，咱们无需显式指定Element的类型，编译器能够从next()的签名中推导出来；
• 第二，这个例子要表达的重点是，咱们无需关心ones这个序列的内部构成，只要知道调用next就能够获得下一个元素，或者获得nil，表示结束就行了；

固然，除了这种为了演示而编写的代码以外，咱们也能够定义一些有用的Iterator，例如一个Fibonacci序列：

struct Fibonacci: IteratorProtocol {
    private var state = (0, 1)

    mutating func next() -> Int? {
        let nextNumber = state.0
        self.state = (state.1, state.0 + state.1)

        return nextNumber
    }
}

而用法，和ones一模一样：

var fibs = Fibonacci()

fibs.next() // Optional(0)
fibs.next() // Optional(1)
fibs.next() // Optional(1)
fibs.next() // Optional(2)

看到这，你就明白为何咱们要让next是一个mutating方法了。为了遍历序列，咱们几乎老是须要一些用于记录状态的属性，为了让next能够修改这些属性，必须用mutating来修饰它。

使用IteratorProtocol表达序列的局限性

可是，使用听从IteratorProtocol的类型来表达序列，有一个让人困惑的地方。当咱们要反复从头遍历一个序列的时候，该怎么办呢？显然，复制一个fibs并不行，它会从当前遍历的状态继续下去。咱们惟一能作的，就是从新建立一个Fibonacci对象。

固然，因为Fibonacci是咱们本身实现的，所以，咱们了解这前先后后的全部细节。可是，当咱们拿着Fibonacci给别人使用的时候，这种诡异的用法必定不会为你赢得同事的好评。

之因此会有这种问题，是由于咱们借用了遍历的当前状态做为了序列的自己。ones也好，fibs也好，都如此。每一次调用next，咱们用于记录当前遍历状态的值，刚好生成了咱们指望的整个序列。

What's next?

为了解决这个问题，咱们应该削弱遵循IteratorProtocol的类型表达的语意，让它在大多时候都只承载遍历的含义，而对于咱们要表达的序列自己，再用一类约束来表达，这就是为何Swift要提供protocol Sequence的缘由。下一节，咱们就来了解这个protocol。