ES6 Promise运行机制解析

内容参考:

阮一峰 - JS运行机制
MDN - Promise构造函数
MDN - 使用Promise
美团Promise解析

偶然回忆起js异步操作的点点滴滴,又想起用了一年的Promise,哎?兄弟,你到底是个什么东西???

先摆个你一定看不懂的图然后我们慢慢来。(看不懂千万不要假装骗自己哦~)


Promise.png

单线程

JavaScript是单线程机制,为什么是单线程因为如果存在两个线程同时修改dom,dom会不知所措(Android系统也是只允许在主线程中更新UI)
所以既然没有多线程做并发,只能设计出异步任务。
JavaScript的所有网络操作,浏览器事件,都必须是异步执行,那么我们怎么做异步任务呢?

1 ES5回调函数
2 ES6 Promise
3 ES7 async/await

回调函数我们很熟,也知道它的著名缺陷 - 回调炼狱

async1(function(){
    async2(function(){
        async3(function(
            async4(funciton(){
                async5(function(){
                    //(╯°°)╯︵┻━┻
                    //...
                });
            });
        )); 
    });});

Promise 用链式调用解决了这一烦恼:

function doingSome(a){
    return new Promise(function(resolve,reject){
            setTimeout(function(){
                resolve(a+1)
            },1500)
            })
}
doingSome(1).then(function(newResult){
    console.log('第一个promise :' + newResult)
    return doingSome(newResult)
}).then(function(result){
    console.log('第二个promise:'+result)
})

But

知道这些可以满足我们的好奇心么 ???
它的设计模式,代码结构才是我钟意的地方。
去MDN翻翻Promise构造方法的参数,方法,执行描述,额,疑问一大堆啊,其中有一句:

Promise 对象是一个代理对象(代理一个值),被代理的值在Promise对象创建时可能是未知的。它允许你为异步操作的成功和失败分别绑定相应的处理方法(handlers)。 这让异步方法可以像同步方法那样返回值,但并不是立即返回最终执行结果,而是一个能代表未来出现的结果的promise对象

啥,我们创建一个Promise后,它返回一个新的Promise,为什么不返回自己然后重用?

Promise构造函数执行时立即调用executor 函数,executor 函数在Promise构造函数返回新建对象前被调用, resolve 和 reject 两个函数作为参数传递给executor。resolve 和 reject 函数被调用时,分别将promise的状态改为fulfilled(完成)或rejected(失败)

所以说executor到底是什么时候被调用的,resolve和reject做了什么骚操作?

then和catch在executor执行后被执行,那么failureCallback和successCallback在executor执行时还没传入,那如果我们的executor中直接同步调用resolve或者reject呢?

new Promise(function(resolve, reject){
  resolve()
}).then(function(){
  // here is successCallback
})

试验结果还是可以调用到successCallback,执行executor时还在构造函数方法中,都还没调用then方法,你怎么得到successCallback的???

先做一些小实验测试一下
运行结果.png
首先Promise构造函数并没有返回值

executor调用了resolve后,将-当前-Promise对象状态改为了:resolved

接着实验:


image.png

这里可以确定then方法返回了一个新的Promise
我们去除延迟,再试一遍:


image.png

在then方法内部就把successCallback给执行了,最后返回新的Promise对象。
这样看来resolve感觉像是做了setTimeout 0处理,使它处于任务队列底部,最后被执行。

我们怎么知道它的真正实现呢?源码找不到,我们看看别人博客吧,我看到很多什么自己实现一个Promise这种文章,但是呢,他们的resolve实现都是用setTimeout 0,我就很疑惑,难道浏览器也是这么实现的?

其实不准确,我们看规范好吧,Promise A+规范
这里有一段话很重要(google翻译后的)

image.png

浏览器就是用setTimeout,Nodejs就是process.nextTick(所提及的任务机制暂时不懂,不过可以参考:JS并发模型

那resolve的实现过程就应该是这样的:

function(val) {
  var _this= this;
  if (this.status == 'pending') {
    this.status = 'resolved';
    this.value=val;
    setTimeout(function() {
      _this.resolveFunc(_this.value);
    }, 0);
  }
}

MDN有一段话也可以帮助我们理解:


image.png
为什么then要返回一个新的Promise?

MDN 对于then方法的解释:


image.png

如果successCallback或者failureCallback返回的是一个Promise呢 ?
还有一段解释:


image.png

我想说如果你在回调函数中还返回了一个Promise,就像我们上面用的链式调用的例子:
doingSome(1).then(function(newResult){
    console.log('第一个promise :' + newResult)
    return doingSome(newResult)
}).then(function(result){
    console.log('第二个promise:'+result)
})

那么恭喜你,我们这里出现了三个Promise,我们要分析三个Promise在一次链式调用中的作用。。。
我们解释下:“任何被添加给 promise2 的回调函数都会被排在 successCallback 或 failureCallback 返回的 Promise 后面”

上面第二个then添加了一个successCallback,它说会被我们第一个then的successCallback返回的doingSome中的Promise调用,非常乱,不错有人已经帮我理清楚了,没错,我们借鉴一下:

彻底理解Promise对象——用es5语法实现一个自己的Promise(上篇)

我们看下他的then方法怎么写的:

MyPromise.prototype.then = function(resolveFunc, rejectFunc) {
  var self = this;
  return new MyPromise(function(resolve_next, reject_next) {
    function resolveFuncWrap() {
      var result = resolveFunc(self.value);
      if (result && typeof result.then === 'function') {
        //如果result是MyPromise对象,则通过then将resolve_next和reject_next传给它
        result.then(resolve_next, reject_next);
      } else {
        //如果result是其他对象,则作为参数传给resolve_next
        resolve_next(result);
      }
    }
    function rejectFuncWrap() {
      var result = rejectFunc(self.value);
      if (result && typeof result.then === 'function') {
        //如果result是MyPromise对象,则通过then将resolve_next和reject_next传给它
        result.then(resolve_next, reject_next);
      } else {
        //如果result是其他对象,则作为参数传给resolve_next
        resolve_next(result);
      }
    }
    self.resolveFunc = resolveFuncWrap;
    self.rejectFunc = rejectFuncWrap;
  })
}

最开始调用的Promise我们这里称为Promise_1,then中直接return的Promise我们称为 Promise_2,回调函数中返回的Promise我们称为Promise_3

Promise_2的目的就是链式then的书写,因为then返回的是一个Promise自然可以执行then方法。
内部的逻辑就是封装callback,让callback执行的时候可以执行Promise_2的then的successCallback

这个“让callback执行的时候可以执行Promise_2的then的successCallback”就对应了两种情况:

  1. Promise_1的callback返回了Promise
    我们关键代码:
result.then(resolve_next, reject_next);

将Promise_2和Promise_3神奇的串在了一起,
如果Promise_3调用了resolve,那么就执行Promise_2的resolve,Promise_2的resolve不就接着执行Promise_2的successCallback么,最后等同于:Promise_2 的successCallback变成了Promise_3的


  1. 返回了非Promise
    直接执行Promise_2的successCallback或者failureCallback

错误传播的特性

基本上,一个 Promise 链式遇到异常就会停止,查看链式的底端,寻找catch处理程序来代替当前执行。在同步的代码执行之后,这是非常模型化的。
这化作了两个特性:

  1. 遇到异常或者调用reject会去顺着链式向下找一个catch执行
  2. 如果遇到异常或者调用reject,会直接执行catch然后继续catch下面的代码,catch之前都不会执行
    举例:
function doingSome(a){
    return new Promise(function(resolve,reject){
            setTimeout(function(){
                reject(a+1)
            },1500)
            })
}
doingSome(1).then(function(result){
    console.log(result)
    return result
}).then(function(result){
    console.log(result)
    return result
}).then(function(result1){
    console.log(result)
    return result
}).catch(function(result){
    console.log('failed: ' + result)
    return result
}).then(function(result){
    console.log(result)
    return result
})

输出:
failed: 2
2


(别的实现细节暂且不提,错误请指正!)

THE END
©著作权归作者所有,转载或内容合作请联系作者
  • 序言:七十年代末,一起剥皮案震惊了整个滨河市,随后出现的几起案子,更是在滨河造成了极大的恐慌,老刑警刘岩,带你破解...
    沈念sama阅读 206,968评论 6 482
  • 序言:滨河连续发生了三起死亡事件,死亡现场离奇诡异,居然都是意外死亡,警方通过查阅死者的电脑和手机,发现死者居然都...
    沈念sama阅读 88,601评论 2 382
  • 文/潘晓璐 我一进店门,熙熙楼的掌柜王于贵愁眉苦脸地迎上来,“玉大人,你说我怎么就摊上这事。” “怎么了?”我有些...
    开封第一讲书人阅读 153,220评论 0 344
  • 文/不坏的土叔 我叫张陵,是天一观的道长。 经常有香客问我,道长,这世上最难降的妖魔是什么? 我笑而不...
    开封第一讲书人阅读 55,416评论 1 279
  • 正文 为了忘掉前任,我火速办了婚礼,结果婚礼上,老公的妹妹穿的比我还像新娘。我一直安慰自己,他们只是感情好,可当我...
    茶点故事阅读 64,425评论 5 374
  • 文/花漫 我一把揭开白布。 她就那样静静地躺着,像睡着了一般。 火红的嫁衣衬着肌肤如雪。 梳的纹丝不乱的头发上,一...
    开封第一讲书人阅读 49,144评论 1 285
  • 那天,我揣着相机与录音,去河边找鬼。 笑死,一个胖子当着我的面吹牛,可吹牛的内容都是我干的。 我是一名探鬼主播,决...
    沈念sama阅读 38,432评论 3 401
  • 文/苍兰香墨 我猛地睁开眼,长吁一口气:“原来是场噩梦啊……” “哼!你这毒妇竟也来了?” 一声冷哼从身侧响起,我...
    开封第一讲书人阅读 37,088评论 0 261
  • 序言:老挝万荣一对情侣失踪,失踪者是张志新(化名)和其女友刘颖,没想到半个月后,有当地人在树林里发现了一具尸体,经...
    沈念sama阅读 43,586评论 1 300
  • 正文 独居荒郊野岭守林人离奇死亡,尸身上长有42处带血的脓包…… 初始之章·张勋 以下内容为张勋视角 年9月15日...
    茶点故事阅读 36,028评论 2 325
  • 正文 我和宋清朗相恋三年,在试婚纱的时候发现自己被绿了。 大学时的朋友给我发了我未婚夫和他白月光在一起吃饭的照片。...
    茶点故事阅读 38,137评论 1 334
  • 序言:一个原本活蹦乱跳的男人离奇死亡,死状恐怖,灵堂内的尸体忽然破棺而出,到底是诈尸还是另有隐情,我是刑警宁泽,带...
    沈念sama阅读 33,783评论 4 324
  • 正文 年R本政府宣布,位于F岛的核电站,受9级特大地震影响,放射性物质发生泄漏。R本人自食恶果不足惜,却给世界环境...
    茶点故事阅读 39,343评论 3 307
  • 文/蒙蒙 一、第九天 我趴在偏房一处隐蔽的房顶上张望。 院中可真热闹,春花似锦、人声如沸。这庄子的主人今日做“春日...
    开封第一讲书人阅读 30,333评论 0 19
  • 文/苍兰香墨 我抬头看了看天上的太阳。三九已至,却和暖如春,着一层夹袄步出监牢的瞬间,已是汗流浃背。 一阵脚步声响...
    开封第一讲书人阅读 31,559评论 1 262
  • 我被黑心中介骗来泰国打工, 没想到刚下飞机就差点儿被人妖公主榨干…… 1. 我叫王不留,地道东北人。 一个月前我还...
    沈念sama阅读 45,595评论 2 355
  • 正文 我出身青楼,却偏偏与公主长得像,于是被迫代替她去往敌国和亲。 传闻我的和亲对象是个残疾皇子,可洞房花烛夜当晚...
    茶点故事阅读 42,901评论 2 345

推荐阅读更多精彩内容

  • 本文适用的读者 本文写给有一定Promise使用经验的人,如果你还没有使用过Promise,这篇文章可能不适合你,...
    HZ充电大喵阅读 7,296评论 6 19
  • title: promise总结 总结在前 前言 下文类似 Promise#then、Promise#resolv...
    JyLie阅读 12,225评论 1 21
  • Promise 对象 Promise 的含义 Promise 是异步编程的一种解决方案,比传统的解决方案——回调函...
    neromous阅读 8,698评论 1 56
  • Promise含义 Promise是异步编程的一种解决方案,比传统的解决方案——回调函数和事件——更强大。所谓Pr...
    oWSQo阅读 1,083评论 0 4
  • 2018.4.18 #每日一问# 除了看纸质书,你是否还有可以推荐的其他阅读平台和听书平台?(请结合自己的经验来说...
    讷言敏行2020阅读 114评论 0 1