实操ES6之Promise

  • A+
所属分类:Web前端
摘要

写Promise的时候,自然而然会使用箭头函数的编写方式。箭头函数就是.Neter们熟知的lambda函数,已经被大部分主流语言支持,也受到了广大码农的交口称赞,但是Jser们却会遇到不大不小的一个坑。


箭头函数和this

写Promise的时候,自然而然会使用箭头函数的编写方式。箭头函数就是.Neter们熟知的lambda函数,已经被大部分主流语言支持,也受到了广大码农的交口称赞,但是Jser们却会遇到不大不小的一个坑。

众所周知,js函数中的this由调用它的上下文决定,我们还可以通过applycallbind等方式绑定上下文,从而改变函数中this的运行时指向。而当this遇到lambda时,又有所不同。

function Test() {     this.name = "alice" }  Test.prototype = {     normal: function () {         console.info(this.name)     },     lambda: () => {         console.info(this.name)     } }  let test = new Test() test.normal() //输出:alice test.lambda() //输出:undefined 

为什么会这样?网上很多分析,让人云里雾里。其实只要了解了——lambda与普通方法一个主要区别就是它能保持外层上下文变量的引用——这个特性就明白了。用lambda在方法内写过嵌套局部方法的.Neter很容易理解这个说法。

        private Action Test()         {             var name = "alice";                         Action action = () => Console.WriteLine(name);             //name将被捕获,会一直生存到action被回收             return action;         } 

so,可以将js的箭头函数理解为受运行时外层影响的内嵌函数,它是在运行时赋值的——以上述js代码为例,js解释器解释Test.prototype的定义,解释到normal函数时,是不care其内部逻辑的,继续往下解释到lambda函数时,会过一遍其内部引用到的外部变量,若有则捕获用于真正执行时(所谓词法作用域)。此时这个this指的是运行环境的根对象(在浏览器中可能就是window对象),而不是test对象(此时还不存在噻)。注:本段为个人理解。

再看一个代码片段,请读者自行尝试分析下:

var alice = {     age: 18,     getAge: function () {         var aliceAge = this.age;//this是alice         var getAgeWithLambda = () => this.age;//this还是alice         var getAgeWithFunction = function () {             return this.age;// this是window         }         return[aliceAge,getAgeWithLambda(),getAgeWithFunction()]     } }  console.info(alice.getAge()) //输出:[18, 18, undefined] 

Promise

Promise主要是将原本的callback变为then,写出来的代码更便于阅读。有多种方式得到一个Promise对象:

  1. Promise.resolve()Promise.resolve('foo') 等价于 new Promise(resolve => resolve('foo'))
  2. 执行async修饰的函数:
async function newPromise(){} let p = newPromise() //p就是Promise对象 

如果async函数中是return一个值,这个值就是Promise对象中resolve的值;如果async函数中是throw一个值,这个值就是Promise对象中reject的值。

  1. 直接构造:
let p = new Promise((resolve, reject)=>{}) 

注意,构造Promise时内部代码已经开始执行,只是把resolve部分挂起放到后面执行。测试代码如下:

let p = new Promise((resolve, _) => {     resolve(1);     console.info(2); //率先执行 }); console.info(3); p.then(num => {     console.info(num); //后置执行 }); console.info(4);  //输出:2 3 4 1 

所以,这跟惯常认为的整个Promise代码块都后置执行不一样,需要注意。

我们可以如上述将回调逻辑写在then里,也可以将逻辑移到外层变为同步执行(而非后置执行),这就需要用到await关键字了,它将阻塞当前代码块,等待resolve块执行完再往后执行。代码如下:

async function test() {     let p = new Promise((resolve, _) => {         resolve(1);         console.info(2);     });     console.info(3);     let num = await p;     console.info(num);     console.info(4); }  test()  //输出:2 3 1 4 

ES6引入的Generator函数,是async/await的基础。

await让我们能用同步写法写出异步方法,但事实真的如此吗?在C#领域,这么说尚且没错。后端语言大多支持多线程和线程池,await虽然阻塞了后续代码的执行,但只是上下文被挂起,线程本身是不会被阻塞的还可以干其它事情,await返回后甚至还可以让其它线程接手,可参看本人以前的博文async、await在ASP.NET[ MVC]中之线程死锁的故事。js的话,它是单线程,而且它也不像go一样有完善的协程机制,无法手动(time.sleep()、select{}等)切换代码块执行——除非等到await返回,否则线程是没机会执行其它代码块的。 错误。
注意await挂起的不是线程,而是resolve上下文,推测本质上还是与js的执行队列相关,只不过await后续逻辑都排在resolve之后罢了。

async function test() {     let p = new Promise((resolve, _) => {                 setTimeout(() => {             resolve(1)         }, 5000)     });     setTimeout(() => {         console.info(2)     }, 3000)     let num = await p     console.info(num) }  test()  //输出:2 1 

但使用await时仍要注意避免不必要的等待,如果前后几个Promise没有依赖关系(更精确的说法是,任务的发起条件不依赖其它任务的结果),那么最好同时发起它们,并在最后await Promise.all(promises)


异常捕获

很多文章都说try/catch在异步模式下无效,其实搭配await的话还是可以的(毕竟await可以使得回调执行在try块内),如下:

let testPromise = function () {     // throw new Error("异步异常测试")     return Promise.reject(new Error("异步异常测试")) }  let testInvocation = async () => {     try {         await testPromise()     } catch (err) {         console.error(`catch: ${err}`)     } } testInvocation() //输出:catch: Error: 异步异常测试 

如果try的是整个testInvocation()那自然没戏。

如果觉得在每个异步方法内部try/catch太繁琐,那么可以抽离出一个模板方法,或者使用process对象注册uncaughtExceptionunhandledRejection事件,注意这两者的区别:

process.on('uncaughtException', e => {     console.error(`uncaughtException: ${e.message}`) });  process.on('unhandledRejection', (reason, promise) => {     console.error(`unhandledRejection: ${reason}`) });   let testPromise = function(){     throw new Error("异步异常测试") }  testPromise() //输出:uncaughtException: 异步异常测试  let testInvocation = async () => await testPromise() //.catch 因为testPromise()返回的不是Promise,所以catch无效 testInvocation() //输出:unhandledRejection: Error: 异步异常测试  //注意两次异常类型不一样 

如果你使用electron开发桌面应用,可能无法[以process.on('unhandledRejection', ...)方式]捕获unhandledRejection异常(本人使用v10.1.0版本测试发现)。遇到这种情况,只能老老实实在每个Promise后面写catch()。

使用process捕获异常无法获取异常的上下文,且丢失上下文堆栈使得node不能正常进行内存回收,从而导致内存泄露。
node中还有个东西domain用于弥补process的问题,但是个人认为domain使用不便,且织入业务代码程度过深,另外据说目前版本还不稳定(后续可能会更改),甚至有文章说已被node废弃,具体什么情况暂未深入了解。总之希望node或者js平台能出一个关于异常捕获的更好的解决方案。


协程安全

在js场景下,异步机制更类似于Go的协程(毕竟js是单线程,多线程无从谈起),所以此处取名为协程安全。

直接看代码:

let policy = {}  let testfun = async () => {         let data = await policy     //生成随机数     data["key"] = utility.getRandomString(20)     return data }  //1 let testinfo = async () => {     let data = await testfun()     console.info(data.key)     }  for (let i = 0; i < 5; i++) {     testinfo() }  //输出结果是5次相同的随机数  //2 let testinfo2 = async () => {     for (let i = 0; i < 5; i++) {         let data = await testfun()         console.info(data.key)     } }  testinfo2()  //如此则正常输出5次不同的随机数 

由上可知:在使用await时,若多个await操作相同变量,并且它们的后续操作是在所有await都返回后执行,就容易出现与预期不符的情况,应尽量避免。