轻松学会ES6新特性之生成器

2023-01-05,,,,

生成器虽然是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直接退出程序。
那么这个生成器函数究竟是怎样执行的?
要理解内部运行机制,我们首先要清楚:生成器也是迭代器。为什么?因为所有的生成器都内建了.next()和Symbol.iterator方法 ,这个我们以后再说,现在只需要清楚这一点即可。

知道了生成器也是迭代器之后,现在我们用会说话的猫来分析生成器的执行过程。

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,调用结束。这就是基本的生成器执行过程了。

要特别注意的一点是:生成器不是线程,它是按顺序执行的,不会发生并发。

有的同学就会问了,yield和return同时使用会发生什么,会不会因为眉来眼去最后发生一些故事呢?我们用实例来验证一下。

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语句不会生效。

既然生成器是迭代器,那么我们用for-of来遍历一下带return的生成器又会怎样呢?

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的值。

之前我们yield都是处于正常语句中,那么如果处在循环中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在使用上没有区别。

生成器的基本使用就是以上的部分了,但是它远远不止这些特性,下面我们来探讨更加高级层次的特性。

yield*
以上我们讨论只是用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()传参
在生成器的.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,这种用同步的方式实现了和异步编程一样的效果,真是令人惊讶!

.return()和.throw()
要理解一些东西往往要从一些提问开始,现在我们看一下下面这段代码

function* producevalues() {
setup();
try {
// ... 生成一些值
} finally {
cleanup();
}
}
for (var value of producevalues()) {
work(value);
}

我们希望无论如何都在cleanup()中释放一些资源,但这里有一些情况:

我们没在 try 代码块中调用 work(value) ,如果它抛出异常怎么办?
或者假设 for-of 循环包含一条 break 语句或 return 语句。清理步骤又会如何执行呢?
任何真理都是靠实践出来的,下面我们写几个demo来测试一下

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照常执行。

由此可见ES6中,清理时无论如何都会执行的。这是为什么?在迭代器章节的时候我们说过,迭代器接口支持一个可选的 .return() 方法,每当迭代在迭代器返回 {done:true} 之前退出都会自动调用这个方法。生成器支持这个方法, mygenerator.return() 会触发生成器执行任一 finally 代码块然后退出,就好像当前的生成暂停点已经被秘密转换为一条 return 语句一样。 

这就是说,既可以隐式的调用return()方法(如中断循环break或抛出异常),也可以显示的调用。

以上都是隐式调用的,下面是一个显示调用举例。

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()方法

生成器的.throw()方法也有要注意的地方,而且这个地方很怪.
如果执行到的yield在try语句块中,那么会被生成器内部的try捕获,否则被外部的try捕获,下面我们将实例验证一下:

yield在try语句块中

function* num(){
try{
yield 1
}catch(e){
console.log("内部捕获")
}
}
var a = num();
a.next();
try{
a.throw("a");
}catch(e){
console.log("外部捕获")
}
//内部捕获

yield在try语句块外

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的原型。

总结:通过以上的例子,相信大家已经掌握了生成器的内容,虽然它很难,但在人类的智慧面前,仍然不够看。

轻松学会ES6新特性之生成器的相关教程结束。

《轻松学会ES6新特性之生成器.doc》

下载本文的Word格式文档,以方便收藏与打印。