Iterable和Collections#

前面已经了解过Range、Array、ArrayList, 它们都可以使用for-in进行遍历操作

对于开发者自定义的类型, 也能实现类似的遍历操作

Range、Array、ArrayList都是通过Iterable来支持for-in语法的

Iterable是如下形式(只展示了核心代码)的一个内置interface

1
interface Iterable<T> {
2
    func iterator(): Iterator<T>
3
    ...
4
}

iterator函数要求返回的Iterator类型是如下形式(只展示了核心代码)的另一个内置interface

1
interface Iterator<T> <: Iterable<T> {
2
    mut func next(): Option<T>
3
    ...
4
}

可以使用for-in语法来遍历任何一个实现了Iterable接口类型的实例

假设有这样一段for-in代码, 如下所示

1
let list = [1, 2, 3]
2
for (i in list) {
3
    println(i)
4
}

它等价于如下形式的while代码

1
let list = [1, 2, 3]
2
var it = list.iterator()
3
while (true) {
4
    match (it.next()) {
5
        case Some(i) => println(i)
6
        case None => break
7
    }
8
}

另外一种常见的遍历Iterable类型的方法是在while表达式的条件中使用模式匹配, 比如上面while代码的另一种等价写法是:

1
let list = [1, 2, 3]
2
var it = list.iterator()
3
while (let Some(i) <- it.next()) {
4
    println(i)
5
}

Array、ArrayList、HashSet、HashMap类型都实现了Iterable, 因此可以将其用在for-in或者while中

Iterable接口, 是Collection类型能够使用for-in遍历其元素的原因

Iterable这个名字意为可迭代的, 不由让人联想到C++容器中的迭代器

仓颉Iterable实际可以类比C++容器中的迭代器

Iterable接口拥有iterator()函数, 此函数返回一个Iterator<T>类型

Iterator<T>类型拥有next()函数, 返回Option<T>类型数据

这就是Collection可被for-in等循环遍历访问元素的关键

这意味着, 只要实现了Iterable的类型, 其实都可以使用for-in等语法循环迭代遍历