作者:王志伟
邮箱:wangzhiwei@yumaomoney.com
Copy 更改历史
* 2019-06-24 王志伟 Generator 函数
* 2019-06-17 高天阳 添加Promise模块
* 2018-11-20 高天阳 默认参数、模板字符串、增强的对象字面量
* 2018-11-19 高天阳 整理文档
* 2018-11-13 王志伟 初始化文档
1 简介
ES6是前端开发的主力语言 (Vue、 React)如果你不能熟练掌握 需要补习~
2 使用
ES6主要新特性
2.1.1 默认参数
在ES5我们给函数定义参数默认值是怎么样?
Copy function action (num , color , url) {
num = num || 200
//当传入num时,num为传入的值
//当没传入参数时,num即有了默认值200
color = color || 'red' ;
url = url || 'http://azat.co' ;
return (num , color , url)
}
但细心观察的同学们肯定会发现,num传入为0的时候就是false,但是我们实际的需求就是要拿到num = 0, 此时num = 200 明显与我们的实际想要的效果明显不一样
ES6为参数提供了默认值。在定义函数时便初始化了这个参数,以便在参数没有被传递进去时使用。
Copy function action (num = 200 ) {
console .log (num)
}
action ( 0 ) //
action () //
action ( 300 ) //
2.1.2 箭头函数
Copy //ES5
var evens = [ 1 , 3 , 5 , 7 ];
var odds = evens .map ( function (val){
return val + 1
})
console .log (odds)
//ES6
var evens = [ 1 , 3 , 5 , 7 ];
var odds = evens .map (v => v + 1 )
console .log (odds)
2.1.3 面试题
参数默认值的位置
通常情况下,定义了默认值的参数,应该是函数的尾参数。因为这样比较容易看出来,到底省略了哪些参数。如果非尾部的参数设置默认值, 实际上这个参数是没法省略的。
// 例一
Copy function f(x = 1, y) {
return [x, y];
}
f() //
f(2) //
f(, 1) //
f(undefined, 1) //
// 例二
Copy function f(x, y = 5, z) {
return [x, y, z];
}
f() //
f(1) //
f(1, ,2) //
f(1, undefined, 2) //
上面代码中,有默认值的参数都不是尾参数。这时,无法只省略该参数,而不省略它后面的参数,除非显式输入 undefined 。 如果传入 undefined ,将触发该参数等于默认值, null 则没有这个效果。
Copy function foo (x = 5 , y = 6 ) {
console .log (x , y);
}
foo ( undefined , null )
上面代码中, x 参数对应 undefined ,结果触发了默认值, y 参数等于 null ,就没有触发默认值。
函数的 length 属性
Copy function calc (x = 0 , y = 0 ) {
// ...
console .log (x , y)
}
function ajax (url , async = true , dataType = "JSON" ) {
// ...
console .log (url , async , dataType)
}
function foo (a , b , c = 5 ) {
// ...
console .log (a , b , c)
}
console .log ( calc . length ); //
console .log ( ajax . length ); //
console .log ( foo . length ); //
定义了默认参数后,函数的length属性会减少,即有几个默认参数不包含在length的计算当中
Copy function foo (a = 0 , b , c) {
console .log (a , b , c)
}
function bar (a , b = 1 , c) {
console .log (a , b , c)
}
console .log ( foo . length ); //
console .log ( bar . length ); //
如果设置了默认值的参数不是尾参数,那么 length 属性也不再计入后面的参数了。
Copy function ajax (url = "../user.action" , async = true , success) {
var url = '' ; //
let async = 3 ; //
const success = function (){}; //
}
不能用let和const再次声明默认值,var可以
Copy function throwIf () {
throw new Error ( '少传了参数' );
}
function ajax (url = throwIf () , async = true , success) {
return url;
}
ajax (); //
可以看到这里参数success是一个函数调用,调用ajax时如果没有传第三个参数, 则会执行getCallback函数,该函数返回一个新函数赋值给success。 这是一个很强大的功能,给程序员以很大的想象发挥空间。
一旦设置了参数的默认值,函数进行声明初始化时,参数会形成一个单独的作用域(context)。 等到初始化结束,这个作用域就会消失。这种语法行为, 在不设置参数默认值时,是不会出现的。
Copy var x = 1 ;
function f (x , y = x) {
console .log (y);
}
f ( 2 ) //
上面代码中,参数 y 的默认值等于变量 x 。调用函数 f 时,参数形成一个单独的作用域。 在这个作用域里面,默认值变量 x 指向第一个参数 x ,而不是全局变量x,所以输出是2。
再看下面的例子。
Copy let x = 1 ;
function f (y = x) {
let x = 2 ;
console .log (y);
}
f () //
上面代码中,函数 f 调用时,参数 y = x 形成一个单独的作用域。这个作用域里面,变量 x 本身没有定义,所以指向外层的全局变量 x 。 函数调用时,函数体内部的局部变量 x 影响不到默认值变量 x 。
Copy function bar (x = y , y = 2 ) {
return [x , y];
}
bar (); //
默认参数赋值会按照传入参数先后顺序进行,因此未定义就使用会报错
Copy var x = 1 ;
function foo (x = x) {
// ...
}
foo (); //
上面代码中,参数 x = x 形成一个单独作用域。实际执行的是 let x = x ,由于暂时性死区的原因,这行代码会报错”x 未定义“。
如果参数的默认值是一个函数,该函数的作用域也遵守这个规则。请看下面的例子。
Copy let foo = 'outer' ;
function bar ( func = () => foo ) {
let foo = 'inner'
console .log ( func ());
}
bar (); //
上面代码中,函数 bar 的参数 func 的默认值是一个匿名函数,返回值为变量 foo 。 函数参数形成的单独作用域里面,并没有定义变量 foo ,所以 foo 指向 外层的全局变量 foo ,因此输出 outer 。
如果写成下面这样,会如何呢。
Copy function bar ( func = () => foo) {
let foo = 'inner' ;
console .log ( func ());
}
bar () //
上面代码中,匿名函数里面的 foo 指向函数外层,但是函数外层并没有声明变量 foo,所以就报错了。
下面是一个更复杂的例子。
Copy var x = 1 ;
function foo (x , y = function () { x = 2 ; }) {
var x = 3 ;
y (); console .log (x);
}
foo () //
x //
上面代码中,函数 foo 的参数形成一个单独作用域。这个作用域里面,首先声明了变量 x ,然后声明了变量 y , y 的默认值是一个匿名函数。 这个匿名函数内部的变量 x ,指向同一个作用域的第一个参数 x 。函数 foo 内部又声明了一个内部变量 x , 该变量与第一个参数 x 由于不是同一个作用域,所以不是同一个变量,因此执行 y 后,内部变量 x 和外部全局变量 x 的值都没变。
Copy var x = 1 ;
function foo (x , y = function () { x = 2 ; }) {
x = 3 ;
y (); console .log (x);
}
foo () //
x //
如果将 var x = 3 的 var 去除,函数 foo 的内部变量 x 就指向第一个参数 x ,与匿名函数内部的 x 是一致的, 所以最后输出的就是 2 ,而外层的全局变量 x 依然不受影响。
2.2.1 模板字符串
基本的字符串格式化。将表达式嵌入字符串中进行拼接。用${}来界定。
Copy //ES5
var name = 'Your name is ' + first + ' ' + last + '.' ;
var url = 'http://localhost:3000/api/messages/' + id;
//ES6
var name = `Your name is ${ first } ${ last } . ` ;
var url = `http://localhost:3000/api/messages/ ${ id } ` ;
//ES5
var name = 'lux'
console .log ( 'hello' + name)
//ES6
const name = 'lux'
console .log ( `hello ${ name } ` ) //hello lux
2.2.2 多行字符串
在ES5时我们通过反斜杠()来做多行字符串或者字符串一行行拼接。ES6反引号(``)直接搞定。
Copy // ES6的多行字符串是一个非常实用的功能。在ES5中,我们不得不使用以下方法来表示多行字符串:
var roadPoem = 'Then took the other, as just as fair,nt'
+ 'And having perhaps the better claimnt'
+ 'Because it was grassy and wanted wear,nt'
+ 'Though as for that the passing therent'
+ 'Had worn them really about the same,nt' ;
var fourAgreements = 'You have the right to be you.\
You can only be you when you do your best.' ;
// 然而在ES6中,仅仅用反引号就可以解决了:
var roadPoem = `Then took the other, as just as fair,
And having perhaps the better claim
Because it was grassy and wanted wear,
Though as for that the passing there
Had worn them really about the same,` ;
var fourAgreements = `You have the right to be you.
You can only be you when you do your best.` ;
2.2.3 字符串判断、处理
对于字符串 ES6+ 当然也提供了很多厉害也很有意思的方法 说几个常用的。
Copy // 1.includes:判断是否包含然后直接返回布尔值
const str = 'hahay'
console .log ( str .includes ( 'y' )) // true
// 2.repeat: 获取字符串重复n次
const str = 'he'
console .log ( str .repeat ( 3 )) // 'hehehe'
//如果你带入小数, Math.floor(num) 来处理
// s.repeat(3.1) 或者 s.repeat(3.9) 都当做成 s.repeat(3) 来处理
// 3. startsWith 和 endsWith 判断是否以 给定文本 开始或者结束
const str = 'hello world!'
console .log ( str .startsWith ( 'hello' )) // true
console .log ( str .endsWith ( '!' )) // true
// 4. padStart 和 padEnd 填充字符串,应用场景:时分秒
setInterval (() => {
const now = new Date ()
const hours = now .getHours () .toString ()
const minutes = now .getMinutes () .toString ()
const seconds = now .getSeconds () .toString ()
console .log ( ` ${ hours .padStart ( 2 , 0 ) } : ${ minutes .padStart ( 2 , 0 ) } : ${ seconds .padStart ( 2 , 0 ) } ` )
} , 1000 )
2.2.4 面试题
Copy let address = '北京海淀区'
let name = 'lala'
let str = '${name}在${address}上班...'
// 模拟一个方法 myTemplate(str) 最终输出 'lala在北京海淀区上班...'
function myTemplate (str) {
// try it
}
console .log ( myTemplate (str)) // lala在北京海淀区上班...
参考链接:面试题:模板字符串的执行问题? 、 Javascript动态执行JS(new Function与eval比较)
Copy const name = 'cc'
const gender = 'male'
const hobby = 'basketball'
// 实现tag最终输出 '姓名:**cc**,性别:**male**,爱好:**basketball**'
function tag (strings) {
// do it
}
const str = tag `姓名: ${ name } ,性别: ${ gender } ,爱好: ${ hobby } `
console .log (str) // '姓名:**cc**,性别:**male**,爱好:**basketball**'
ES6 允许按照一定模式,从数组和对象中提取值,对变量进行赋值,这被称为解构(Destructuring)。 本质上,这种写法属于“模式匹配”,只要等号两边的模式相同,左边的变量就会被赋予对应的值。下面是一些使用嵌套数组进行解构的例子
Copy // 以前
let a = 1 ;
let b = 2 ;
let c = 3 ;
// 现在
let [a , b , c] = [ 1 , 2 , 3 ];
let [foo , [[bar] , baz]] = [ 1 , [[ 2 ] , 3 ]];
foo //
bar //
baz //
let [ , , third] = [ "foo" , "bar" , "baz" ];
third //
let [x , , y] = [ 1 , 2 , 3 ];
x //
y //
let [head , ... tail] = [ 1 , 2 , 3 , 4 ];
head //
tail //
let [x , y , ... z] = [ 'a' ];
x //
y //
z //
如果解构不成功,变量的值就等于undefined
Copy let [foo] = [];
let [bar , foo] = [ 1 ];
另一种情况是不完全解构,即等号左边的模式,只匹配一部分的等号右边的数组。这种情况下,解构依然可以成功。
Copy let [x , y] = [ 1 , 2 , 3 ];
x //
y //
let [a , [b] , d] = [ 1 , [ 2 , 3 ] , 4 ];
a //
b //
d //
如果等号的右边不是数组(或者严格地说,不是可遍历的结构,参见《Iterator》一章),那么将会报错。
Copy let [foo] = 1 ;
let [foo] = false ;
let [foo] = NaN ;
let [foo] = undefined ;
let [foo] = null ;
let [foo] = {};
使用对象文本可以做许多让人意想不到的事情!通过ES6,我们可以把ES5中的JSON变得更加接近于一个类。
下面是一个典型ES5对象文本,里面有一些方法和属性:
Copy var serviceBase = {port : 3000 , url : 'azat.co' } ,
getAccounts = function (){ return [ 1 , 2 , 3 ]};
var accountServiceES5 = {
port : serviceBase .port ,
url : serviceBase .url ,
getAccounts : getAccounts ,
toString : function () {
return JSON .stringify ( this .valueOf ());
} ,
getUrl : function () { return "http://" + this .url + ':' + this .port} ,
valueOf_1_2_3 : getAccounts ()
}
如果我们想让它更有意思,我们可以用Object.create从serviceBase继承原型的方法:
Copy var serviceBase = {port : 3000 , url : 'azat.co' } ,
getAccounts = function (){ return [ 1 , 2 , 3 ]};
var accountServiceES5ObjectCreate = Object .create (serviceBase)
var accountServiceES5ObjectCreate = {
getAccounts : getAccounts ,
toString : function () {
return JSON .stringify ( this .valueOf ());
} ,
getUrl : function () { return "http://" + this .url + ':' + this .port} ,
valueOf_1_2_3 : getAccounts ()
}
Copy var serviceBase = {port : 3000 , url : 'azat.co' } ,
getAccounts = function (){ return [ 1 , 2 , 3 ]};
var accountServiceES5ObjectCreate = Object .create (serviceBase , {
getAccounts : {
get : getAccounts
} ,
toString : {
get : function () {
return JSON .stringify ( this .valueOf ());
}
} ,
getUrl : {
get : function () {
return "http://" + this .url + ':' + this .port
}
} ,
valueOf_1_2_3 : {
value : getAccounts ()
}
})
console .log (accountServiceES5ObjectCreate)
我们知道,accountServiceES5ObjectCreate 和accountServiceES5 并不是完全一致的, 因为一个对象(accountServiceES5)在proto对象中将有下面这些属性:
为了方便举例,我们将考虑它们的相似处。所以在ES6的对象文本中,既可以直接分配getAccounts: getAccounts, 也可以只需用一个getAccounts,此外,我们在这里通过proto(并不是通过’proto’)设置属性,如下所示:
Copy var serviceBase = {port : 3000 , url : 'azat.co' } ,
getAccounts = function (){ return [ 1 , 2 , 3 ]};
var accountService = {
__proto__ : serviceBase ,
getAccounts ,
// 另外,我们可以调用super防范,以及使用动态key值(valueOf_1_2_3):
toString ()
{
return JSON .stringify (( super.valueOf ()));
} ,
getUrl ()
{ return "http://" + this .url + ':' + this .port} ,
[ 'valueOf_' + getAccounts () .join ( '_' ) ] : getAccounts ()
};
console .log (accountService)
ES6对象文本是一个很大的进步对于旧版的对象文本来说。
廖雪峰的官方网站
2.5.1 什么是Promise
Promise是一个构造函数,自己身上有all、reject、resolve这几个眼熟的方法,原型上有then、catch等同样很眼熟的方法。
Copy var p = new Promise ( function (resolve , reject){
//做一些异步操作
setTimeout ( function (){
console .log ( '执行完成' );
resolve ( '随便什么数据' );
} , 2000 );
});
Promise的构造函数接收一个参数,是函数,并且传入两个参数:resolve,reject,分别表示异步操作执行成功后的回调函数和异步操作执行失败后的回调函数。 其实这里用“成功”和“失败”来描述并不准确,按照标准来讲,resolve是将Promise的状态置为fullfiled,reject是将Promise的状态置为rejected。 不过在我们开始阶段可以先这么理解,后面再细究概念。
在上面的代码中,我们执行了一个异步操作,也就是setTimeout,2秒后,输出“执行完成”,并且调用resolve方法。
运行代码,会在2秒后输出“执行完成”。注意!我只是new了一个对象,并没有调用它,我们传进去的函数就已经执行了,这是需要注意的一个细节。 所以我们用Promise的时候一般是包在一个函数中,在需要的时候去运行这个函数,如:
Copy function runAsync (){
var p = new Promise ( function (resolve , reject){
//做一些异步操作
setTimeout ( function (){
console .log ( '执行完成' );
resolve ( '随便什么数据' );
} , 2000 );
});
return p;
}
runAsync ()
这时候你应该有两个疑问:1.包装这么一个函数有毛线用?2.resolve('随便什么数据');这是干毛的?
我们继续来讲。在我们包装好的函数最后,会return出Promise对象,也就是说,执行这个函数我们得到了一个Promise对象。 还记得Promise对象上有then、catch方法吧?这就是强大之处了,看下面的代码:
Copy runAsync () .then ( function (data){
console .log (data);
//后面可以用传过来的数据做些其他操作
//......
});
在runAsync()的返回上直接调用then方法,then接收一个参数,是函数,并且会拿到我们在runAsync中调用resolve时传的的参数。 运行这段代码,会在2秒后输出“执行完成”,紧接着输出“随便什么数据”。
这时候你应该有所领悟了,原来then里面的函数就跟我们平时的回调函数一个意思,能够在runAsync这个异步任务执行完成之后被执行。 这就是Promise的作用了,简单来讲,就是能把原来的回调写法分离出来,在异步操作执行完后,用链式调用的方式执行回调函数。
你可能会不屑一顾,那么牛逼轰轰的Promise就这点能耐?我把回调函数封装一下,给runAsync传进去不也一样吗,就像这样:
Copy function runAsync (callback){
setTimeout ( function (){
console .log ( '执行完成' );
callback ( '随便什么数据' );
} , 2000 );
}
runAsync ( function (data){
console .log (data);
});
效果也是一样的,还费劲用Promise干嘛。那么问题来了,有多层回调该怎么办?如果callback也是一个异步操作,而且执行完后也需要有相应的回调函数, 该怎么办呢?总不能再定义一个callback2,然后给callback传进去吧。而Promise的优势在于,可以在then方法中继续写Promise对象并返回, 然后继续调用then来进行回调操作。
2.5.2 链式操作的用法
所以,从表面上看,Promise只是能够简化层层回调的写法,而实质上,Promise的精髓是“状态”,用维护状态、传递状态的方式来使得回调函数能够及时调用, 它比传递callback函数要简单、灵活的多。所以使用Promise的正确场景是这样的:
Copy runAsync1 ()
.then ( function (data){
console .log (data);
return runAsync2 ();
})
.then ( function (data){
console .log (data);
return runAsync3 ();
})
.then ( function (data){
console .log (data);
});
这样能够按顺序,每隔两秒输出每个异步回调中的内容,在runAsync2中传给resolve的数据,能在接下来的then方法中拿到。运行结果如下:
猜猜runAsync1、runAsync2、runAsync3这三个函数都是如何定义的?没错,就是下面这样
Copy function runAsync1 (){
var p = new Promise ( function (resolve , reject){
//做一些异步操作
setTimeout ( function (){
console .log ( '异步任务1执行完成' );
resolve ( '随便什么数据1' );
} , 1000 );
});
return p;
}
function runAsync2 (){
var p = new Promise ( function (resolve , reject){
//做一些异步操作
setTimeout ( function (){
console .log ( '异步任务2执行完成' );
resolve ( '随便什么数据2' );
} , 2000 );
});
return p;
}
function runAsync3 (){
var p = new Promise ( function (resolve , reject){
//做一些异步操作
setTimeout ( function (){
console .log ( '异步任务3执行完成' );
resolve ( '随便什么数据3' );
} , 2000 );
});
return p;
}
在then方法中,你也可以直接return数据而不是Promise对象,在后面的then中就可以接收到数据了,比如我们把上面的代码修改成这样:
Copy runAsync1 ()
.then ( function (data){
console .log (data);
return runAsync2 ();
})
.then ( function (data){
console .log (data);
return '直接返回数据' ; //这里直接返回数据
})
.then ( function (data){
console .log (data);
});
那么输出就变成了这样:
2.5.3 reject的用法
到这里,你应该对“Promise是什么玩意”有了最基本的了解。那么我们接着来看看ES6的Promise还有哪些功能。我们光用了resolve,还没用reject呢, 它是做什么的呢?事实上,我们前面的例子都是只有“执行成功”的回调,还没有“失败”的情况,reject的作用就是把Promise的状态置为rejected, 这样我们在then中就能捕捉到,然后执行“失败”情况的回调。看下面的代码。
Copy function getNumber (){
var p = new Promise ( function (resolve , reject){
//做一些异步操作
setTimeout ( function (){
var num = Math .ceil ( Math .random () * 10 ); //生成1-10的随机数
if (num <= 5 ){
resolve (num);
}
else {
reject ( '数字太大了' );
}
} , 2000 );
});
return p;
}
getNumber ()
.then (
function (data){
console .log ( 'resolved' );
console .log (data);
} ,
function (reason , data){
console .log ( 'rejected' );
console .log (reason);
}
);
getNumber函数用来异步获取一个数字,2秒后执行完成,如果数字小于等于5,我们认为是“成功”了,调用resolve修改Promise的状态。 否则我们认为是“失败”了,调用reject并传递一个参数,作为失败的原因。
运行getNumber并且在then中传了两个参数,then方法可以接受两个参数,第一个对应resolve的回调, 第二个对应reject的回调。所以我们能够分别拿到他们传过来的数据。多次运行这段代码,你会随机得到下面两种结果:
2.5.4 catch的用法
我们知道Promise对象除了then方法,还有一个catch方法,它是做什么用的呢?其实它和then的第二个参数一样,用来指定reject的回调,用法是这样:
Copy getNumber ()
.then ( function (data){
console .log ( 'resolved' );
console .log (data);
})
.catch ( function (reason){
console .log ( 'rejected' );
console .log (reason);
});
效果和写在then的第二个参数里面一样。不过它还有另外一个作用:在执行resolve的回调(也就是上面then中的第一个参数)时, 如果抛出异常了(代码出错了),那么并不会报错卡死js,而是会进到这个catch方法中。请看下面的代码:
Copy getNumber ()
.then ( function (data){
console .log ( 'resolved' );
console .log (data);
console .log (somedata); //此处的somedata未定义
})
.catch ( function (reason){
console .log ( 'rejected' );
console .log (reason);
});
在resolve的回调中,我们console.log(somedata);而somedata这个变量是没有被定义的。如果我们不用Promise, 代码运行到这里就直接在控制台报错了,不往下运行了。但是在这里,会得到这样的结果:
也就是说进到catch方法里面去了,而且把错误原因传到了reason参数中。即便是有错误的代码也不会报错了,这与我们的try/catch语句有相同的功能。
2.5.5 all的用法
Promise的all方法提供了并行执行异步操作的能力,并且在所有异步操作执行完后才执行回调。 我们仍旧使用上面定义好的runAsync1、runAsync2、runAsync3这三个函数,看下面的例子:
Copy Promise
.all ([ runAsync1 () , runAsync2 () , runAsync3 ()])
.then ( function (results){
console .log (results);
});
用Promise.all来执行,all接收一个数组参数,里面的值最终都算返回Promise对象。这样,三个异步操作的并行执行的, 等到它们都执行完后才会进到then里面。那么,三个异步操作返回的数据哪里去了呢?都在then里面呢, all会把所有异步操作的结果放进一个数组中传给then,就是上面的results。所以上面代码的输出结果就是:
有了all,你就可以并行执行多个异步操作,并且在一个回调中处理所有的返回数据,是不是很酷?有一个场景是很适合用这个的, 一些游戏类的素材比较多的应用,打开网页时,预先加载需要用到的各种资源如图片、flash以及各种静态文件。所有的都加载完后,我们再进行页面的初始化。
2.5.6 race的用法
all方法的效果实际上是「谁跑的慢,以谁为准执行回调」,那么相对的就有另一个方法「谁跑的快,以谁为准执行回调」, 这就是race方法,这个词本来就是赛跑的意思。race的用法与all一样,我们把上面runAsync1的延时改为1秒来看一下:
Copy Promise
.race ([ runAsync1 () , runAsync2 () , runAsync3 ()])
.then ( function (results){
console .log (results);
});
这三个异步操作同样是并行执行的。结果你应该可以猜到,1秒后runAsync1已经执行完了,此时then里面的就执行了。结果是这样的:
你猜对了吗?不完全,是吧。在then里面的回调开始执行时,runAsync2()和runAsync3()并没有停止,仍旧再执行。于是再过1秒后,输出了他们结束的标志。
这个race有什么用呢?使用场景还是很多的,比如我们可以用race给某个异步请求设置超时时间,并且在超时后执行相应的操作,代码如下:
Copy //请求某个图片资源
function requestImg (){
var p = new Promise ( function (resolve , reject){
var img = new Image ();
img . onload = function (){
resolve (img);
}
img .src = 'xxxxxx' ;
});
return p;
}
//延时函数,用于给请求计时
function timeout (){
var p = new Promise ( function (resolve , reject){
setTimeout ( function (){
reject ( '图片请求超时' );
} , 5000 );
});
return p;
}
Promise
.race ([ requestImg () , timeout ()])
.then ( function (results){
console .log (results);
})
.catch ( function (reason){
console .log (reason);
});
requestImg函数会异步请求一张图片,我把地址写为"xxxxxx",所以肯定是无法成功请求到的。timeout函数是一个延时5秒的异步操作。 我们把这两个返回Promise对象的函数放进race,于是他俩就会赛跑,如果5秒之内图片请求成功了,那么遍进入then方法,执行正常的流程。 如果5秒钟图片还未成功返回,那么timeout就跑赢了,则进入catch,报出“图片请求超时”的信息。运行结果如下:
练习
下面代码如何输出(理解Promise异步调用的操作)
Copy var promise = new Promise ( function (resolve){
console .log ( 1 );
resolve ( 3 );
});
promise .then ( function (value){
console .log (value);
});
console .log ( 2 );
下面代码如何输出(理解then())
Copy function testPromise (ready) {
return new Promise ( function (resolve , reject){
if (ready) {
resolve ( "hello world" );
} else {
reject ( "No thanks" );
}
});
};
// 方法调用
testPromise ( true ) .then ( function (msg){
console .log (msg);
}) .then (testPromise2)
.then (testPromise3);
function testPromise2 (){
console .log ( 2 );
}
function testPromise3 (){
console .log ( 3 );
}
下面代码如何输出(理解每次调用then都会返回一个新创建的promise对象)
Copy var promise1 = new Promise ( function (resolve){
resolve ( 1 );
});
var thenPromise = promise1 .then ( function (value){
console .log (value);
});
var catchPromise = thenPromise .catch ( function (error){
console .log (error);
});
console .log (promise1 !== thenPromise);
console .log (thenPromise !== catchPromise);
Copy var promise1 = new Promise ( function (resolve){
resolve ( 1 );
});
promise1 .then ( function (value){
return value * 2 ;
});
promise1 .then ( function (value){
return value * 2 ;
});
promise1 .then ( function (value){
console .log ( "1" + value);
});
Copy var promise1 = new Promise(function(resolve){
resolve(2);
});
promise1.then(function(value){
return value * 2;
}).then(function(value){
return value * 2;
}).then(function(value){
console.log("1"+value);
});
下面代码如何输出(理解Promise.all)
Copy var promise1 = new Promise(function(resolve){
setTimeout(function(){
resolve(1);
},3000);
});
var promise2 = new Promise(function(resolve){
setTimeout(function(){
resolve(2);
},1000);
});
Promise.all([promise1,promise2]).then(function(value){
console.log(value);
});
下面代码如何输出(理解Promise.race)
Copy // `delay`毫秒后执行resolve
function timerPromise(delay){
return new Promise(function(resolve){
setTimeout(function(){
resolve(delay);
},delay);
});
}
// 任何一个promise变为resolve或reject 的话程序就停止运行
Promise.race([
timerPromise(1),
timerPromise(32),
timerPromise(64),
timerPromise(128)
]).then(function (value) {
console.log(value);
});
Copy var runPromise = new Promise(function(resolve){
setTimeout(function(){
console.log(1);
resolve(2);
},500);
});
var runPromise2 = new Promise(function(resolve){
setTimeout(function(){
console.log(3);
resolve(4);
},1000);
});
// 第一个promise变为resolve后程序停止
Promise.race([runPromise,runPromise2]).then(function(value){
console.log(value);
});
关于ES6的Promise的使用
2.6 块作用域构造Let and Const
回到目录 2.6.1 Let 命令
用来声明变量。它的用法类似于var ,但是所声明的变量,只在let 命令所在的代码块内有效。
Copy {
let a = 123
var b =456
}
console.log(a) //
console.log(b) //
// 不存在变量提升
console.log(foo); //
var foo = 2;
console.log(bar); //
let bar = 2;
变量i 是var 命令声明的,在全局范围内都有效,所以全局只有一个变量i 变量i 是let 声明的,当前的i 只在本轮循环有效,所以每一次循环的i 其实都是一个新的变量,
如果每一轮循环的变量i 都是重新声明的,那它怎么知道上一轮循环的值,从而计算出本轮循环的值?
Copy //for 循环的计数器,就很合适使用let 命令
var a = []
for (let i = 0; i < 10; i++) {
a[i] = function () {
console.log(i);
// 这里的i
}
}
a[6]() // 10
a[7]()
console.log(i)// ? 10
let i = 10 // 报错
答案:这是因为 JavaScript 引擎内部会记住上一轮循环的值,初始化本轮的变量i 时,就在上一轮循环的基础上进行计算
for 循环还有一个特别之处,就是设置循环变量的那部分是一个父作用域,而循环体内部是一个单独的子作用域。
Copy for (let i = 0; i < 3; i++) {
let i = 'abc';
console.log(i);
}
暂时性死区
Copy var tmp = 123;
if (true) {
// TDZ开始
tmp = 'abc'; // ReferenceError
console.log(tmp); // ReferenceError
let tmp; // TDZ结束
console.log(tmp); // undefined
tmp = 123;
console.log(tmp); // 123
}
答案: 上面代码中,存在全局变量tmp ,但是块级作用域内let 又声明了一个局部变量tmp ,导致后者绑定这个块级作用域,所以在let 声明变量前,对tmp 赋值会报错。 ES6 明确规定,如果区块中存在let 和const 命令,这个区块对这些命令声明的变量,从一开始就形成了封闭作用域。凡是在声明之前就使用这些变量,就会报错。
Copy typeof x; // ReferenceError
let x;
typeof a // "undefined"
注意:养成良好的变成习惯,变量一定要在声明之后使用
Copy function bar(x = y, y = 2) {
return [x, y];
}
bar(); //
不允许重复声明
Copy function func() {
let a = 10;
var a = 1; //
}
function func() {
let a = 10;
let a = 1; //
}
function func(arg) {
let arg; //
}
function func(arg) {
{
let arg; //
}
}
2.6.2 块作用域
内层变量可能会覆盖外层变量
Copy var tmp = new Date();
function f() {
console.log(tmp);
if (false) {
var tmp = 'hello world';
}
}
f(); //
用来计数的循环变量泄露为全局变量
Copy var s = 'hello';
for (var i = 0; i < s.length; i++) {
console.log(s[i]);
}
console.log(i);
ES6 的块级作用域
Copy function f1() {
let n = 5;
if (true) {
let n = 10;
}
console.log(n);
}
// IIFE 写法(立即执行函数) (function () { var tmp = ...; //此处是块级(私有)作用域 ... }()); // 块级作用域写法 { let tmp = ...; ... }
Copy //ES5中的写法 大写
Object.defineProperty(window,"PI2",{
value: 3.1415926,
writable: false
})
//ES6
const PI = 3.1415926
console.log(PI)
PI = 4
Copy 声明一个只读的常量。一旦声明,常量的值就不能改变。
Copy const PI = 3.1415;
PI // 3.1415
PI = 3;
// TypeError: Assignment to constant variable.
const foo //
Copy const 声明的变量不得改变值,这意味着, const 一旦声明变量,就必须立即初始化,不能留到以后赋值。
同样存在暂时性死区 不可重复声明
const a = []; a.push('Hello'); // a.length = 0; // a = ['Dave']; //
Copy 对象冻结
```javascript
const foo = Object.freeze({});
// 常规模式时,下面一行不起作用;
// 严格模式时,该行会报错
foo.prop = 123;
显式 对于其他的逻辑来说,显式就是清楚且明确的指定了实现内容 隐式 只要实现类的方法签名和返回值与接口定义的一致即视为接口的实现,并无显式的(清晰的、明确的)指定。 强类型 java、.NET、Python等都是强制类型定义的。也就是说,一旦一个变量被指定了某个数据类型,如果不经过强制转换,那么它就永远是这个数据类型了。 弱类型 数据类型可以被忽略的语言。它与强类型定义语言相反, 一个变量可以赋不同数据类型的值。
2.8 模块
扩展运算符就是三个点(...)它好比rest参数的逆运算 ,将一个数组转为用逗号分隔的参数序列
Copy console.log(...[1,2,3])
//
console.log(1,...[1,2,3],3)
//
[...document.querySelectorAll('div')]
//
该运算符 主要用于函数调用
Copy function push(array, ...items) {
array.push(...items);
}
function add(x, y) {
return x + y;
}
const numbers = [4, 38];
add(...numbers)
上面代码中, array.push(...items) 和add(...numbers) 这两行,都是函数的调用,它们的都使用了扩展运算符。该运算符将一个数组,变为参数序 列。
扩展运算符与正常的函数参数可以结合使用,非常灵活。
Copy function f(v, w, x, y, z) { }
const args = [0, 1];
f(-1, ...args, 2, ...[3]);
Copy const arr = [
...(x > 0 ? ['a'] : []),
'b',
];
[...[], 1]
//
由于扩展运算符可以展开数组,所以不再需要apply 方法,将数组转为函数的参数了。
Copy // ES5 的写法
function f(x, y, z) {
// ...
}
var args = [0, 1, 2];
f.apply(null, args);
Function.apply(obj,args)方法能接收两个参数
obj:这个对象将代替Function类里this对象
args:这个是数组,它将作为参数传给Function(args-->arguments)
call:和apply的意思一样,只不过是参数列表不一样.
Function.call(obj,[param1[,param2[,…[,paramN]]]])
obj:这个对象将代替Function类里this对象
params:这个是一个参数列表
// ES6的写法
function f(x, y, z) {
// ...
}
let args = [0, 1, 2];
f(...args);
// ES5 的写法
Math.max.apply(null, [14, 3, 77])
// ES6 的写法
Math.max(...[14, 3, 77])
// 等同于
Math.max(14, 3, 77);
// ES5的 写法
var arr1 = [0, 1, 2];
var arr2 = [3, 4, 5];
Array.prototype.push.apply(arr1, arr2);
// ES6 的写法
let arr1 = [0, 1, 2];
let arr2 = [3, 4, 5];
arr1.push(...arr2);
上面代码的 ES5 写法中, push 方法的参数不能是数组,所以只好通过apply 方法变通使用push 方法。有了扩展运算符,就可以直接将数组传入push 方
法。
扩展运算符的应用
1复制数组 数组是复合的数据类型,直接复制的话,只是复制了指向底层数据结构的指针,而不是克隆一个全新的数组。
Copy const a1 = [1, 2];
const a2 = a1;
a2[0] = 2;
a1 // [2, 2]
上面代码中, a2 并不是a1 的克隆,而是指向同一份数据的另一个指针。修改a2 ,会直接导致a1 的变化。
concat()连接两个数组
const a1 = [1, 2];
const a2 = a1.concat();
a2[0] = 2;
a1 // [1, 2]
上面代码中, a1 会返回原数组的克隆,再修改a2 就不会对a1 产生影响。
扩展运算符提供了复制数组的简便写法。
const a1 = [1, 2];
// 写法一
const a2 = [...a1];
// 写法二
const [...a2] = a1;
上面的两种写法, a2 都是a1 的克隆。
2合并数组
Copy 扩展运算符提供了数组合并的新写法。
// ES5
[1, 2].concat(more)
// ES6
[1, 2, ...more]
var arr1 = ['a', 'b'];
var arr2 = ['c'];
var arr3 = ['d', 'e'];
// ES5的合并数组
arr1.concat(arr2, arr3);
// [ 'a', 'b', 'c', 'd', 'e' ]
// ES6的合并数组
[...arr1, ...arr2, ...arr3]
// [ 'a', 'b', 'c', 'd', 'e' ]
3与解构赋值结合
Copy // ES5
a = list[0], rest = list.slice(1)
// ES6
[a, ...rest] = list
下面是另外一些例子。
const [first, ...rest] = [1, 2, 3, 4, 5];
first // 1
rest // [2, 3, 4, 5]
const [first, ...rest] = [];
first // undefined
rest // []
const [first, ...rest] = ["foo"];
first // "foo"
rest // []
如果将扩展运算符用于数组赋值,只能放在参数的最后一位,否则会报错。
const [...butLast, last] = [1, 2, 3, 4, 5];
// 报错
const [first, ...middle, last] = [1, 2, 3, 4, 5];
// 报错
4字符串
Copy 扩展运算符还可以将字符串转为真正的数组。
[...'hello']
// [ "h", "e", "l", "l", "o" ]
上面的写法,有一个重要的好处,那就是能够正确识别四个字节的 Unicode 字符。
'x\uD83D\uDE80y'.length // 4
[...'x\uD83D\uDE80y'].length // 3
上面代码的第一种写法,JavaScript 会将四个字节的 Unicode 字符,识别为 2 个字符,采用扩展运算符就没有这个问题。因此,正确返回字符串长度的
函数,可以像下面这样写。
function length(str) {
return [...str].length;
}
length('x\uD83D\uDE80y') // 3
凡是涉及到操作四个字节的 Unicode 字符的函数,都有这个问题。因此,最好都用扩展运算符改写。
let str = 'x\uD83D\uDE80y';
str.split('').reverse().join('')
// 'y\uDE80\uD83Dx'
[...str].reverse().join('')
// 'y\uD83D\uDE80x'
上面代码中,如果不用扩展运算符,字符串的reverse 操作就不正确。
5实现了 Iterator 接口的对象
Copy 任何 Iterator 接口的对象(参阅 Iterator 一章),都可以用扩展运算符转为真正的数组。
let nodeList = document.querySelectorAll('div');
let array = [...nodeList];
上面代码中, querySelectorAll 方法返回的是一个nodeList 对象。它不是数组,而是一个类似数组的对象。这时,扩展运算符可以将其转为真正的数
组,原因就在于NodeList 对象实现了 Iterator 。
对于那些没有部署 Iterator 接口的类似数组的对象,扩展运算符就无法将其转为真正的数组。
let arrayLike = {
'0': 'a',
'1': 'b',
'2': 'c',
length: 3
};
// TypeError: Cannot spread non-iterable object.
let arr = [...arrayLike];
上面代码中, arrayLike 是一个类似数组的对象,但是没有部署 Iterator 接口,扩展运算符就会报错。这时,可以改为使用arr=Array.from(arrayLike) 方法将
arrayLike 转为真正的数组。
6Map 和 Set 结构,Generator 函数
Copy 扩展运算符内部调用的是数据结构的 Iterator 接口,因此只要具有 Iterator 接口的对象,都可以使用扩展运算符,比如 Map 结构。
let map = new Map([
[1, 'one'],
[2, 'two'],
[3, 'three'],
]);
let arr = [...map.keys()]; // [1, 2, 3]
Generator 函数运行后,返回一个遍历器对象,因此也可以使用扩展运算符。
const go = function*(){
`yield`1;
`yield`2;
`yield`3;
};
[...go()] // [1, 2, 3]
上面代码中,变量go 是一个 Generator 函数,执行后返回的是一个遍历器对象,对这个遍历器对象执行扩展运算符,就会将内部遍历得到的值,转为一
个数组。
如果对没有 Iterator 接口的对象,使用扩展运算符,将会报错。
const obj = {a: 1, b: 2};
let arr = [...obj]; // TypeError: Cannot spread non-iterable object
任何 Iterator 接口的对象(参阅 Iterator 一章),都可以用扩展运算符转为真正的数组。 let nodeList = document.querySelectorAll('div'); let array = [...nodeList];
Copy window.a = 1;
a // 1
a = 2;
window.a // 2
上面代码中,顶层对象的属性赋值与全局变量的赋值,是同一件事。 顶层对象的属性与全局变量挂钩,被认为是 JavaScript 语言最大的设计败笔之一。这样的设计带来了几个很大的问题,首先是没法在编译时就报出变量未 声明的错误,只有运行时才能知道(因为全局变量可能是顶层对象的属性创造的,而属性的创造是动态的);其次,程序员很容易不知不觉地就创建了全 局变量(比如打字出错);最后,顶层对象的属性是到处可以读写的,这非常不利于模块化编程。另一方面, window 对象有实体含义,指的是浏览器的窗 口对象,顶层对象是一个有实体含义的对象,也是不合适的。 ES6 为了改变这一点,一方面规定,为了保持兼容性, var 命令和function 命令声明的全局变量,依旧是顶层对象的属性;另一方面规定, let 命令、 const 命令、class 命令声明的全局变量,不属于顶层对象的属性。也就是说,从 ES6 开始,全局变量将逐步与顶层对象的属性脱钩。
Copy var a = 1;
// 如果在 Node 的 REPL 环境,可以写成 global.a
// 或者采用通用方法,写成 this.a
window.a // 1
let b = 1;
window.b //
2.11 Generator 函数的语法
回到目录 ES6入门标准.pdf
Generator 函数是 ES6 提供的一种异步编程解决方案,语法行为与传统函数完全不同。
Generator 函数有多种理解角度。从语法上,首先可以把它理解成,Generator 函数是一个状态机,封装了多个内部状态。 执行 Generator 函数会返回一个遍历器对象,也就是说,Generator 函数除了状态机,还是一个遍历器对象生成函数。返回的遍历器对象,可以依次遍 历 Generator 函数内部的每一个状态。
例如:
Copy function* helloWorldGenerator(){
yield 'Hello';
yield 'World';
return 'ending'
}
var hw = helloWorldGenerator()
形式上,Generator 函数是一个普通函数,但是有两个特征。一是, function 关键字与函数名之间有一个星号;二是,函数体内部使用yield
表达式, 定义不同的内部状态( yield
在英语里的意思就是“产出”)。
上面代码定义了一个 Generator 函数helloWorldGenerator ,它内部有两个yield
表达式( hello 和world ),即该函数有三个状态:hello,world 和 return 语句(结束执行)。
然后,Generator 函数的调用方法与普通函数一样,也是在函数名后面加上一对圆括号。不同的是,调用 Generator 函数后,该函数并不执行,返回的 也不是函数运行结果,而是一个指向内部状态的指针对象,也就是上一章介绍的遍历器对象(Iterator Object)。
下一步,必须调用遍历器对象的next 方法,使得指针移向下一个状态。也就是说,每次调用next 方法,内部指针就从函数头部或上一次停下来的地方开 始执行,直到遇到下一个yield
表达式(或return 语句)为止。换言之,Generator 函数是分段执行的,yield
表达式是暂停执行的标记,而next 方法 可以恢复执行。
Copy hw.next();
// { value: 'Hello', done: false }
hw.next();
// { value: 'World', done: false }
hw.next();
// { value: 'ending', done: true }
hw.next();
// { value: undefined, done: true }
上面代码一共调用了四次next 方法。
第一次调用,Generator 函数开始执行,直到遇到第一个yield
表达式为止。next 方法返回一个对象,它的value 属性就是当前yield
表达式的值 hello , done 属性的值false ,表示遍历还没有结束。
第二次调用,Generator 函数从上次yield
表达式停下的地方,一直执行到下一个yield
表达式。next 方法返回的对象的value 属性就是当前yield
表 达式的值world , done 属性的值false ,表示遍历还没有结束。
第三次调用,Generator 函数从上次yield
表达式停下的地方,一直执行到return 语句(如果没有return 语句,就执行到函数结束)。next 方法返回 的对象的value 属性,就是紧跟在return 语句后面的表达式的值(如果没有return 语句,则value 属性的值为undefined ), done 属性的值true ,表 示遍历已经结束。
第四次调用,此时 Generator 函数已经运行完毕, next 方法返回对象的value 属性为undefined , done 属性为true 。以后再调用next 方法,返回的 都是这个值。
总结一下,调用 Generator 函数,返回一个遍历器对象,代表 Generator 函数的内部指针。以后,每次调用遍历器对象的next 方法,就会返回一个有 着value 和done 两个属性的对象。value 属性表示当前的内部状态的值,是yield
表达式后面那个表达式的值; done 属性是一个布尔值,表示是否遍历 结束。
关于 Generator 函数的写法
Copy function * foo(x,y){...}
function *foo(x,y){...}
function* foo(x,y){...}
function*foo(x,y){...}
ES6没有规定,星号的具体位置,由于 Generator 函数仍然是普通函数,所以一般的写法是上面的第三种,即星号紧跟在function 关键字后面。本书也采用这种写法。
由于 Generator 函数返回的遍历器对象,只有调用next 方法才会遍历下一个内部状态,所以其实提供了一种可以暂停执行的函数。 yield
表达式就是暂停标志。
遍历器对象的next 方法的运行逻辑如下。
1.遇到yield
表达式,就暂停执行后面的操作,并将紧跟在yield
后面的那个表达式的值,作为返回的对象的value 属性值。
2.下一次调用next 方法时,再继续往下执行,直到遇到下一个yield
表达式。
3.如果没有再遇到新的yield
表达式,就一直运行到函数结束,直到return 语句为止,并将return 语句后面的表达式的值, 作为返回的对象的value属性值。
4.如果该函数没有return 语句,则返回的对象的value 属性值为undefined 。
需要注意的是,yield
表达式后面的表达式,只有当调用next
方法、内部指针指向该语句时才会执行, 因此等于为 JavaScript 提供了手动的“惰性求值”(Lazy Evaluation)的语法功能。
Copy (function(){
yield 1
})()
// SyntaxError: Unexpected number
另外需要注意,yield
表达式只能用在Generator
函数里面,用在其他地方都会报错。
Copy // 标准写法
(function* (){
yield 1
})()
例题 目标 输出 1,2,3,4,5,6 (错误写法)
Copy var arr = [1,[[2,3],4],[5,6]]
var flat = function*(a){
a.forEach(function(item){
if(typeof item!=='number'){
yield* flat(item)
}else{
yield item
}
})
}
for(var f of flat(arr)){
console.log(f)
}
上面代码也会产生句法错误,因为forEach
方法的参数是一个普通函数,但是在里面使用了yield
表达式 (这个函数里面还使用了yield*
表达式,详细介绍见后文)。一种修改方法是改用for
循环。
例题 目标 输出 1,2,3,4,5,6 (正确写法)
Copy var arr = [1,[[2,3],4],[5,6]] // 目标 输出 1,2,3,4,5,6
var flat = function* (a){
for(var i =0;i<a.length;i++){
if(typeof a[i]!=='number'){
yield* flat(a[i])
}else{
yield a[i]
}
}
}
for(var f of flat(arr)){
console.log(f)
}
例题 yield表达式的写法
Copy function* demo() {
console.log('Hello' + yield); // SyntaxError
console.log('Hello' + yield 123); // SyntaxError
console.log('Hello' + (yield)); // OK
console.log('Hello' + (yield 123)); // OK
}
yield
表达式如果用在另一个表达式之中,必须放在圆括号里面
Copy function* demo() {
foo(yield 'a',yield 'b'); // OK
let input = yield; // OK
}
yield
表达式用作函数参数或放在赋值表达式的右边,可以不加括号。
Copy var myIterable = {};
myIterable[Symbol.iterator] = function* () {
yield 1;
yield 2;
yield 3;
};
for(var f of myIterable){
console.log(f)
} // 1, 2, 3
上面代码中,Generator 函数赋值给Symbol.iterator 属性,从而使得myIterable 对象具有了 Iterator 接口,可以被... 运算符遍历了。
yield
表达式本身没有返回值,或者说总是返回undefined 。next 方法可以带一个参数,该参数就会被当作上一个yield
表达式的返回值。
Copy function* f() {
for(var i = 0; true; i++) {
var reset = yield i;
if(reset) { i = -1; }
}
}
var g = f();
g.next() // { value: 0, done: false }
g.next() // { value: 1, done: false }
g.next(true) // { value: 0, done: false }
上面代码先定义了一个可以无限运行的 Generator 函数f ,如果next 方法没有参数,每次运行到yield
表达式,变量reset 的值总是undefined 。当 next 方法带一个参数true 时,变量reset 就被重置为这个参数(即true ),因此i 会等于-1 ,下一轮循环就会从-1 开始递增。
这个功能有很重要的语法意义。Generator 函数从暂停状态到恢复运行,它的上下文状态(context)是不变的。通过next 方法的参数,就有办法在 Generator 函数开始运行之后,继续向函数体内部注入值。也就是说,可以在 Generator 函数运行的不同阶段,从外部向内部注入不同的值,从而调整 函数行为。
Copy function* foo(x) {
var y = 2 * (yield (x + 1));
var z = yield (y / 3);
return (x + y + z);
}
var a = foo(5);
a.next() // Object{value:6, done:false}
a.next() // Object{value:NaN, done:false}
a.next() // Object{value:NaN, done:true}
var b = foo(5);
b.next() // { value:6, done:false }
b.next(12) // { value:8, done:false }
b.next(13) // { value:42, done:true }
上面代码中,第二次运行next 方法的时候不带参数,导致 y 的值等于2 * undefined (即NaN ),除以 3 以后还是NaN ,因此返回对象的value 属性也 等于NaN 。第三次运行Next 方法的时候不带参数,所以z 等于undefined ,返回对象的value 属性等于5 + NaN + undefined ,即NaN 。
如果向next 方法提供参数,返回结果就完全不一样了。上面代码第一次调用b 的next 方法时,返回x+1 的值6 ;第二次调用next 方法,将上一次yield 表达式的值设为12 ,因此y 等于24 ,返回y / 3 的值8 ;第三次调用next 方法,将上一次yield
表达式的值设为13 ,因此z 等于13 ,这时x 等于5 , y 等于24 ,所以return 语句的值等于42 。
注意,由于next 方法的参数表示上一个yield
表达式的返回值,所以在第一次使用next 方法时,传递参数是无效的。V8 引擎直接忽略第一次使用next 方法时的参数,只有从第二次使用next 方法开始,参数才是有效的。从语义上讲,第一个next 方法用来启动遍历器对象,所以不用带有参数。 再看一个通过next 方法的参数,向 Generator 函数内部输入值的例子。
Copy function* dataConsumer() {
console.log('Started');
console.log(`1. ${yield}`);
console.log(`2. ${yield}`);
return 'result';
}
let genObj = dataConsumer();
genObj.next();
// Started
genObj.next('a')
// 1. a
genObj.next('b')
// 2. b
上面代码是一个很直观的例子,每次通过next方法向 Generator 函数输入值,然后打印出来。
Copy function *foo() {
yield 1;
yield 2;
yield 3;
yield 4;
yield 5;
return 6;
}
for (let v of foo()) {
console.log(v);
}
// 1 2 3 4 5
for...of
循环可以自动遍历Generator
函数时生成的Iterator
对象,且此时不再需要调用next
方法。
上面代码使用for...of
循环,依次显示5个yield
表达式的值。这里需要注意,一旦next
方法的返回对象的done
属性为true, for...of
循环就会中止,且不包含该返回对象,所以上面代码的return
语句返回的6,不包括在for...of
循环之中。
Copy function* numbers () {
yield 1
yield 2
return 3
yield 4
}
// 扩展运算符
[...numbers()] // 去了解
// Array.from 方法
Array.from(numbers()) //
// 解构赋值
let [x, y] = numbers();
//
// for...of 循环
for (let n of numbers()) {
console.log(n)
}
// 上述方法达成的效果是相同的
Copy let map = new Map([
[1, 'one'],
[2, 'two'],
[3, 'three'],
]);
let arr = [...map.keys()]; // [1, 2, 3]
扩展运算符内部调用的是数据结构的 Iterator 接口,因此只要具有 Iterator 接口的对象,都可以使用扩展运算符,比如 Map 结构。
Copy const go = function*(){
yield 1;
yield 2;
yield 3;
};
[...go()] // [1, 2, 3]
上面代码中,变量go 是一个 Generator 函数,执行后返回的是一个遍历器对象,对这个遍历器对象执行扩展运算符,就会将内部遍历得到的值,转为一 个数组。
Copy const obj = {a: 1, b: 2};
let arr = [...obj]; // TypeError: Cannot spread non-iterable object
如果对没有 Iterator 接口的对象,使用扩展运算符,将会报错。
== Array.from() ==
Array.from 方法用于将两类对象转为真正的数组:类似数组的对象(array-like object)和可遍历(iterable)的对象(包括 ES6 新增的数据结构 Set 和 Map)。
Copy let arrayLike = {
'0': 'a',
'1': 'b',
'2': 'c',
length: 3
};
// ES5的写法
var arr1 = [].slice.call(arrayLike); // ['a', 'b', 'c']
// ES6的写法
let arr2 = Array.from(arrayLike); // ['a', 'b', 'c']
实际应用中,常见的类似数组的对象是 DOM 操作返回的 NodeList 集合,以及函数内部的arguments 对象。Array.from 都可以将它们转为真正的数组。
Copy // NodeList对象
let ps = document.querySelectorAll('p');
Array.from(ps).forEach(function (p) {
console.log(p);
});
// arguments对象
function foo() {
var args = Array.from(arguments);
// ...
}
上面代码中, querySelectorAll 方法返回的是一个类似数组的对象,可以将这个对象转为真正的数组,再使用forEach 方法。
Copy Array.from('hello')
// ['h', 'e', 'l', 'l', 'o']
let namesSet = new Set(['a', 'b'])
Array.from(namesSet) // ['a', 'b']
Copy Array.from([1, 2, 3])
// [1, 2, 3]
只要是部署了 Iterator 接口的数据结构, Array.from 都能将其转为数组。
2.11.5 Generator.prototype.throw()
回到目录 Generator 函数返回的遍历器对象,都有一个throw 方法,可以在函数体外抛出错误,然后在 Generator 函数体内捕获。
Copy var g = function* () {
try {
yield;
} catch (e) {
console.log('内部捕获', e);
}
};
var i = g();
i.next();
try {
i.throw('a');
i.throw('b');
} catch (e) {
console.log('外部捕获', e);
}
// 内部捕获 a
// 外部捕获 b
上面代码中,遍历器对象i 连续抛出两个错误。第一个错误被 Generator 函数体内的catch 语句捕获。i 第二次抛出错误,由于 Generator 函数内部的 catch 语句已经执行过了,不会再捕捉到这个错误了,所以这个错误就被抛出了 Generator 函数体,被函数体外的catch 语句捕获。
Copy var g = function* () {
try {
yield;
} catch (e) {
console.log(e);
}
};
var i = g();
i.next();
i.throw(new Error('出错了!'));
// Error: 出错了!(…)
throw 方法可以接受一个参数,该参数会被catch 语句接收,建议抛出Error 对象的实例。
Copy var g = function* () {
while (true) {
yield;
console.log('内部捕获', e);
}
};
var i = g();
i.next();
try {
i.throw('a');
i.throw('b');
} catch (e) {
console.log('外部捕获', e);
}
// 外部捕获 a
如果 Generator 函数内部没有部署try...catch 代码块,那么throw 方法抛出的错误,将被外部try...catch 代码块捕获。
Copy var gen = function* gen(){
yield console.log('hello');
yield console.log('world');
}
var g = gen();
g.next();
g.throw();
// hello
// Uncaught undefined
如果 Generator 函数内部和外部,都没有部署try...catch 代码块,那么程序将报错,直接中断执行。
上面代码中, g.throw 抛出错误以后,没有任何try...catch 代码块可以捕获这个错误,导致程序报错,中断执行。
Copy var gen = function* gen(){
try {
yield console.log('a');
} catch (e) {
// ...
}
yield console.log('b');
yield console.log('c');
}
var g = gen();
g.next() // a
g.throw() // b
g.next() // c
throw 方法被捕获以后,会附带执行下一条yield
表达式。也就是说,会附带执行一次next 方法。
上面代码中, g.throw 方法被捕获以后,自动执行了一次next 方法,所以会打印b 。另外,也可以看到,只要 Generator 函数内部部署了try...catch 代码块,那么遍历器的throw 方法抛出的错误,不影响下一次遍历。
Copy var gen = function* gen(){
yield console.log('hello');
yield console.log('world');
}
var g = gen();
g.next();
try {
throw new Error();
} catch (e) {
g.next();
}
上面代码中, throw 命令抛出的错误不会影响到遍历器的状态,所以两次执行next 方法,都进行了正确的操作。
Copy function* g() {
yield 1;
console.log('throwing an exception');
throw new Error('generator broke!');
yield 2;
yield 3;
}
function log(generator) {
var v;
console.log('starting generator');
try {
v = generator.next();
console.log('第一次运行next方法', v);
} catch (err) {
console.log('捕捉错误', v);
}
try {
v = generator.next();
console.log('第二次运行next方法', v);
} catch (err) {
console.log('捕捉错误', v);
}
try {
v = generator.next();
console.log('第三次运行next方法', v);
} catch (err) {
console.log('捕捉错误', v);
}
console.log('caller done');
}
log(g());
// starting generator
// 第一次运行next方法 { value: 1, done: false }
// throwing an exception
// 捕捉错误 { value: 1, done: false }
// 第三次运行next方法 { value: undefined, done: true }
// caller done
上面代码一共三次运行next 方法,第二次运行的时候会抛出错误,然后第三次运行的时候,Generator 函数就已经结束了,不再执行下去了。
2.11.6 Generator.prototype.return()
回到目录 Generator 函数返回的遍历器对象,还有一个return 方法,可以返回给定的值,并且终结遍历 Generator 函数。
Copy function* gen() {
yield 1;
yield 2;
yield 3;
}
var g = gen();
g.next() // { value: 1, done: false }
g.return('foo') // { value: "foo", done: true }
g.next() // { value: undefined, done: true }
上面代码中,遍历器对象g 调用return 方法后,返回值的value 属性就是return 方法的参数foo 。并且,Generator 函数的遍历就终止了,返回值的 done 属性为true ,以后再调用next 方法, done 属性总是返回true 。 如果return 方法调用时,不提供参数,则返回值的value 属性为undefined 。
Copy function* numbers () {
yield 1;
try {
yield 2;
yield 3;
} finally {
yield 4;
yield 5;
}
yield 6;
}
var g = numbers();
g.next() // { value: 1, done: false }
g.next() // { value: 2, done: false }
g.return(7) // { value: 4, done: false }
g.next() // { value: 5, done: false }
g.next() // { value: 7, done: true }
如果 Generator 函数内部有try...finally 代码块,那么return 方法会推迟到finally 代码块执行完再执行。
2.11.7 next()、throw()、return() 的共同点
回到目录 next() 、throw() 、return() 这三个方法本质上是同一件事,可以放在一起理解。它们的作用都是让 Generator 函数恢复执行, 并且使用不同的语句替换yield
表达式
Copy const g = function* (x, y) {
let result = yield x + y;
return result;
};
const gen = g(1, 2);
gen.next(); // Object {value: 3, done: false}
gen.next(1); // Object {value: 1, done: true}
// 相当于将 let result = yield x + y
// 替换成 let result = 1;
gen.throw(new Error('出错了')); // Uncaught Error: 出错了
// 相当于将 let result =yield x + y
// 替换成 let result = throw(new Error('出错了'));
gen.return(2); // Object {value: 2, done: true}
// 相当于将 let result = yield x + y
// 替换成 let result = return 2;
Copy function* foo() {
yield 'a';
yield 'b';
}
function* bar() {
yield 'x';
foo();
yield 'y';
}
for (let v of bar()){
console.log(v);
}
// "x"
// "y"
如果在 Generator 函数内部,调用另一个 Generator 函数,默认情况下是没有效果的。
Copy function* bar() {
yield 'x';
yield* foo();
yield 'y';
}
// 等同于
function* bar() {
yield 'x';
yield 'a';
yield 'b';
yield 'y';
}
// 等同于
function* bar() {
yield 'x';
for (let v of foo()) {
yield v;
}
yield 'y';
}
for (let v of bar()){
console.log(v);
}
// "x"
// "a"
// "b"
// "y"
这个就需要用到yield* 表达式,用来在一个 Generator 函数里面执行另一个 Generator 函数。
Copy function* gen(){
yield* ["a", "b", "c"];
}
gen().next() // { value:"a", done:false }
上面代码中, yield
命令后面如果不加星号,返回的是整个数组,加了星号就表示返回的是数组的遍历器对象。
Copy let read = (function* () {
yield 'hello';
yield* 'hello';
})();
read.next().value // "hello"
read.next().value // "h"
Copy function *foo() {
yield 2;
yield 3;
return "foo";
}
function *bar() {
yield 1;
var v = yield *foo();
console.log( "v: " + v );
yield 4;
}
var it = bar();
it.next()
// {value: 1, done: false}
it.next()
// {value: 2, done: false}
it.next()
// {value: 3, done: false}
it.next();
// "v: foo"
// {value: 4, done: false}
it.next()
// {value: undefined, done: true}
上面代码在第四次调用next 方法的时候,屏幕上会有输出,这是因为函数foo 的return 语句,向函数bar 提供了返回值。
Copy function* iterTree(tree) {
if (Array.isArray(tree)) {
for(let i=0; i < tree.length; i++) {
yield* iterTree(tree[i]);
}
} else {
yield tree;
}
}
const tree = [ 'a', ['b', 'c'], ['d', 'e'] ];
for(let x of iterTree(tree)) {
console.log(x);
}
// a
// b
// c
// d
// e
Copy // 下面是二叉树的构造函数,
// 三个参数分别是左树、当前节点和右树
function Tree(left, label, right) {
this.left = left;
this.label = label;
this.right = right;
}
// 下面是中序(inorder)遍历函数。
// 由于返回的是一个遍历器,所以要用generator函数。
// 函数体内采用递归算法,所以左树和右树要用yield*遍历
function* inorder(t) {
if (t) {
yield* inorder(t.left);
yield t.label;
yield* inorder(t.right);
}
}
// 下面生成二叉树
function make(array) {
// 判断是否为叶节点
if (array.length == 1) return new Tree(null, array[0], null);
return new Tree(make(array[0]), array[1], make(array[2]));
}
let tree = make([[['a'], 'b', ['c']], 'd', [['e'], 'f', ['g']]]);
// 遍历二叉树
var result = [];
for (let node of inorder(tree)) {
result.push(node);
}
result
// ['a', 'b', 'c', 'd', 'e', 'f', 'g']
2.11.9 作为对象属性的 Generator 函数
回到目录 如果一个对象的属性是 Generator 函数,可以简写成下面的形式。
Copy let obj = {
* myGeneratorMethod() {
···
}
};
// 等价
let obj = {
myGeneratorMethod: function* () {
// ···
}
};
2.11.10 Generator 函数的this
回到目录 instanceof运算符用于测试构造函数的prototype属性是否出现在对象的原型链中的任何位置
Copy function* g() {}
g.prototype.hello = function () {
return 'hi!';
};
let obj = g();
obj instanceof g // true
obj.hello() // 'hi!'
上面代码表明,Generator 函数g 返回的遍历器obj ,是g 的实例,而且继承了g.prototype 。但是,如果把g 当作普通的构造函数,并不会生效,因为 g 返回的总是遍历器对象,而不是this 对象。
Copy function* g() {
this.a = 11;
}
let obj = g();
obj.a // undefined
上面代码中,Generator 函数g 在this 对象上面添加了一个属性a ,但是obj 对象拿不到这个属性。
Copy function* F() {
yield this.x = 2;
yield this.y = 3;
}
new F()
// TypeError: F is not a constructor
Generator 函数也不能跟new 命令一起用,会报错。上面代码中, new 命令跟构造函数F 一起使用,结果报错,因为F 不是构造函数。
下面是一个变通方法。首先,生成一个空对象,使用call 方法绑定 Generator 函数内部的this 。这样,构造函数调用以后,这个空对象就是 Generator 函数的实例对象了
Copy function* F() {
this.a = 1;
yield this.b = 2;
yield this.c = 3;
}
var obj = {};
var f = F.call(obj);
f.next(); // Object {value: 2, done: false}
f.next(); // Object {value: 3, done: false}
f.next(); // Object {value: undefined, done: true}
obj.a // 1
obj.b // 2
obj.c // 3
上面代码中,首先是F 内部的this 对象绑定obj 对象,然后调用它,返回一个 Iterator 对象。这个对象执行三次next 方法(因为F 内部有两个yield
表 达式),完成 F 内部所有代码的运行。这时,所有内部属性都绑定在obj 对象上了,因此obj 对象也就成了F 的实例。
上面代码中,执行的是遍历器对象f ,但是生成的对象实例是obj ,有没有办法将这两个对象统一呢? 一个办法就是将obj 换成F.prototype 。
Copy function* F() {
this.a = 1;
yield this.b = 2;
yield this.c = 3;
}
var f = F.call(F.prototype);
f.next(); // Object {value: 2, done: false}
f.next(); // Object {value: 3, done: false}
f.next(); // Object {value: undefined, done: true}
f.a // 1
f.b // 2
f.c // 3
再将F 改成构造函数,就可以对它执行new 命令了。
Copy function* gen() {
this.a = 1;
yield this.b = 2;
yield this.c = 3;
}
function F() {
return gen.call(gen.prototype);
}
var f = new F();
f.next(); // Object {value: 2, done: false}
f.next(); // Object {value: 3, done: false}
f.next(); // Object {value: undefined, done: true}
f.a // 1
f.b // 2
f.c // 3
2.11.11 Generator 与状态机
回到目录
Copy var ticking = true;
var clock = function() {
if (ticking)
console.log('Tick!');
else
console.log('Tock!');
ticking = !ticking;
}
上面代码的clock 函数一共有两种状态( Tick 和Tock ),每运行一次,就改变一次状态。这个函数如果用 Generator 实现,就是下面这样。
Copy var clock = function* () {
while (true) {
console.log('Tick!');
yield;
console.log('Tock!');
yield;
}
};
上面的 Generator 实现与 ES5 实现对比,可以看到少了用来保存状态的外部变量ticking ,这样就更简洁,更安全(状态不会被非法篡改)、更符合函 数式编程的思想,在写法上也更优雅。Generator 之所以可以不用外部变量保存状态,是因为它本身就包含了一个状态信息,即目前是否处于暂停态。
Generator 可以暂停函数执行,返回任意表达式的值。这种特点使得 Generator 有多种应用场景。
(1)异步操作的同步化表达
Copy function* loadUI() {
showLoadingScreen();
yield loadUIDataAsynchronously();
hideLoadingScreen();
}
var loader = loadUI();
// 加载UI
loader.next()
// 卸载UI
loader.next()
Generator 函数的暂停执行的效果,意味着可以把异步操作写在yield
表达式里面,等到调用next 方法时再往后执行。这实际上等同于不需要写回调函 数了,因为异步操作的后续操作可以放在yield
表达式下面,反正要等到调用next 方法时再执行。所以,Generator 函数的一个重要实际意义就是用来 处理异步操作,改写回调函数。
上面代码中,第一次调用loadUI 函数时,该函数不会执行,仅返回一个遍历器。下一次对该遍历器调用next 方法,则会显示Loading 界面 ( showLoadingScreen ),并且异步加载数据( loadUIDataAsynchronously )。等到数据加载完成,再一次使用next 方法,则会隐藏Loading 界面。可 以看到,这种写法的好处是所有Loading 界面的逻辑,都被封装在一个函数,按部就班非常清晰。
Ajax 是典型的异步操作,通过 Generator 函数部署 Ajax 操作,可以用同步的方式表达。
Copy function* main() {
var result = yield request("http://some.url");
var resp = JSON.parse(result);
console.log(resp.value);
}
function request(url) {
makeAjaxCall(url, function(response){
it.next(response);
});
}
var it = main();
it.next();
上面代码的main 函数,就是通过 Ajax 操作获取数据。可以看到,除了多了一个yield
,它几乎与同步操作的写法完全一样。注意, makeAjaxCall 函数 中的next 方法,必须加上response 参数,因为yield
表达式,本身是没有值的,总是等于undefined 。
(2)控制流管理
Copy step1(function (value1) {
step2(value1, function(value2) {
step3(value2, function(value3) {
step4(value3, function(value4) {
// Do something with value4
});
});
});
});
// 采用 Promise 改写上面的代码。
Promise.resolve(step1)
.then(step2)
.then(step3)
.then(step4)
.then(function (value4) {
// Do something with value4
}, function (error) {
// Handle any error from step1 through step4
})
.done();
// 上面代码已经把回调函数,改成了直线执行的形式,但是加入了大量 Promise 的语法。Generator 函数可以进一步改善代码运行流程
function* longRunningTask(value1) {
try {
var value2 = yield step1(value1);
var value3 = yield step2(value2);
var value4 = yield step3(value3);
var value5 = yield step4(value4);
// Do something with value4
} catch (e) {
// Handle any error from step1 through step4
}
}
// 然后,使用一个函数,按次序自动执行所有步骤
scheduler(longRunningTask(initialValue));
function scheduler(task) {
var taskObj = task.next(task.value);
// 如果Generator函数未结束,就继续调用
if (!taskObj.done) {
task.value = taskObj.value
scheduler(task);
}
}
// 注意,上面这种做法,只适合同步操作,即所有的task 都必须是同步的,不能有异步操作。因为这里的代码一得到返回值,就继续往下执行,没有判断异
步操作何时完成。如果要控制异步的操作流程,详见后面的《异步操作》一章。
(3)部署 Iterator 接口
Copy // 利用 Generator 函数,可以在任意对象上部署 Iterator 接口。
function* iterEntries(obj) {
let keys = Object.keys(obj);
for (let i=0; i < keys.length; i++) {
let key = keys[i];
yield [key, obj[key]];
}
}
let myObj = { foo: 3, bar: 7 };
for (let [key, value] of iterEntries(myObj)) {
console.log(key, value);
}
// foo 3
// bar 7
// 上述代码中, myObj 是一个普通对象,通过iterEntries 函数,就有了 Iterator 接口。也就是说,可以在任意对象上部署next 方法。
(4)作为数据结构
练习1
Copy function* generator(){
yield 1;
yield 2;
yield 3;
}
var gen = generator();
while((tmp=gen.next()).done === false){
console.log(tmp.value);
}
输出结果为
练习2
Copy function* generator(){
yield 1;
yield* ["a","b","c","d"];
yield 3;
}
var gen=generator();
while((tmp=gen.next()).done === false){
console.log(tmp.value);
}
输出结果为
练习3
Copy function* numbers () {
yield 1;
yield 2;
return 'numbers';
}
function* delegate () {
var str = yield* numbers();
console.log(str);
yield 3;
return 'delegate';
}
var iterator = delegate();
console.log(iterator.next()) // 第一次输出
console.log(iterator.next()) // 第二次输出
console.log(iterator.next()) // 第三次输出
console.log(iterator.next()) // 第四次输出
Copy /**
* 第一次输出结果
* { value: 1, done: false }
*/
console.log(iterator.next()) // 第一次输出
/**
* 第二次输出结果
* { value: 2, done: false }
*/
console.log(iterator.next()) // 第二次输出
/**
* 第三次输出结果
* numbers
* { value: 3, done: false }
*/
console.log(iterator.next()) // 第三次输出
/**
* 第四次输出结果
* { value: 'delegate', done: true }
*/
console.log(iterator.next()) // 第四次输出
第二次输出时,输出一行内容,其中的 value 值仍为 numbers 函数的返回值。此时,done 属性为 false。
第三次输出时,输出两行内容。第一行内容为 delegate 函数中 console.log(str) 输出的,值为 numbers 函数的返回值。
第四次输出时,输出一行内容,其中的 value 值为 delegate 函数的返回值。此时,done 属性为 true。
练习4
Copy function* withparam(x){
var y=yield x;
yield y;
}
var wt=withparam(3);
console.log(wt.next());
console.log(wt.next());
next()方法中可以传入一个参数,这个参数会作为上一个yield语句的返回值的,如果不传参数,yield语句中生成器函数内的返回值是undefined。
Copy /**
* 第一次输出结果
* { value: 3, done: false }
*/
console.log(wt.next()) // 第一次输出
/**
* 第二次输出结果
* { value: undefined, done: false }
*/
console.log(wt.next()) // 第二次输出
第二个next调用的时候的value是undefined的。现在我们给第二个next传入参数,
Copy function* withparam(x){
var y=yield x;
yield y;
}
var wt=withparam(3);
console.log(wt.next());
console.log(wt.next(5));
第二个next传入了5,所以y被赋值为5。记住永远不要做往第一个next中传入参数的傻事, 因为next传入的参数会作为上一个yield语句中生成器函数内部的返回值,而第一个next执行时,没有上一个yield语句,也就没有接收参数的地方。
Copy /**
* 第一次输出结果
* { value: 3, done: false }
*/
console.log(wt.next()) // 第一次输出
/**
* 第二次输出结果
* { value: 5, done: false }
*/
console.log(wt.next()) // 第二次输出
异步编程对javascript语言太过重要。javascript语言的运行环境是“单线程”的,所以异步编程就显得尤为重要。
传统方式 异步编程的方法 大概以下四种
Generator函数将Javascript异步编程带上了一个全新的阶段
异步
所谓"异步",简单说就是一个任务不是连续完成的,可以理解成该任务被人为分成两段,先执行第一段,然后转而执行其他任务,等做好了准备,再回过头 执行第二段。 比如,有一个任务是读取文件进行处理,任务的第一段是向操作系统发出请求,要求读取文件。然后,程序执行其他任务,等到操作系统返回文件,再接 着执行任务的第二段(处理文件)。这种不连续的执行,就叫做异步。 相应地,连续的执行就叫做同步。由于是连续执行,不能插入其他任务,所以操作系统从硬盘读取文件的这段时间,程序只能干等着。
回调函数
JavaScript 语言对异步编程的实现,就是回调函数。所谓回调函数,就是把任务的第二段单独写在一个函数里面,等到重新执行这个任务的时候,就直接 调用这个函数。回调函数的英语名字callback ,直译过来就是"重新调用"。
Copy // 读取文件进行处理,是这样写的。
fs.readFile('/etc/passwd', 'utf-8', function (err, data) {
if (err) throw err;
console.log(data);
});
上面代码中, readFile 函数的第三个参数,就是回调函数,也就是任务的第二段。等到操作系统返回了/etc/passwd 这个文件以后,回调函数才会执行。 一个有趣的问题是,为什么 Node 约定,回调函数的第一个参数,必须是错误对象err (如果没有错误,该参数就是null )? 原因是执行分成两段,第一段执行完以后,任务所在的上下文环境就已经结束了。在这以后抛出的错误,原来的上下文环境已经无法捕捉,只能当作参 数,传入第二段。
Promise
回调函数本身并没有问题,它的问题出现在多个回调函数嵌套。假定读取A 文件之后,再读取B 文件,代码如下。
Copy fs.readFile(fileA, 'utf-8', function (err, data) {
fs.readFile(fileB, 'utf-8', function (err, data) {
// ...
});
});
不难想象,如果依次读取两个以上的文件,就会出现多重嵌套。代码不是纵向发展,而是横向发展,很快就会乱成一团,无法管理。因为多个异步操作形 成了强耦合,只要有一个操作需要修改,它的上层回调函数和下层回调函数,可能都要跟着修改。这种情况就称为"回调函数地狱"(callback hell)。
Copy var readFile = require('fs-readfile-promise');
readFile(fileA)
.then(function (data) {
console.log(data.toString());
})
.then(function () {
return readFile(fileB);
})
.then(function (data) {
console.log(data.toString());
})
.catch(function (err) {
console.log(err);
});
协程 传统的编程语言,早有异步编程的解决方案(其实是多任务的解决方案)。其中有一种叫做"协程"(coroutine),意思是多个线程互相协作,完成异步任 务。 协程有点像函数,又有点像线程。它的运行流程大致如下。 第一步,协程A 开始执行。 第二步,协程A 执行到一半,进入暂停,执行权转移到协程B 。 第三步,(一段时间后)协程B 交还执行权。 第四步,协程A 恢复执行。 上面流程的协程A ,就是异步任务,因为它分成两段(或多段)执行。 举例来说,读取文件的协程写法如下。
Copy function* asyncJob() {
// ...其他代码
var f = yield readFile(fileA);
// ...其他代码
}
上面代码的函数asyncJob 是一个协程,它的奥妙就在其中的yield 命令。它表示执行到此处,执行权将交给其他协程。也就是说, yield 命令是异步两个 阶段的分界线。 协程遇到yield 命令就暂停,等到执行权返回,再从暂停的地方继续往后执行。它的最大优点,就是代码的写法非常像同步操作,如果去除yield 命令, 简直一模一样。
Copy function* gen(x) {
var y = yield x + 2;
return y;
}
var g = gen(1);
g.next() // { value: 3, done: false }
g.next() // { value: undefined, done: true }
上面代码中,调用 Generator 函数,会返回一个内部指针(即遍历器) g 。这是 Generator 函数不同于普通函数的另一个地方,即执行它不会返回结 果,返回的是指针对象。调用指针g 的next 方法,会移动内部指针(即执行异步任务的第一段),指向第一个遇到的yield 语句,上例是执行到x + 2 为 止。 换言之, next 方法的作用是分阶段执行Generator 函数。每次调用next 方法,会返回一个对象,表示当前阶段的信息( value 属性和done 属性)。 value 属性是yield 语句后面表达式的值,表示当前阶段的值; done 属性是一个布尔值,表示 Generator 函数是否执行完毕,即是否还有下一个阶段。
参考资料