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 在进行迭代时会互相对对方产生影响。
学习博客参考