Sequence
Sequence是一系列相同类型的值的集合，并且提供对这些值得迭代能力
迭代一个Sequence最常见的方式就是for-in，并且提供对这些值得迭代能力
for element in someSequence {
doSomething(with: element)
}
我们经常把for-in循环用到Array，Dictonary，set等数据结构中，那是因为它们都是实现了Sequence协议。
Sequence协议的定义：
protocol Sequence{
associatedtype Iterator:IteratorProtocol
func makeIterator()->Iterator
}
Sequence的协议里只有一个必须实现的方法就是makeIterator()，
makeIterator()需要返回一个Iterator，他就是一个IteratorProtocol类型。
只要提供一个Iterator就能实现Sequence，那么Iterator又是什么了？？？
Iterator
Iterator 在 Swift 3.1 标准库中即为 IteratorProtocol，它用来为 Sequence 提供迭代能力。对于 Sequence，我们可以用for-in来迭代其中的元素，其实for-in的背后是 IteratorProtocol 在起作用。
IteratorProtocol 的定义如下：
public protocol IteratorProtocol{
associatedtype Element
public mutating func next()->Self.Element?
}
associatedtype 声明了元素的类型
next()用来返回Sequence中的下一个元素，或者当没有了下一个元素就返回nil
Iterator实现举例说明
举例1
struct SimplestIterator:IteratorProtocol {
typealias Element = Int
mutating func next() -> Int? {
return nil
}
}
这个例子中的Iterator不会迭代出任何元素，确切的说，这个Iterator在迭代时仅调用一次next()就结束了。
举例2
struct ConstantIterator:IteratorProtocol {
typealias Element = Int
mutating func next() -> Int? {
return 1
}
}
这个一直迭代出的是1
实现一个Sequence
实现一个Sequence首先要实现一个Iterator
实现一个Iterator，接收一个字符串数组，并可以迭代这个数组中的所有字符串的首字母，当数组中的最后一个字符串迭代完后迭代完成，退出迭代
struct FirstLetterIterator:IteratorProtocol {
typealias Element = String
let stringArr:[String]
var offset:Int
init(strings:[String]) {
stringArr = strings
offset = 0
}
mutating func next() -> String? {
guard offset < stringArr.endIndex else {
return nil
}
let string = stringArr[offset]
offset += 1
return string.substring(to: string.index(string.startIndex, offsetBy: 1))
}
}
这个Iterator的需要输入一个字符串数组，在哪next()中，判断边界，并返回数组为offset的字符串的首字母，并将offset加1
有了实现好的Iterator，就可以简单的用他实现Sequence，在makeIterator()中返回这个Iterator即可
struct FirstLetterSequence:Sequence {
let strngs:[String]
func makeIterator() -> FirstLetterIterator {
return FirstLetterIterator(strings:strngs)
}
}
现在Sequence已经实现完成了，
for letter in FirstLetterSequence(strngs:["apple","banana","orange"]) {
print(letter)
}
打印结果：
a
b
o
值类型 Iterator 和引用类型 Iterator
值类型 Iterator
一般 Iterator 都是值类型的，值类型的 Iterator 的意思是：当把 Iterator 赋值给一个新变量时，是把原 Iterator 的所有状态拷贝了一份赋值给新的 Iterator，原 Iterator 在继续迭代时不会影响新的 Iterator。
例如用stride函数创建一个简单的 Sequence，它从 0 开始，到 9 截止，每次递增 1，即为 [0, 1, 2, ..., 8, 9]。
然后获取到它的 Iterator，调用 next() 进行迭代。
let seq = stride(from: 0, to: 10, by: 1)
var i1 = seq.makeIterator()
print(i1.next())
print(i1.next())
输出结果
Optional(0)
Optional(1)
然后做一个赋值操作，建一个新的i2
var i2= i1
然后输出
print(i1.next())
print(i1.next())
print(i2.next())
print(i2.next())
输出结果
Optional(0)
Optional(1)
Optional(0)
Optional(1)
这里的i1和i2相互不影响，赋值对i1做了一份完整的拷贝，这里的Iterator是一个值类型的Iterator
应用类型的Iterator
可以把任何一个值类型 Iterator 用AnyIterator这个包一下就形成了一个引用类型的 Iterator。
var i3 = AnyIterator(i1)
var i4 = i3
输出
print(i3.next())
print(i4.next())
print(i3.next())
print(i4.next())
输出结果
Optional(0)
Optional(1)
Optional(2)
Optional(3)
引用类型的 Iterator，再赋值给一个新的变量后，新的 Iterator 和原 Iterator 在进行迭代时会互相对对方产生影响。
学习博客参考
网友评论