ES6 新的数组方法、集合、for-of 循环、展开运算符(...)甚至异步编程都依赖于迭代器(Iterator )实现。本文会详解 ES6 的迭代器与生成器,并进一步挖掘可迭代对象的内部原理与使用方法
在编程语言中处理数组或集合时,使用循环语句必需要初始化一个变量记录迭代位置,而程序化地使用迭代器能够简化这种数据操做
如何设计一个迭代器呢?编程
迭代器的自己是一个对象,这个对象有 next( ) 方法返回结果对象,这个结果对象有下一个返回值 value、迭代完成布尔值 done,模拟建立一个简单迭代器以下:segmentfault
function createIterator(iterms) { let i = 0 return { next() { let done = (i >= iterms.length) let value = !done ? iterms[i++] : undefined return { done, value } } } } let arrayIterator = createIterator([1, 2, 3]) console.log(arrayIterator.next()) // { done: false, value: 1 } console.log(arrayIterator.next()) // { done: false, value: 2 } console.log(arrayIterator.next()) // { done: false, value: 3 } console.log(arrayIterator.next()) // { done: true, value: undefined }
对以上语法感到困惑的,可参考: 【ES6】对象的新功能与解构赋值
每次调用迭代器的 next( ) 都会返回下一个对象,直到数据集被用尽。数组
ES6 中迭代器的编写规则相似,但引入了生成器对象,更简单的建立迭代器对象异步
ES6 封装了一个生成器(generator)用来建立迭代器。显然生成器是返回迭代器的函数,这个函数经过 function 后的星号(*)表示,并使用新的内部专用关键字yield
指定迭代器 next( ) 方法的返回值。async
如何使用 ES6 生成器建立一个迭代器呢?一个简单的例子以下:编程语言
function *createIterator() { yield 123; yield 'someValue' } let someIterator = createIterator() console.log(someIterator.next()) // { value: 123, done: false } console.log(someIterator.next()) // { value: 'someValue', done: false } console.log(someIterator.next()) // { value: undefined, done: true }
使用yield
关键字能够返回任意值或表达式,能够给迭代器批量添加元素:异步编程
// let createIterator = function *(items) { // 生成器函数表达式 function *createIterator(items) { for (let i = 0; i < items.length; i++) { yield items[i] } } let someIterator = createIterator([123, 'someValue']) console.log(someIterator.next()) // { value: 123, done: false } console.log(someIterator.next()) // { value: 'someValue', done: false } console.log(someIterator.next()) // { value: undefined, done: true }
因为生成器自己是函数,因此可添加到对象中,使用方式以下:函数
let obj = { // createIterator: function *(items) { // ES5 *createIterator(items) { // ES6 for (let i = 0; i < items.length; i++) { yield items[i] } } } let someIterator = obj.createIterator([123, 'someValue'])
生成器函数的一个特色是, 当执行完一句 yield 语句后函数会自动中止执行,再次调用迭代器的 next( ) 方法才会继续执行下一个 yield 语句。
这种 自动停止函数执行的能力衍生出不少高级用法,并提供了 async/await 语法糖。
在 ES6 中经常使用的集合对象(数组、Set/Map集合)和字符串都是可迭代对象,这些对象都有默认的迭代器和Symbol.iterator
属性。this
经过生成器建立的迭代器也是可迭代对象,由于生成器默认会为Symbol.iterator
属性赋值。spa
可迭代对象具备Symbol.iterator
属性,即具备Symbol.iterator
属性的对象都有默认迭代器。
咱们能够用Symbol.iterator
来访问对象的默认迭代器,例如对于一个数组:
let list = [11, 22, 33] let iterator = list[Symbol.iterator]() console.log(iterator.next()) // { value: 11, done: false }
Symbol.iterator
得到了数组这个可迭代对象的默认迭代器,并操做它遍历了数组中的元素。
反之,咱们能够用Symbol.iterator
来检测对象是否为可迭代对象:
function isIterator(obj) { return typeof obj[Symbol.iterator] === 'function' } console.log(isIterator([11, 22, 33])) // true console.log(isIterator('sometring')) // true console.log(isIterator(new Map())) // true console.log(isIterator(new Set())) // true console.log(isIterator(new WeakMap())) // false console.log(isIterator(new WeakSet())) // false
显然数组、Set/Map 集合、字符串都是可迭代对象,而 WeakSet/WeakMap 集合(弱引用集合)是不可迭代的。
默认状况下,自定义的对象都是不可迭代的。
刚才讲过,经过生成器建立的迭代器也是一种可迭代对象,生成器默认会为Symbol.iterator
属性赋值。
那如何将自定义对象变为可迭代对象呢?经过给Symbol.iterator
属性添加一个生成器:
let collection = { items: [11,22,33], *[Symbol.iterator]() { for (let item of this.items){ yield item } } } console.log(isIterator(collection)) // true for (let item of collection){ console.log(item) // 11 22 33 }
数组 items 是可迭代对象,collection 对象经过给Symbol.iterator
属性赋值也成为可迭代对象。
注意到上个栗子使用了for-of
代替索引循环,for-of
是 ES6 为可迭代对象新加入的特性。
思考一下for-of
循环的实现原理。
对于使用for-of
的可迭代对象,for-of
每执行一次就会调用这个可迭代对象的 next( ),并将返回结果存储在一个变量中,持续执行直到可迭代对象 done 属性值为 false。
// 迭代一个字符串 let str = 'somestring' for (let item of str){ console.log(item) // s o m e s t r i n g }
本质上来讲,for-of
调用 str 字符串的Symbol.iterator
属性方法获取迭代器(这个过程由 JS 引擎完成),而后屡次调用 next( ) 方法将对象 value 值存储在 item 变量。
将
for-of
用于不可迭代对象、null 或 undefined 会报错!
ES6 语法糖展开运算符(...)也是服务于可迭代对象,即只能够“展开”数组、集合、字符串、自定义可迭代对象。
如下栗子输出不一样可迭代对象展开运算符计算的结果:
let str = 'somestring' console.log(...str) // s o m e s t r i n g let set = new Set([1, 2, 2, 5, 8, 8, 8, 9]) console.log(set) // Set { 1, 2, 5, 8, 9 } console.log(...set) // 1 2 5 8 9 let map = new Map([['name', 'jenny'], ['id', 123]]) console.log(map) // Map { 'name' => 'jenny', 'id' => 123 } console.log(...map) // [ 'name', 'jenny' ] [ 'id', 123 ] let num1 = [1, 2, 3], num2 = [7, 8, 9] console.log([...num1, ...num2]) // [ 1, 2, 3, 7, 8, 9 ] let udf console.log(...udf) // TypeError: undefined is not iterable
由以上代码能够看出,展开运算符(...)能够便捷地将可迭代对象转换为数组。同for-of
同样,展开运算符(...)用于不可迭代对象、null 或 undefined 会报错!
ES6 为不少内置对象提供了默认的迭代器,只有当内建的迭代器不能知足需求时才本身建立迭代器。
ES6 的 三个集合对象:Set、Map、Array 都有默认的迭代器,经常使用的如values()
方法、entries()
方法都返回一个迭代器,其值区别以下:
entries()
:多个键值对values()
:集合的值keys()
:集合的键调用以上方法均可以获得集合的迭代器,并使用for-of
循环,示例以下:
/******** Map ***********/ let map = new Map([['name', 'jenny'], ['id', 123]]) for(let item of map.entries()){ console.log(item) // [ 'name', 'jenny' ] [ 'id', 123 ] } for(let item of map.keys()){ console.log(item) // name id } for (let item of map.values()) { console.log(item) // jenny 123 } /******** Set ***********/ let set = new Set([1, 4, 4, 5, 5, 5, 6, 6,]) for(let item of set.entries()){ console.log(item) // [ 1, 1 ] [ 4, 4 ] [ 5, 5 ] [ 6, 6 ] } /********* Array **********/ let array = [11, 22, 33] for(let item of array.entries()){ console.log(item) // [ 0, 11 ] [ 1, 22 ] [ 2, 33 ] }
此外 String 和 NodeList 类型都有默认的迭代器,虽然没有提供其它的方法,但能够用for-of
循环
推荐阅读《深刻理解ES6》