1
0
mirror of https://github.com/ruanyf/es6tutorial.git synced 2025-05-24 18:32:22 +00:00
es6tutorial/docs/iterator.md
2015-07-02 16:23:35 +08:00

736 lines
21 KiB
Markdown
Raw Blame History

This file contains ambiguous Unicode characters

This file contains Unicode characters that might be confused with other characters. If you think that this is intentional, you can safely ignore this warning. Use the Escape button to reveal them.

# Iterator和for...of循环
## Iterator遍历器
### 概念
JavaScript原有的数据结构主要是数组Array和对象ObjectES6又添加了Map和Set用户还可以组合使用它们定义自己的数据结构。这就需要一种统一的接口机制来处理所有不同的数据结构。
遍历器Iterator就是这样一种机制。它属于一种接口规格任何数据结构只要部署这个接口就可以完成遍历操作即依次处理该结构的所有成员。它的作用有两个一是为各种数据结构提供一个统一的、简便的接口二是使得数据结构的成员能够按某种次序排列。在ES6中遍历操作特指for...of循环即Iterator接口主要供for...of消费。
遍历器的遍历过程是这样的它提供了一个指针默认指向当前数据结构的起始位置。也就是说遍历器返回一个内部指针。第一次调用遍历器的next方法可以将指针指向到第一个成员第二次调用next方法就指向第二个成员直至指向数据结构的结束位置。每一次调用都会返回当前成员的信息具体来说就是返回一个包含value和done两个属性的对象。其中value属性是当前成员的值done属性是一个布尔值表示遍历是否结束。
下面是一个模拟next方法返回值的例子。
```javascript
function makeIterator(array){
var nextIndex = 0;
return {
next: function(){
return nextIndex < array.length ?
{value: array[nextIndex++], done: false} :
{value: undefined, done: true};
}
}
}
var it = makeIterator(['a', 'b']);
it.next() // { value: "a", done: false }
it.next() // { value: "b", done: false }
it.next() // { value: undefined, done: true }
```
上面代码定义了一个makeIterator函数它的作用就是返回数组的遍历器。对数组`['a', 'b']`执行这个函数就会返回该数组的遍历器it。
遍历器it的next方法用来移动指针。开始时指针指向数组的开始位置。然后每次调用next方法指针就会指向数组的下一个成员。第一次调用指向a第二次调用指向b。
next方法返回一个对象表示当前位置的信息。这个对象具有value和done两个属性value属性返回当前位置的成员done属性是一个布尔值表示遍历是否结束即是否还有必要再一次调用next方法。
总之遍历器是一个对象具有next方法。调用next方法就可以遍历事先给定的数据结构。
由于遍历器只是把接口规格加到数据结构之上,所以,遍历器与它所遍历的那个数据结构,实际上是分开的,完全可以写出没有对应数据结构的遍历器,或者说用遍历器模拟出数据结构。下面是一个无限运行的遍历器例子。
```javascript
function idMaker(){
var index = 0;
return {
next: function(){
return {value: index++, done: false};
}
}
}
var it = idMaker();
it.next().value // '0'
it.next().value // '1'
it.next().value // '2'
// ...
```
上面的例子中idMaker函数返回的对象就是遍历器但是并没有对应的数据结构或者说遍历器自己描述了一个数据结构出来。
在ES6中有些数据结构原生提供遍历器比如数组即不用任何处理就可以被for...of循环遍历有些就不行比如对象。原因在于这些数据结构部署了System.iterator属性详见下文。凡是部署了System.iterator属性的数据结构就称为部署了遍历器接口。调用这个接口就会返回一个遍历器。
如果使用TypeScript的写法遍历器接口、遍历器和next方法返回值的规格可以描述如下。
```javascript
interface Iterable {
[System.iterator]() : Iterator,
}
interface Iterator {
next(value?: any) : IterationResult,
}
interface IterationResult {
value: any,
done: boolean,
}
```
### 默认的Iterator接口
Iterator接口的目的就是为所有数据结构提供了一种统一的访问机制即for...of循环详见下文。当使用for...of循环遍历某种数据结构时该循环会自动去寻找Iterator接口。
ES6规定默认的Iterator接口部署在数据结构的Symbol.iterator属性或者一个数据结构只要具有Symbol.iterator属性就可以认为是“可遍历的”iterable。也就是说调用Symbol.iterator方法就会得到当前数据结构的默认遍历器。Symbol.iterator本身是一个表达式返回Symbol对象的iterator属性这是一个预定义好的、类型为Symbol的特殊值所以要放在方括号内请参考Symbol一节
在ES6中有三类数据结构原生具备Iterator接口数组、某些类似数组的对象、Set和Map结构。
```javascript
let arr = ['a', 'b', 'c'];
let iter = arr[Symbol.iterator]();
iter.next() // { value: 'a', done: false }
iter.next() // { value: 'b', done: false }
iter.next() // { value: 'c', done: false }
iter.next() // { value: undefined, done: true }
```
上面代码中变量arr是一个数组原生就具有遍历器接口部署在arr的Symbol.iterator属性上面。所以调用这个属性就得到遍历器。
上面提到原生就部署iterator接口的数据结构有三类对于这三类数据结构不用自己写遍历器for...of循环会自动遍历它们。除此之外其他数据结构主要是对象的Iterator接口都需要自己在Symbol.iterator属性上面部署这样才会被for...of循环遍历。
对象Object之所以没有默认部署Iterator接口是因为对象的哪个属性先遍历哪个属性后遍历是不确定的需要开发者手动指定。本质上遍历器是一种线性处理对于任何非线性的数据结构部署遍历器接口就等于部署一种线性转换。不过严格地说对象部署遍历器接口并不是很必要因为这时对象实际上被当作Map结构使用ES5没有Map结构而ES6原生提供了。
一个对象如果要有可被for...of循环调用的Iterator接口就必须在Symbol.iterator的属性上部署遍历器方法原型链上的对象具有该方法也可
```javascript
class RangeIterator {
constructor(start, stop) {
this.value = start;
this.stop = stop;
}
[Symbol.iterator]() { return this; }
next() {
var value = this.value;
if (value < this.stop) {
this.value++;
return {done: false, value: value};
} else {
return {done: true, value: undefined};
}
}
}
function range(start, stop) {
return new RangeIterator(start, stop);
}
for (var value of range(0, 3)) {
console.log(value);
}
```
上面代码是一个类部署Iterator接口的写法。Symbol.iterator属性对应一个函数执行后返回当前对象的遍历器。
下面是通过遍历器实现指针结构的例子。
```javascript
function Obj(value){
this.value = value;
this.next = null;
}
Obj.prototype[Symbol.iterator] = function(){
var iterator = {
next: next
};
var current = this;
function next(){
if (current){
var value = current.value;
var done = current == null;
current = current.next;
return {
done: done,
value: value
}
} else {
return {
done: true
}
}
}
return iterator;
}
var one = new Obj(1);
var two = new Obj(2);
var three = new Obj(3);
one.next = two;
two.next = three;
for (var i of one){
console.log(i)
}
// 1
// 2
// 3
```
上面代码首先在构造函数的原型链上部署Symbol.iterator方法调用该方法会返回遍历器对象iterator调用该对象的next方法在返回一个值的同时自动将内部指针移到下一个实例。
下面是另一个为对象添加Iterator接口的例子。
```javascript
let obj = {
data: [ 'hello', 'world' ],
[Symbol.iterator]() {
const self = this;
let index = 0;
return {
next() {
if (index < self.data.length) {
return {
value: self.data[index++],
done: false
};
} else {
return { value: undefined, done: true };
}
}
};
}
};
```
对于类似数组的对象存在数值键名和length属性部署Iterator接口有一个简便方法就是`Symbol.iterator`方法直接引用数值的Iterator接口。
```javascript
NodeList.prototype[Symbol.iterator] = Array.prototype[Symbol.iterator];
```
如果Symbol.iterator方法返回的不是遍历器解释引擎将会报错。
```javascript
var obj = {};
obj[Symbol.iterator] = () => 1;
[...obj] // TypeError: [] is not a function
```
上面代码中变量obj的Symbol.iterator方法返回的不是遍历器因此报错。
有了遍历器接口数据结构就可以用for...of循环遍历详见下文也可以使用while循环遍历。
```javascript
var $iterator = ITERABLE[Symbol.iterator]();
var $result = $iterator.next();
while (!$result.done) {
var x = $result.value;
// ...
$result = $iterator.next();
}
```
上面代码中ITERABLE代表某种可遍历的数据结构$iterator是它的遍历器。遍历器每次移动指针next方法都检查一下返回值的done属性如果遍历还没结束就移动遍历器的指针到下一步next方法不断循环。
### 调用默认iterator接口的场合
有一些场合会默认调用iterator接口即Symbol.iterator方法除了下文会介绍的for...of循环还有几个别的场合。
**1解构赋值**
对数组和Set结构进行解构赋值时会默认调用iterator接口。
```javascript
let set = new Set().add('a').add('b').add('c');
let [x,y] = set;
// x='a'; y='b'
let [first, ...rest] = set;
// first='a'; rest=['b','c'];
```
**2扩展运算符**
扩展运算符(...也会调用默认的iterator接口。
```javascript
// 例一
var str = 'hello';
[...str] // ['h','e','l','l','o']
// 例二
let arr = ['b', 'c'];
['a', ...arr, 'd']
// ['a', 'b', 'c', 'd']
```
上面代码的扩展运算符内部就调用iterator接口。
实际上这提供了一种简便机制可以将任何部署了iterator接口的数据结构转为数组。也就是说只要某个数据结构部署了iterator接口就可以对它使用扩展运算符将其转为数组。
```javascript
let arr = [...iterable];
```
**3其他场合**
以下场合也会用到默认的iterator接口可以查阅相关章节。
- yield*
- Array.from()
- Map(), Set(), WeakMap(), WeakSet()
- Promise.all(), Promise.race()
### 原生具备iterator接口的数据结构
《数组的扩展》一章中提到ES6对数组提供entries()、keys()和values()三个方法,就是返回三个遍历器。
```javascript
var arr = [1, 5, 7];
var arrEntries = arr.entries();
arrEntries.toString()
// "[object Array Iterator]"
arrEntries === arrEntries[Symbol.iterator]()
// true
```
上面代码中entries方法返回的是一个遍历器iterator本质上就是调用了`Symbol.iterator`方法。
字符串是一个类似数组的对象也原生具有Iterator接口。
```javascript
var someString = "hi";
typeof someString[Symbol.iterator]
// "function"
var iterator = someString[Symbol.iterator]();
iterator.next() // { value: "h", done: false }
iterator.next() // { value: "i", done: false }
iterator.next() // { value: undefined, done: true }
```
上面代码中,调用`Symbol.iterator`方法返回一个遍历器在这个遍历器上可以调用next方法实现对于字符串的遍历。
可以覆盖原生的`Symbol.iterator`方法,达到修改遍历器行为的目的。
```javascript
var str = new String("hi");
[...str] // ["h", "i"]
str[Symbol.iterator] = function() {
return {
next: function() {
if (this._first) {
this._first = false;
return { value: "bye", done: false };
} else {
return { done: true };
}
},
_first: true
};
};
[...str] // ["bye"]
str // "hi"
```
上面代码中字符串str的`Symbol.iterator`方法被修改了,所以扩展运算符(...返回的值变成了bye而字符串本身还是hi。
### Iterator接口与Generator函数
部署`Symbol.iterator`方法的最简单实现还是使用下一节要提到的Generator函数。
```javascript
var myIterable = {};
myIterable[Symbol.iterator] = function* () {
yield 1;
yield 2;
yield 3;
};
[...myIterable] // [1, 2, 3]
// 或者采用下面的简洁写法
let obj = {
* [Symbol.iterator]() {
yield 'hello';
yield 'world';
}
};
for (let x of obj) {
console.log(x);
}
// hello
// world
```
### return()throw()
遍历器除了具有next方法必备还可以具有return方法和throw方法可选
for...of循环如果提前退出通常是因为出错或者有break语句或continue语句就会调用return方法。如果一个对象在完成遍历前需要清理或释放资源就可以部署return方法。
throw方法主要是配合Generator函数使用一般的遍历器用不到这个方法。请参阅《Generator函数》的章节。
## for...of循环
ES6借鉴C++、Java、C#和Python语言引入了for...of循环作为遍历所有数据结构的统一的方法。一个数据结构只要部署了`Symbol.iterator`方法就被视为具有iterator接口就可以用for...of循环遍历它的成员。也就是说for...of循环内部调用的是数据结构的`Symbol.iterator`方法。
for...of循环可以使用的范围包括数组、Set和Map结构、某些类似数组的对象比如arguments对象、DOM NodeList对象、后文的Generator对象以及字符串。
### 数组
数组原生具备iterator接口for...of循环本质上就是调用这个接口产生的遍历器可以用下面的代码证明。
```javascript
const arr = ['red', 'green', 'blue'];
let iterator = arr[Symbol.iterator]();
for(let v of arr) {
console.log(v); // red green blue
}
for(let v of iterator) {
console.log(v); // red green blue
}
```
上面代码的for...of循环的两种写法是等价的。
for...of循环可以代替数组实例的forEach方法。
```javascript
const arr = ['red', 'green', 'blue'];
arr.forEach(function (element, index) {
console.log(element); // red green blue
console.log(index); // 0 1 2
});
```
JavaScript原有的for...in循环只能获得对象的键名不能直接获取键值。ES6提供for...of循环允许遍历获得键值。
```javascript
var arr = ["a", "b", "c", "d"];
for (a in arr) {
console.log(a); // 0 1 2 3
}
for (a of arr) {
console.log(a); // a b c d
}
```
上面代码表明for...in循环读取键名for...of循环读取键值。如果要通过for...of循环获取数组的索引可以借助数组实例的entries方法和keys方法参见《数组的扩展》章节。
### Set和Map结构
Set和Map结构也原生具有Iterator接口可以直接使用for...of循环。
```javascript
var engines = Set(["Gecko", "Trident", "Webkit", "Webkit"]);
for (var e of engines) {
console.log(e);
}
// Gecko
// Trident
// Webkit
var es6 = new Map();
es6.set("edition", 6);
es6.set("committee", "TC39");
es6.set("standard", "ECMA-262");
for (var [name, value] of es6) {
console.log(name + ": " + value);
}
// edition: 6
// committee: TC39
// standard: ECMA-262
```
上面代码演示了如何遍历Set结构和Map结构。值得注意的地方有两个首先遍历的顺序是按照各个成员被添加进数据结构的顺序。其次Set结构遍历时返回的是一个值而Map结构遍历时返回的是一个数组该数组的两个成员分别为当前Map成员的键名和键值。
```javascript
let map = new Map().set('a', 1).set('b', 2);
for (let pair of map) {
console.log(pair);
}
// ['a', 1]
// ['b', 2]
for (let [key, value] of map) {
console.log(key + ' : ' + value);
}
// a : 1
// b : 2
```
### 计算生成的数据结构
有些数据结构是在现有数据结构的基础上计算生成的。比如ES6的数组、Set、Map都部署了以下三个方法调用后都返回遍历器。
- entries() 返回一个遍历器,用来遍历 [键名, 键值] 组成的数组。对于数组键名就是索引值对于Set键名与键值相同。Map结构的iterator接口默认就是调用entries方法。
- keys() 返回一个遍历器,用来遍历所有的键名。
- values() 返回一个遍历器,用来遍历所有的键值。
这三个方法调用后生成的遍历器,所遍历的都是计算生成的数据结构。
```javascript
let arr = ['a', 'b', 'c'];
for (let pair of arr.entries()) {
console.log(pair);
}
// [0, 'a']
// [1, 'b']
// [2, 'c']
```
### 类似数组的对象
类似数组的对象包括好几类。下面是for...of循环用于字符串、DOM NodeList对象、arguments对象的例子。
```javascript
// 字符串
let str = "hello";
for (let s of str) {
console.log(s); // h e l l o
}
// DOM NodeList对象
let paras = document.querySelectorAll("p");
for (let p of paras) {
p.classList.add("test");
}
// arguments对象
function printArgs() {
for (let x of arguments) {
console.log(x);
}
}
printArgs('a', 'b');
// 'a'
// 'b'
```
对于字符串来说for...of循环还有一个特点就是会正确识别32位UTF-16字符。
```javascript
for (let x of 'a\uD83D\uDC0A') {
console.log(x);
}
// 'a'
// '\uD83D\uDC0A'
```
并不是所有类似数组的对象都具有iterator接口一个简便的解决方法就是使用Array.from方法将其转为数组。
```javascript
let arrayLike = { length: 2, 0: 'a', 1: 'b' };
// 报错
for (let x of arrayLike) {
console.log(x);
}
// 正确
for (let x of Array.from(arrayLike)) {
console.log(x);
}
```
### 对象
对于普通的对象for...of结构不能直接使用会报错必须部署了iterator接口后才能使用。但是这样情况下for...in循环依然可以用来遍历键名。
```javascript
var es6 = {
edition: 6,
committee: "TC39",
standard: "ECMA-262"
};
for (e in es6) {
console.log(e);
}
// edition
// committee
// standard
for (e of es6) {
console.log(e);
}
// TypeError: es6 is not iterable
```
上面代码表示对于普通的对象for...in循环可以遍历键名for...of循环会报错。
一种解决方法是,使用`Object.keys`方法将对象的键名生成一个数组,然后遍历这个数组。
```javascript
for (var key of Object.keys(someObject)) {
console.log(key + ": " + someObject[key]);
}
```
在对象上部署iterator接口的代码参见本章前面部分。一个方便的方法是将数组的`Symbol.iterator`属性,直接赋值给其他对象的`Symbol.iterator`属性。比如想要让for...of循环遍历jQuery对象只要加上下面这一行就可以了。
```javascript
jQuery.prototype[Symbol.iterator] =
Array.prototype[Symbol.iterator];
```
另一个方法是使用Generator函数将对象重新包装一下。
```javascript
function* entries(obj) {
for (let key of Object.keys(obj)) {
yield [key, obj[key]];
}
}
for (let [key, value] of entries(obj)) {
console.log(key, "->", value);
}
// a -> 1
// b -> 2
// c -> 3
```
### 与其他遍历语法的比较
以数组为例JavaScript提供多种遍历语法。最原始的写法就是for循环。
```javascript
for (var index = 0; index < myArray.length; index++) {
console.log(myArray[index]);
}
```
这种写法比较麻烦因此数组提供内置的forEach方法。
```javascript
myArray.forEach(function (value) {
console.log(value);
});
```
这种写法的问题在于无法中途跳出forEach循环break命令或return命令都不能奏效。
for...in循环可以遍历数组的键名。
```javascript
for (var index in myArray) {
console.log(myArray[index]);
}
```
for...in循环有几个缺点。
1数组的键名是数字但是for...in循环是以字符串作为键名“0”、“1”、“2”等等。
2for...in循环不仅遍历数字键名还会遍历手动添加的其他键甚至包括原型链上的键。
3某些情况下for...in循环会以任意顺序遍历键名。
总之for...in循环主要是为遍历对象而设计的不适用于遍历数组。
for...of循环相比上面几种做法有一些显著的优点。
```javascript
for (let value of myArray) {
console.log(value);
}
```
- 有着同for...in一样的简洁语法但是没有for...in那些缺点。
- 不同用于forEach方法它可以与break、continue和return配合使用。
- 提供了遍历所有数据结构的统一操作接口。
下面是一个使用break语句跳出for...of循环的例子。
```javascript
for (var n of fibonacci) {
if (n > 1000)
break;
console.log(n);
}
```
上面的例子会输出斐波纳契数列小于等于1000的项。如果当前项大于1000就会使用break语句跳出for...of循环。