生成器虽然是ES6最具魔性的新特性,但也是最难懂得的一节,笔者写了大量的实例来具体化这种抽象的概念,能够让人一看就懂,目的是希望别人不要重复或者减少笔者学习生成器的痛苦经历。
在说具体的ES6生成器之前,我觉得我们应该先来看一个例子,因为它真的很晦涩,我们需要先增加一下兴趣会说话的猫
ES6生成器可以说是ES6新特性中最具魔力的特性,它可以极大的简化代码,并且贯穿了整个ES6的使用。它与我们以前学过的js特性都不同,它可以在函数的内部随时暂停。
那么我们从最简单的定义生成器说起,这可能会相对容易一些,以下是会说话的猫的生成器代码:
function* quips(name) {
yield "hello " + name + "!";
yield "i hope you are enjoying the blog posts";
if (name.toLowerCase().startsWith("x")) {
yield "hey, it's cool how your name starts with an X, " + name;
}
yield "see you later!";
}
它看起来像一个函数,但是也有一些不同
- 它使用function*来声明,而不是function。
- 它使用yield来返回,而不是return。生成器函数可以yield多次而不会退出程序,在执行过程中遇到yield表达式立刻暂停,后续可恢复执行状态,而return直接退出程序。
var meow_iter = quips("Xingu");
//[object Generator]
meow_iter.next();
//{value:"hello Xingu!",done:false}
meow_iter.next();
//{value:"i hope you are enjoying the blog posts",done:false}
meow_iter.next();
//{value:"hey, it's cool how your name starts with an X, Xingu",done:false}
meow_iter.next();
//{value:"see you later!",done:false}
meow_iter.next();
//{value:undefied,done:true}
以上就是会说话的猫生成器的执行过程,看过ES6迭代器的同学可能基本上能看懂这段代码了。但是当你调用一个生成器的时候,它并非立即执行,而是在生成器函数第一句代码执行之前返回一个生成器对象(就是上面的meow_iter),这个时候函数冻结了。当你调用对象的.next()方法的时候,函数调用将其自身解冻并一直运行到下一个yield表达式,再次暂停。 当调用最后一个.next()的时候,返回的done为true,调用结束。这就是基本的生成器执行过程了。
function* num(){
yield 1;
yield 2;
return 3;
yield 4;
}
var itr = num();
console.log(itr.next());
console.log(itr.next());
console.log(itr.next());
console.log(itr.next());
console.log(itr.next());
// Object { value: 1, done: false }
// Object { value: 2, done: false }
// Object { value: 3, done: true }
// Object { value: undefined, done: true }
// Object { value: undefined, done: true }
事实胜于雄辩,当我们在生成器中使用return的时候,那么return的值将会作为最后的返回值,而return后面的yield语句不会生效。
function* num(){
yield 1;
yield 2;
return 3;
yield 4;
}
for(var i of num()){
console.log(i);
}
//1
//2
可以看到for-of并不会遍历到return的值,也不会遍历到return之后yield的值。
function* num(){
console.log("start");
for(var i = 0; i < 3; i++){
yield i;
}
console.log("end");
}
for(var i of num()){
console.log(i);
}
// start
// 0
// 1
// 2
// end
官方对与循环中yield是这样解释的:在循环中,每当生成器执行yields语句,生成器的堆栈结构(本地变量、参数、临时值、生成器内部当前的执行位置)被移出堆栈。然而,生成器对象保留了对这个堆栈结构的引用(备份),所以稍后调用.next()可以重新激活堆栈结构并且继续执行。什么东西?好像很高深的样子。说了这么长一串,无非就是说循环中的yield和正常语句的yield在使用上没有区别。
function* num(){
yield 1;
yield 2;
}
function* num1(){
yield 3;
yield* num();
yield 4
}
for(var i of num1()){
console.log(i);
}
// 3
// 1
// 2
// 4
.next()传参
function* add(num){
var x = yield (num + 1);
console.log(x);
var y = yield (x + 1);
return x + y;
}
var a = add(1);
console.log(a.next());
console.log(a.next());
console.log(a.next());
// Object { value: 2, done: false }
// undefined
// Object { value: NaN, done: false }
// Object { value: NaN, done: true }
这是一个传入参数的例子
function* add(num){
var x = yield (num + 1);
console.log(x);
var y = yield (x + 1);
return x + y;
}
var a = add(1);
console.log(a.next());
console.log(a.next(2));
console.log(a.next(3));
// Object { value: 2, done: false }
// 2
// Object { value: 3, done: false }
// Object { value: 5, done: true }
可见,我们在生成器中yield的返回值不能初始化左边的变量,实际上给.next()方法传参数, 那么这个参数将会作为上一次yield语句的返回值,如上我们传入2作为参数,那么上一个yield(num+1)就相当于返回了2,不然我们无法使用它的返回值,如例1。这样说还是有点难懂,一些复杂的问题往往因为一些简单的举例而变得容易理解。实际上这种给.next()传参的做法常常用来代替异步方式的Ajax请求,看完下面的例子你可能会恍然大悟。
"use strict";
function* main() {
var result = yield request("http://www.filltext.com?rows=10&f={firstName}");
console.log(result);
//do 别的ajax请求;
} function request(url) {
var r = new XMLHttpRequest();
r.open("GET", url, true);
r.onreadystatechange = function () {
if (r.readyState != 4 || r.status != 200) return;
var data = JSON.parse(r.responseText);
//数据成功返回以后, 代码就能够继续往下走了;
it.next(data);
};
r.send();
} var it = main();
it.next();
console.log("执行到这儿啦");
it.next(data)将data作为上一次yield的返回值赋值给result,然后打印result,这种用同步的方式实现了和异步编程一样的效果,真是令人惊讶!
function* producevalues() {
setup();
try {
// ... 生成一些值
} finally {
cleanup();
}
}
for (var value of producevalues()) {
work(value);
}
我们希望无论如何都在cleanup()中释放一些资源,但这里有一些情况:
- 我们没在 try 代码块中调用 work(value) ,如果它抛出异常怎么办?
- 或者假设 for-of 循环包含一条 break 语句或 return 语句。清理步骤又会如何执行呢?
function* num() {
try {
for(var i = 0; i < 3; i++){
yield i;
}
} finally {
console.log("finally run");
}
}
function work(value){
if(value != 1){
console.log(value);
}else{
throw(new Error("error"));
}
}
for(var value of num()) {
work(value);
}
// 0
// finally run
// Error: error
循环中抛出异常,finally照常执行
function* num() {
try {
for(var i = 0; i < 3; i++){
yield i;
}
} finally {
console.log("finally run");
}
}
function work(value){
console.log(value);
}
for(var value of num()) {
if(value == 1){
break;
}
work(value);
}
// 0
// finally run
循环中break或return,finally照常执行。
function* num() {
try {
for(var i = 0; i < 3; i++){
yield i;
}
} finally {
console.log("finally run");
}
}
function work(value){
console.log(value);
}
var a = num();
for(var value of a) {
if(value == 1){
a.return();
}
work(value);
}
// 0
// finally run
// 1
下面我们介绍.throw()方法
function* num(){
try{
yield 1
}catch(e){
console.log("内部捕获")
}
}
var a = num();
a.next();
try{
a.throw("a");
}catch(e){
console.log("外部捕获")
}
//内部捕获
function* num(){
try{
yield 1
}catch(e){
console.log("内部捕获")
}
yield 2
}
var a = num();
a.next();
a.next();
try{
a.throw("a");
}catch(e){
console.log("外部捕获")
}
//外部捕获
最后补充一点关于生成器中的this以及它的原型
- 生成器中的this就是它的调用者。
- 生成器生成的Iterator,不但继承了Iterator的原型, 也继承了Generator的原型。