迭代器(Iterator)

ES5实现迭代器

迭代器是什么?遇到这种新的概念,莫慌张。

迭代器是一种特殊对象,每一个迭代器对象都有一个next(),该方法返回一个对象,包括value和done属性。

ES5实现迭代器的代码如下:

  1. //实现一个返回迭代器对象的函数,注意该函数不是迭代器,返回结果才叫做迭代器。
  2. function createIterator(items) {
  3. var i = 0;
  4. return {
  5. next() {
  6. var done = (i >= items.length); // 判断i是否小于遍历的对象长度。
  7. var value = !done ? items[i++] : undefined; //如果done为false,设置value为当前遍历的值。
  8. return {
  9. done,
  10. value
  11. }
  12. }
  13. }
  14. }
  15. const a = createIterator([1, 2, 3]);
  16. //该方法返回的最终是一个对象,包含value、done属性。
  17. console.log(a.next()); //{value: 1, done: false}
  18. console.log(a.next()); //{value: 2, done: false}
  19. console.log(a.next()); //{value: 3, done: false}
  20. console.log(a.next()); //{value: undefined, done: true}

生成器(Generator)

生成器是函数:用来返回迭代器。

这个概念有2个关键点,一个是函数、一个是返回迭代器。这个函数不是上面ES5中创建迭代器的函数,而是ES6中特有的,一个带有*(星号)的函数,同时你也需要使用到yield。

  1. //生成器函数,ES6内部实现了迭代器功能,你要做的只是使用yield来迭代输出。
  2. function *createIterator() {
  3. yield 1;
  4. yield 2;
  5. yield 3;
  6. }
  7. const a = createIterator();
  8. console.log(a.next()); //{value: 1, done: false}
  9. console.log(a.next()); //{value: 2, done: false}
  10. console.log(a.next()); //{value: 3, done: false}
  11. console.log(a.next()); //{value: undefined, done: true}

生成器的yield关键字有个神奇的功能,就是当你执行一次next(),那么只会执行一个yield后面的内容,然后语句终止运行。

在for循环中使用迭代器

即使你是在for循环中使用yield关键字,也会暂停循环。

  1. function *createIterator(items) {
  2. for(let i = 0; i < items.length; i++) {
  3. yield items[i]
  4. }
  5. }
  6. const a = createIterator([1, 2, 3]);
  7. console.log(a.next()); //{value: 1, done: false}

yield使用限制

yield只可以在生成器函数内部使用,如果在非生成器函数内部使用,则会报错。

  1. function *createIterator(items) {
  2. //你应该在这里使用yield
  3. items.map((value, key) => {
  4. yield value //语法错误,在map的回调函数里面使用了yield
  5. })
  6. }
  7. const a = createIterator([1, 2, 3]);
  8. console.log(a.next()); //无输出

生成器函数表达式

函数表达式很简单,就是下面这种写法,也叫匿名函数,不用纠结。

  1. const createIterator = function *() {
  2. yield 1;
  3. yield 2;
  4. }
  5. const a = createIterator();
  6. console.log(a.next());

在对象中添加生成器函数

一个对象长这样:

  1. const obj = {}

我们可以在obj中添加一个生成器,也就是添加一个带星号的方法:

  1. const obj = {
  2. a: 1,
  3. *createIterator() {
  4. yield this.a
  5. }
  6. }
  7. const a = obj.createIterator();
  8. console.log(a.next()); //{value: 1, done: false}

可迭代对象和for of循环

再次默读一遍,迭代器是对象,生成器是返回迭代器的函数。

凡是通过生成器生成的迭代器,都是可以迭代的对象(可迭代对象具有Symbol.iterator属性),也就是可以通过for of将value遍历出来。

  1. function *createIterator() {
  2. yield 1;
  3. yield 2;
  4. yield 3;
  5. }
  6. const a = createIterator();
  7. for(let value of a) {
  8. console.log(value)
  9. }
  10. // 1 2 3

上面的例子告诉我们生成器函数返回的迭代器是一个可以迭代的对象。其实我们这里要研究的是Symbol.iterator的用法。

  1. function *createIterator() {
  2. yield 1;
  3. yield 2;
  4. yield 3;
  5. }
  6. const a = createIterator(); //a是一个迭代器
  7. const s = a[Symbol.iterator]();//使用Symbol.iterator访问迭代器
  8. console.log(s.next()) //{value: 1, done: false}

Symbol.iterator还可以用来检测一个对象是否可迭代:

  1. typeof obj[Symbol.iterator] === "function"

创建可迭代对象

在ES6中,数组、Set、Map、字符串都是可迭代对象。

默认情况下定义的对象(object)是不可迭代的,但是可以通过Symbol.iterator创建迭代器。

  1. const obj = {
  2. items: []
  3. }
  4. obj.items.push(1);//这样子虽然向数组添加了新元素,但是obj不可迭代
  5. for (let x of obj) {
  6. console.log(x) // _iterator[Symbol.iterator] is not a function
  7. }
  8. //接下来给obj添加一个生成器,使obj成为一个可以迭代的对象。
  9. const obj = {
  10. items: [],
  11. *[Symbol.iterator]() {
  12. for (let item of this.items) {
  13. yield item;
  14. }
  15. }
  16. }
  17. obj.items.push(1)
  18. //现在可以通过for of迭代obj了。
  19. for (let x of obj) {
  20. console.log(x)
  21. }

内建迭代器

上面提到了,数组、Set、Map都是可迭代对象,即它们内部实现了迭代器,并且提供了3种迭代器函数调用。

1、entries() 返回迭代器:返回键值对

  1. //数组
  2. const arr = ['a', 'b', 'c'];
  3. for(let v of arr.entries()) {
  4. console.log(v)
  5. }
  6. // [0, 'a'] [1, 'b'] [2, 'c']
  7. //Set
  8. const arr = new Set(['a', 'b', 'c']);
  9. for(let v of arr.entries()) {
  10. console.log(v)
  11. }
  12. // ['a', 'a'] ['b', 'b'] ['c', 'c']
  13. //Map
  14. const arr = new Map();
  15. arr.set('a', 'a');
  16. arr.set('b', 'b');
  17. for(let v of arr.entries()) {
  18. console.log(v)
  19. }
  20. // ['a', 'a'] ['b', 'b']

2、values() 返回迭代器:返回键值对的value

  1. //数组
  2. const arr = ['a', 'b', 'c'];
  3. for(let v of arr.values()) {
  4. console.log(v)
  5. }
  6. //'a' 'b' 'c'
  7. //Set
  8. const arr = new Set(['a', 'b', 'c']);
  9. for(let v of arr.values()) {
  10. console.log(v)
  11. }
  12. // 'a' 'b' 'c'
  13. //Map
  14. const arr = new Map();
  15. arr.set('a', 'a');
  16. arr.set('b', 'b');
  17. for(let v of arr.values()) {
  18. console.log(v)
  19. }
  20. // 'a' 'b'

3、keys() 返回迭代器:返回键值对的key

  1. //数组
  2. const arr = ['a', 'b', 'c'];
  3. for(let v of arr.keys()) {
  4. console.log(v)
  5. }
  6. // 0 1 2
  7. //Set
  8. const arr = new Set(['a', 'b', 'c']);
  9. for(let v of arr.keys()) {
  10. console.log(v)
  11. }
  12. // 'a' 'b' 'c'
  13. //Map
  14. const arr = new Map();
  15. arr.set('a', 'a');
  16. arr.set('b', 'b');
  17. for(let v of arr.keys()) {
  18. console.log(v)
  19. }
  20. // 'a' 'b'

虽然上面列举了3种内建的迭代器方法,但是不同集合的类型还有自己默认的迭代器,在for of中,数组和Set的默认迭代器是values(),Map的默认迭代器是entries()。

for of循环解构

对象本身不支持迭代,但是我们可以自己添加一个生成器,返回一个key,value的迭代器,然后使用for of循环解构key和value。

  1. const obj = {
  2. a: 1,
  3. b: 2,
  4. *[Symbol.iterator]() {
  5. for(let i in obj) {
  6. yield [i, obj[i]]
  7. }
  8. }
  9. }
  10. for(let [key, value] of obj) {
  11. console.log(key, value)
  12. }
  13. // 'a' 1, 'b' 2

字符串迭代器

  1. const str = 'abc';
  2. for(let v of str) {
  3. console.log(v)
  4. }
  5. // 'a' 'b' 'c'

NodeList迭代器

迭代器真是无处不在啊,dom节点的迭代器你应该已经用过了。

  1. const divs = document.getElementByTagName('div');
  2. for(let d of divs) {
  3. console.log(d)
  4. }

展开运算符和迭代器

  1. const a = [1, 2, 3];
  2. const b = [4, 5, 6];
  3. const c = [...a, ...b]
  4. console.log(c) // [1, 2, 3, 4, 5, 6]

高级迭代器功能

你说什么?上面讲了一堆废话都是基础功能?还有高级功能没讲?

高级功能不复杂,就是传参、抛出异常、生成器返回语句、委托生成器。

1、传参

生成器里面有2个yield,当执行第一个next()的时候,返回value为1,然后给第二个next()传入参数10,传递的参数会替代掉上一个next()的yield返回值。在下面的例子中就是first。

  1. function *createIterator() {
  2. let first = yield 1;
  3. yield first + 2;
  4. }
  5. let i = createIterator();
  6. console.log(i.next()); // {value: 1, done: false}
  7. console.log(i.next(10)); // {value: 12, done: false}

2、在迭代器中抛出错误

  1. function *createIterator() {
  2. let first = yield 1;
  3. yield first + 2;
  4. }
  5. let i = createIterator();
  6. console.log(i.next()); // {value: 1, done: false}
  7. console.log(i.throw(new Error('error'))); // error
  8. console.log(i.next()); //不再执行

3、生成器返回语句

生成器中添加return表示退出操作。

  1. function *createIterator() {
  2. let first = yield 1;
  3. return;
  4. yield first + 2;
  5. }
  6. let i = createIterator();
  7. console.log(i.next()); // {value: 1, done: false}
  8. console.log(i.next()); // {value: undefined, done: true}

4、委托生成器

生成器嵌套生成器

  1. function *aIterator() {
  2. yield 1;
  3. }
  4. function *bIterator() {
  5. yield 2;
  6. }
  7. function *cIterator() {
  8. yield *aIterator()
  9. yield *bIterator()
  10. }
  11. let i = cIterator();
  12. console.log(i.next()); // {value: 1, done: false}
  13. console.log(i.next()); // {value: 2, done: false}

异步任务执行器

ES6之前,我们使用异步的操作方式是调用函数并执行回调函数。

书上举的例子挺好的,在nodejs中,有一个读取文件的操作,使用的就是回调函数的方式。

  1. var fs = require("fs");
  2. fs.readFile("xx.json", function(err, contents) {
  3. //在回调函数中做一些事情
  4. })

那么任务执行器是什么呢?

任务执行器是一个函数,用来循环执行生成器,因为我们知道生成器需要执行N次next()方法,才能运行完,所以我们需要一个自动任务执行器帮我们做这些事情,这就是任务执行器的作用。

下面我们编写一个异步任务执行器。

  1. //taskDef是一个生成器函数,run是异步任务执行器
  2. function run(taskDef) {
  3. let task = taskDef(); //调用生成器
  4. let result = task.next(); //执行生成器的第一个next(),返回result
  5. function step() {
  6. if(!result.done) {
  7. //如果done为false,则继续执行next(),并且循环step,直到done为true退出。
  8. result = task.next(result.value);
  9. step();
  10. }
  11. }
  12. step(); //开始执行step()
  13. }

测试一下我们编写的run方法,我们不再需要console.log N个next了,因为run执行器已经帮我们做了循环执行操作:

  1. run(function *() {
  2. let value = yield 1;
  3. value = yield value + 20;
  4. console.log(value) // 21
  5. })

总结

本章讲了3个概念,迭代器、生成器、任务执行器。

迭代器是一个对象。

生成器是一个函数,它最终返回迭代器。

任务执行器一个函数(或者也叫生成器的回调函数),帮我们自动执行生成器的内部运算,最终返回迭代器。

不知道看到这里,你明白3者的区别和用法没?