生活无关他人,只有你是自己人生的主角,与其取悦别人,不如好好爱自己。
今日学习内容
1、JS 红皮书 P183-189 第六章:集合引用类型
今日笔记
1、在软件开发领域,“迭代”的意思是按照顺序反复多次执行一段程序,通常会有明确的终止条件。ECMAScript 6 规范新增了两个高级特性:迭代器和生成器。使用这两个特性,能够更清晰、高效、方便地实现迭代。
在 JavaScript 中,计数循环就是一种最简单的迭代:
1 2 3
| for (let i = 1; i <= 10; ++i) { console.log(i); }
|
循环是迭代机制的基础,这是因为它可以指定迭代的次数,以及每次迭代要执行什么操作。每次循环都会在下一次迭代开始之前完成,而每次迭代的顺序都是事先定义好的。
迭代会在一个有序集合上进行。(“有序”可以理解为集合中所有项都可以按照既定的顺序被遍历到,特别是开始和结束项有明确的定义。)数组是 JavaScript 中有序集合的最典型例子。
1 2 3 4
| let collection = ['foo', 'bar', 'baz']; for (let index = 0; index < collection.length; ++index) { console.log(collection[index]); }
|
因为数组有已知的长度,且数组每一项都可以通过索引获取,所以整个数组可以通过递增索引来遍历。由于如下原因,通过这种循环来执行例程并不理想。
迭代之前需要事先知道如何使用数据结构。数组中的每一项都只能先通过引用取得数组对象,然后再通过[]操作符取得特定索引位置上的项。这种情况并不适用于所有数据结构。
遍历顺序并不是数据结构固有的。通过递增索引来访问数据是特定于数组类型的方式,并不适用于其他具有隐式顺序的数据结构。
ES5 新增了 Array.prototype.forEach()方法,向通用迭代需求迈进了一步(但仍然不够理想):
1 2 3 4 5
| let collection = ['foo', 'bar', 'baz']; collection.forEach((item) => console.log(item));
|
这个方法解决了单独记录索引和通过数组对象取得值的问题。不过,没有办法标识迭代何时终止。因此这个方法只适用于数组,而且回调结构也比较笨拙。
在 ECMAScript 较早的版本中,执行迭代必须使用循环或其他辅助结构。随着代码量增加,代码会变得越发混乱。很多语言都通过原生语言结构解决了这个问题,开发者无须事先知道如何迭代就能实现迭代操作。这个解决方案就是迭代器模式。Python、Java、C++,还有其他很多语言都对这个模式提供了完备的支持。JavaScript 在 ECMAScript 6 以后也支持了迭代器模式。
2、迭代器模式(特别是在 ECMAScript 这个语境下)描述了一个方案,即可以把有些结构称为“可迭代对象”(iterable),因为它们实现了正式的 Iterable 接口,而且可以通过迭代器 Iterator 消费。
可迭代对象是一种抽象的说法。基本上,可以把可迭代对象理解成数组或集合这样的集合类型的对象。它们包含的元素都是有限的,而且都具有无歧义的遍历顺序:
1 2 3 4 5 6
|
let arr = [3, 1, 4];
let set = new Set().add(3).add(1).add(4);
|
任何实现 Iterable 接口的数据结构都可以被实现 Iterator 接口的结构“消费”(consume)。
2、实现 Iterable 接口(可迭代协议)要求同时具备两种能力:支持迭代的自我识别能力和创建实现Iterator 接口的对象的能力。在 ECMAScript 中,这意味着必须暴露一个属性作为“默认迭代器”,而且这个属性必须使用特殊的 Symbol.iterator 作为键。这个默认迭代器属性必须引用一个迭代器工厂函数,调用这个工厂函数必须返回一个新迭代器。
很多内置类型都实现了 Iterable 接口:
字符串
数组
映射
集合
arguments 对象
NodeList 等 DOM 集合类型
检查是否存在默认迭代器属性可以暴露这个工厂函数:
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22
| let num = 1; let obj = {};
console.log(num[Symbol.iterator]); console.log(obj[Symbol.iterator]); let str = 'abc'; let arr = ['a', 'b', 'c']; let map = new Map().set('a', 1).set('b', 2).set('c', 3); let set = new Set().add('a').add('b').add('c'); let els = document.querySelectorAll('div');
console.log(str[Symbol.iterator]); console.log(arr[Symbol.iterator]); console.log(map[Symbol.iterator]); console.log(set[Symbol.iterator]); console.log(els[Symbol.iterator]);
console.log(str[Symbol.iterator]()); console.log(arr[Symbol.iterator]()); console.log(map[Symbol.iterator]()); console.log(set[Symbol.iterator]()); console.log(els[Symbol.iterator]());
|
实际写代码过程中,不需要显式调用这个工厂函数来生成迭代器。实现可迭代协议的所有类型都会自动兼容接收可迭代对象的任何语言特性。接收可迭代对象的原生语言特性包括:
for-of 循环
数组解构
扩展操作符
Array.from()
创建集合
创建映射
Promise.all()接收由期约组成的可迭代对象
Promise.race()接收由期约组成的可迭代对象
yield*操作符,在生成器中使用
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25
| let arr = ['foo', 'bar', 'baz'];
for (let el of arr) { console.log(el); }
let [a, b, c] = arr; console.log(a, b, c);
let arr2 = [...arr]; console.log(arr2);
let arr3 = Array.from(arr); console.log(arr3);
let set = new Set(arr); console.log(set);
let pairs = arr.map((x, i) => [x, i]); console.log(pairs); let map = new Map(pairs); console.log(map);
|
如果对象原型链上的父类实现了 Iterable 接口,那这个对象也就实现了这个接口:
1 2 3 4 5 6 7 8
| class FooArray extends Array {} let fooArr = new FooArray('foo', 'bar', 'baz'); for (let el of fooArr) { console.log(el); }
|
3、迭代器是一种一次性使用的对象,用于迭代与其关联的可迭代对象。迭代器 API 使用 next()方法在可迭代对象中遍历数据。每次成功调用 next(),都会返回一个 IteratorResult 对象,其中包含迭代器返回的下一个值。若不调用 next(),则无法知道迭代器的当前位置。
next()方法返回的迭代器对象 IteratorResult 包含两个属性:done 和 value。done 是一个布尔值,表示是否还可以再次调用 next()取得下一个值;value 包含可迭代对象的下一个值(done 为false),或者 undefined(done 为 true)。done: true 状态称为“耗尽”。可以通过以下简单的数组来演示:
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35
| let arr = ['foo', 'bar'];
console.log(arr[Symbol.iterator]);
let iter = arr[Symbol.iterator](); console.log(iter);
console.log(iter.next()); console.log(iter.next()); console.log(iter.next());
let arr = ['foo']; let iter = arr[Symbol.iterator](); console.log(iter.next()); console.log(iter.next()); console.log(iter.next()); console.log(iter.next());
let arr = ['foo', 'bar']; let iter1 = arr[Symbol.iterator](); let iter2 = arr[Symbol.iterator](); console.log(iter1.next()); console.log(iter2.next()); console.log(iter2.next()); console.log(iter1.next());
let arr = ['foo', 'baz']; let iter = arr[Symbol.iterator](); console.log(iter.next());
arr.splice(1, 0, 'bar'); console.log(iter.next()); console.log(iter.next()); console.log(iter.next());
|
注意 迭代器维护着一个指向可迭代对象的引用,因此迭代器会阻止垃圾回收程序回收可迭代对象。
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21
|
class Foo { [Symbol.iterator]() { return { next() { return { done: false, value: 'foo' }; } } } } let f = new Foo();
console.log(f[Symbol.iterator]());
let a = new Array();
console.log(a[Symbol.iterator]());
|
自定义迭代器: 与 Iterable 接口类似,任何实现 Iterator 接口的对象都可以作为迭代器使用。下面这个例子中的 Counter 类只能被迭代一定的次数:
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24
| class Counter { constructor(limit) { this.count = 1; this.limit = limit; } next() { if (this.count <= this.limit) { return { done: false, value: this.count++ }; } else { return { done: true, value: undefined }; } } [Symbol.iterator]() { return this; } } let counter = new Counter(3); for (let i of counter) { console.log(i); }
|
这个类实现了 Iterator 接口,但不理想。这是因为它的每个实例只能被迭代一次:
1 2 3 4 5 6
| for (let i of counter) { console.log(i); }
for (let i of counter) { console.log(i); }
|
为了让一个可迭代对象能够创建多个迭代器,必须每创建一个迭代器就对应一个新计数器。为此,可以把计数器变量放到闭包里,然后通过闭包返回迭代器:
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27
| class Counter { constructor(limit) { this.limit = limit; } [Symbol.iterator]() { let count = 1, limit = this.limit; return { next() { if (count <= limit) { return { done: false, value: count++ }; } else { return { done: true, value: undefined }; } } }; } } let counter = new Counter(3); for (let i of counter) { console.log(i); }
for (let i of counter) { console.log(i); }
|
每个以这种方式创建的迭代器也实现了 Iterable 接口。Symbol.iterator 属性引用的工厂函数会返回相同的迭代器:
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16
| let arr = ['foo', 'bar', 'baz']; let iter1 = arr[Symbol.iterator](); console.log(iter1[Symbol.iterator]); let iter2 = iter1[Symbol.iterator](); console.log(iter1 === iter2);
let arr = [3, 1, 4]; let iter = arr[Symbol.iterator](); for (let item of arr ) { console.log(item); }
for (let item of iter ) { console.log(item); }
|