30分钟，让你完全明白Promise原理

前言

前一阵子记录了promise的一些常规用法，这篇文章再深刻一个层次，来分析分析promise的这种规则机制是如何实现的。ps:本文适合已经对promise的用法有所了解的人阅读,若是对其用法还不是太了解，能够移步个人上一篇博文。

本文的promise源码是按照Promise/A+规范来编写的（不想看英文版的移步Promise/A+规范中文翻译）

引子

为了让你们更容易理解，咱们从一个场景开始讲解，让你们一步一步跟着思路思考，相信你必定会更容易看懂。

考虑下面一种获取用户id的请求处理

1 2 3 4 5 6 7 8 9 10 11 12 13

//例1 function getUserId() { return new Promise(function(resolve) { //异步请求 http.get(url, function(results) { resolve(results.id) }) }) }   getUserId().then( function(id) { //一些处理 })

getUserId方法返回一个promise，能够经过它的then方法注册(注意注册这个词)在promise异步操做成功时执行的回调。这种执行方式，使得异步调用变得十分顺手。

原理剖析

那么相似这种功能的Promise怎么实现呢？其实按照上面一句话，实现一个最基础的雏形仍是很easy的。

极简promise雏形

1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16

function Promise(fn) { var value = null, callbacks = []; //callbacks为数组，由于可能同时有不少个回调   this.then = function (onFulfilled) { callbacks.push(onFulfilled); };   function resolve(value) { callbacks.forEach( function (callback) { callback(value); }); }   fn(resolve); }

上述代码很简单，大体的逻辑是这样的：

1. 调用then方法，将想要在Promise异步操做成功时执行的回调放入callbacks队列，其实也就是注册回调函数，能够向观察者模式方向思考；
2. 建立Promise实例时传入的函数会被赋予一个函数类型的参数，即resolve，它接收一个参数value，表明异步操做返回的结果，当一步操做执行成功后，用户会调用resolve方法，这时候其实真正执行的操做是将callbacks队列中的回调一一执行；

能够结合例1中的代码来看，首先new Promise时，传给promise的函数发送异步请求，接着调用promise对象的then属性，注册请求成功的回调函数，而后当异步请求发送成功时，调用resolve(results.id)方法, 该方法执行then方法注册的回调数组。

相信仔细的人应该能够看出来，then方法应该可以链式调用，可是上面的最基础简单的版本显然没法支持链式调用。想让then方法支持链式调用，其实也是很简单的：

1 2 3 4

this.then = function (onFulfilled) { callbacks.push(onFulfilled); return this; };

see?只要简单一句话就能够实现相似下面的链式调用：

1 2 3 4 5 6

// 例2 getUserId().then( function (id) { // 一些处理 }).then( function (id) { // 一些处理 });

加入延时机制

细心的同窗应该发现，上述代码可能还存在一个问题：若是在then方法注册回调以前，resolve函数就执行了，怎么办？好比promise内部的函数是同步函数：

1 2 3 4 5 6 7 8 9

// 例3 function getUserId() { return new Promise(function (resolve) { resolve( 9876); }); } getUserId().then( function (id) { // 一些处理 });

这显然是不容许的，Promises/A+规范明确要求回调须要经过异步方式执行，用以保证一致可靠的执行顺序。所以咱们要加入一些处理，保证在resolve执行以前，then方法已经注册完全部的回调。咱们能够这样改造下resolve函数:

1 2 3 4 5 6 7

function resolve(value) { setTimeout( function() { callbacks.forEach( function (callback) { callback(value); }); }, 0) }

上述代码的思路也很简单，就是经过setTimeout机制，将resolve中执行回调的逻辑放置到JS任务队列末尾，以保证在resolve执行时，then方法的回调函数已经注册完成.

可是，这样好像还存在一个问题，能够细想一下：若是Promise异步操做已经成功，这时，在异步操做成功以前注册的回调都会执行，可是在Promise异步操做成功这以后调用的then注册的回调就不再会执行了，这显然不是咱们想要的。

加入状态

恩，为了解决上一节抛出的问题，咱们必须加入状态机制，也就是你们熟知的pending、fulfilled、rejected。

Promises/A+规范中的2.1Promise States中明确规定了，pending能够转化为fulfilled或rejected而且只能转化一次，也就是说若是pending转化到fulfilled状态，那么就不能再转化到rejected。而且fulfilled和rejected状态只能由pending转化而来，二者之间不能互相转换。一图胜千言：

改进后的代码是这样的：

1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26

function Promise(fn) { var state = 'pending', value = null, callbacks = [];   this.then = function (onFulfilled) { if (state === 'pending') { callbacks.push(onFulfilled); return this; } onFulfilled(value); return this; };   function resolve(newValue) { value = newValue; state = 'fulfilled'; setTimeout( function () { callbacks.forEach( function (callback) { callback(value); }); }, 0); }   fn(resolve); }

 

上述代码的思路是这样的：resolve执行时，会将状态设置为fulfilled，在此以后调用then添加的新回调，都会当即执行。

这里没有任何地方将state设为rejected，为了让你们聚焦在核心代码上，这个问题后面会有一小节专门加入。

链式Promise

那么这里问题又来了，若是用户再then函数里面注册的仍然是一个Promise，该如何解决？好比下面的例4：

1 2 3 4 5 6 7 8 9 10 11 12 13 14

// 例4 getUserId() .then(getUserJobById) .then( function (job) { // 对job的处理 });   function getUserJobById(id) { return new Promise(function (resolve) { http.get(baseUrl + id, function(job) { resolve(job); }); }); }

这种场景相信用过promise的人都知道会有不少，那么相似这种就是所谓的链式Promise。

链式Promise是指在当前promise达到fulfilled状态后，即开始进行下一个promise（后邻promise）。那么咱们如何衔接当前promise和后邻promise呢？（这是这里的难点）。

其实也不是辣么难，只要在then方法里面return一个promise就好啦。Promises/A+规范中的2.2.7就是这么说哒(微笑脸)~

下面来看看这段暗藏玄机的then方法和resolve方法改造代码：

1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50

function Promise(fn) { var state = 'pending', value = null, callbacks = [];   this.then = function (onFulfilled) { return new Promise(function (resolve) { handle({ onFulfilled: onFulfilled || null, resolve: resolve }); }); };   function handle(callback) { if (state === 'pending') { callbacks.push(callback); return; } //若是then中没有传递任何东西 if(!callback.onFulfilled) { callback.resolve(value); return; }   var ret = callback.onFulfilled(value); callback.resolve(ret); }     function resolve(newValue) { if (newValue && (typeof newValue === 'object' || typeof newValue === 'function')) { var then = newValue.then; if (typeof then === 'function') { then.call(newValue, resolve); return; } } state = 'fulfilled'; value = newValue; setTimeout( function () { callbacks.forEach( function (callback) { handle(callback); }); }, 0); }   fn(resolve); }

咱们结合例4的代码，分析下上面的代码逻辑，为了方便阅读，我把例4的代码贴在这里：

1 2 3 4 5 6 7 8 9 10 11 12 13 14

// 例4 getUserId() .then(getUserJobById) .then( function (job) { // 对job的处理 });   function getUserJobById(id) { return new Promise(function (resolve) { http.get(baseUrl + id, function(job) { resolve(job); }); }); }

 

1. then方法中，建立并返回了新的Promise实例，这是串行Promise的基础，而且支持链式调用。
2. handle方法是promise内部的方法。then方法传入的形参onFulfilled以及建立新Promise实例时传入的resolve均被push到当前promise的callbacks队列中，这是衔接当前promise和后邻promise的关键所在（这里必定要好好的分析下handle的做用）。
3. getUserId生成的promise（简称getUserId promise）异步操做成功，执行其内部方法resolve，传入的参数正是异步操做的结果id
4. 调用handle方法处理callbacks队列中的回调：getUserJobById方法，生成新的promise（getUserJobById promise）
5. 执行以前由getUserId promise的then方法生成的新promise(称为bridge promise)的resolve方法，传入参数为getUserJobById promise。这种状况下，会将该resolve方法传入getUserJobById promise的then方法中，并直接返回。
6. 在getUserJobById promise异步操做成功时，执行其callbacks中的回调：getUserId bridge promise中的resolve方法
7. 最后执行getUserId bridge promise的后邻promise的callbacks中的回调。

更直白的能够看下面的图，一图胜千言（都是根据本身的理解画出来的，若有不对欢迎指正）：

失败处理

在异步操做失败时，标记其状态为rejected，并执行注册的失败回调:

1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18

//例5 function getUserId() { return new Promise(function(resolve) { //异步请求 http.get(url, function(error, results) { if (error) { reject(error); } resolve(results.id) }) }) }   getUserId().then( function(id) { //一些处理 }, function(error) { console.log(error) })

有了以前处理fulfilled状态的经验，支持错误处理变得很容易,只须要在注册回调、处理状态变动上都要加入新的逻辑：

1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62

function Promise(fn) { var state = 'pending', value = null, callbacks = [];   this.then = function (onFulfilled, onRejected) { return new Promise(function (resolve, reject) { handle({ onFulfilled: onFulfilled || null, onRejected: onRejected || null, resolve: resolve, reject: reject }); }); };   function handle(callback) { if (state === 'pending') { callbacks.push(callback); return; }   var cb = state === 'fulfilled' ? callback.onFulfilled : callback.onRejected, ret; if (cb === null) { cb = state === 'fulfilled' ? callback.resolve : callback.reject; cb(value); return; } ret = cb(value); callback.resolve(ret); }   function resolve(newValue) { if (newValue && (typeof newValue === 'object' || typeof newValue === 'function')) { var then = newValue.then; if (typeof then === 'function') { then.call(newValue, resolve, reject); return; } } state = 'fulfilled'; value = newValue; execute(); }   function reject(reason) { state = 'rejected'; value = reason; execute(); }   function execute() { setTimeout( function () { callbacks.forEach( function (callback) { handle(callback); }); }, 0); }   fn(resolve, reject); }

上述代码增长了新的reject方法，供异步操做失败时调用，同时抽出了resolve和reject共用的部分，造成execute方法。

错误冒泡是上述代码已经支持，且很是实用的一个特性。在handle中发现没有指定异步操做失败的回调时，会直接将bridge promise(then函数返回的promise，后同)设为rejected状态，如此达成执行后续失败回调的效果。这有利于简化串行Promise的失败处理成本，由于一组异步操做每每会对应一个实际功能，失败处理方法一般是一致的：

1 2 3 4 5 6 7 8 9

//例6 getUserId() .then(getUserJobById) .then( function (job) { // 处理job }, function (error) { // getUserId或者getUerJobById时出现的错误 console.log(error); });

异常处理

细心的同窗会想到：若是在执行成功回调、失败回调时代码出错怎么办？对于这类异常，可使用try-catch捕获错误，并将bridge promise设为rejected状态。handle方法改造以下：

1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20

function handle(callback) { if (state === 'pending') { callbacks.push(callback); return; }   var cb = state === 'fulfilled' ? callback.onFulfilled : callback.onRejected, ret; if (cb === null) { cb = state === 'fulfilled' ? callback.resolve : callback.reject; cb(value); return; } try { ret = cb(value); callback.resolve(ret); } catch (e) { callback.reject(e); } }

若是在异步操做中，屡次执行resolve或者reject会重复处理后续回调，能够经过内置一个标志位解决。

总结

刚开始看promise源码的时候总不能很好的理解then和resolve函数的运行机理，可是若是你静下心来，反过来根据执行promise时的逻辑来推演，就不难理解了。这里必定要注意的点是：promise里面的then函数仅仅是注册了后续须要执行的代码，真正的执行是在resolve方法里面执行的，理清了这层，再来分析源码会省力的多。

如今回顾下Promise的实现过程，其主要使用了设计模式中的观察者模式：

1. 经过Promise.prototype.then和Promise.prototype.catch方法将观察者方法注册到被观察者Promise对象中，同时返回一个新的Promise对象，以即可以链式调用。
2. 被观察者管理内部pending、fulfilled和rejected的状态转变，同时经过构造函数中传递的resolve和reject方法以主动触发状态转变和通知观察者。