-
在软件开发领域,iterator得意思就是按照顺序反复多次执行一段程序,通常会有明确的终止条件。
-
ES新增两个高级特性:迭代器和生成器。
-
循环是迭代机制的基础,这是因为它可以指定迭代的次数,以及每次迭代要执行的操作。每次循环都会在下一次迭代开始之前完成,而每次迭代的顺序都是事先定义好的。
-
迭代会在一个有序集合上进行。(有序可以理解为集合所有项都按照既定的顺序被遍历到,特别是开始和结束项有明确的定义。)数组是js中有序集合的最典型例子。
-
数组有已知的长度,且数组每一项都可以通过索引获取,所以整个数组可以通过增索引来遍历。
-
由于如下原因,通过这种循环来执行例程并不理想。
- 迭代之前需要事先知道如何适用数据结构。数组中的每一项都只能先通过引用取得数组对象,然后再通过[]操作符取得特定索引位置上的项。这种情况不适用于所有的数据结构
- 遍历顺序并不是数据结构固有的。通过递增索引来访问数据是特定于数组类型的方式,并不适用于其他具有隐式顺序的数据结构。
-
ES5新增了Array.prototype.forEach()方法,向通用迭代需求迈进了一步(但不理想)
- 这个方法解决了单独记录索引和通过数组对象取得值的问题。不过,没有办法标识迭代何时终止。因此这个方法只适用于数组,而且回调结构也比较笨拙。
-
ES6提供了迭代器模式
迭代器模式
-
如果一些结构实现了正式的Iterator接口,而且可以通过迭代器Iterator消费。则这些结构可称为“可迭代对象”。
-
可迭代对象是一种抽象的说法。基本上,可以把可迭代对象理解成数组或集合这样的集合类型的对象。它们包含的元素都是有限的,而且都具有无歧义的遍历顺序;
// 数组的元素是有限的
// 递增索引可以按序访问呢
let arr = [3, 1, 4];
// 集合的元素是有限的
// 可以按插入顺序访问
let set = new Set().add(3).add(1).add(4)
-
不过,可迭代对象不一定是集合对象,也可以是仅仅具有类似数组行为的其他数据结构,比如本章开头提到的计数循环。该循环中生成的值是暂时性的,但循环本身是在执行迭代。计数循环和数组都具有可迭代对象的行为.
-
任何实现了Iterable接口的数据都可以被实现Iterator接口的结构消费。迭代器iterator是按需创建的一次性对象。
-
每个迭代器都会关联一个可迭代对象,而迭代器会暴露迭代其关联可迭代对象的API。
-
迭代器无须了解与其关联的可迭代对象的结构,只需要知道如何取得连续的值。
-
可迭代协议
- 实现Iterable接口(可迭代协议)要求同时具备2种能力:
- 支持迭代的自我识别能力
- 创建实现Iterator接口的对象的能力
- 实现Iterable接口(可迭代协议)要求同时具备2种能力:
-
在ES中,这意味着必须暴露一个属性作为“默认迭代器”,而这个属性必须使用特殊的Symbol.iterator作为键。这个默认迭代器属性必须引用一个迭代器工厂函数,调用这个工厂函数必须返回一个新迭代器。
-
实现了Iterable接口的内置类型:
- 字符串 String
- 数组 Array
- 映射 Map
- 集合 Set
- arguments
- NodeList等DOM集合类型
-
[symbol.iterator]是工厂函数,调用这个工厂函数会生成一个迭代器
[Symbol.iterator]() => ArrayIterator {}
-
实现了可迭代协议Iterable的所有类型都会自动兼容接收可迭代对象的所有语言特性。语言特性如下所示:
- for-of
- 数组解构
let [a, b , ...] = arr // arr 是可迭代对象
- 扩展运算符…
- Array.from()
- 创建Map
- 创建Set
- Promise.all()接收由promise组成的可迭代对象
- Promise.race()接收由promise组成的可迭代对象
- yield*操作符,在生成器中使用
let arr = ['foo', 'bar', 'baz'];
// for-of循环
for(let el of arr) {
console.log(el)
}
// foo
// bar
// baz
// 数组解构
let [a, b, c] = arr;
// 扩展操作符
let arr2 = [...arr];
// Array.from()
let arr3 = Array.from(arr); // ['foo', 'bar', 'baz']
// Set()
let set = new Set(arr); // {'foo', 'bar', 'baz'}
// Map
let pairs = arr.map((item, x, array) => [item, x]);
// [['foo', 0], ['bar', 1], ['baz', 2]]
let map = new Map(pairs);
// {'foo' => 0, 'bar' => 1, 'baz' => 2}
- 如果对象原型链上的父类实现了Iterable接口,那这个对象也就是实现了这个接口:
class FooArray extends Array {
}
let fooArr = new FooArray