阅读Promise A+规范

本文主要是PromiseA+规范的翻译加上个人的理解。

1 什么是Promise

A promise represents the eventual result of an asynchronous operation

表示异步操作的最终结果。
可以先看看这个是时候使用promise了了解下背景。

2 术语

1. promise: 含有名为then方法的对象或者函数，并且该then方法的行为遵从promises A+标准
2. thenable: 含有名为then方法的对象或者函数
3. value: 合法的JavaScript 值（包含undefined）
4. exception: 通过throw语句抛出的值
5. reason: 表示promise被拒绝的说明值，本质上是个value.

promise对象一定是thenable对象，但是thenable对象不一定是promise对象。

3 要求

3.1 Promise对象状态

一个Promise有3种状态：pending, fulfilled, rejected。并且任意时刻都只能处于一种状态。

1. 处于pending的Promise
   1.1 可以转成fulfilled或者rejected状态。
2. 处于fulfilled的Promise
   2.1 不能转成其他状态
   2.2 必须具有一个value,并且该value是固定不变的
3. 处于rejected的Promise
   3.1 不能转成其他状态
   3.2 必须具有一个reason,并且该reason是固定不变的

fullfilled和rejected状态是promise的终态，处于终态的promise必须具有一个值，这就是promise的定义：表示一个异步操作的最终结果。

3.2 then方法

promise对象必须提供then方法用来访问处于终态（fullfilled或者rejected）的promise所表示的值。then方法接收两个参数：

promise.then(onFulfilled, onRejected)

1. onFulfilled和onRejected参数都是可选的，如果他们是非函数，则忽略参数
2. 如果onFulfilled是个函数
   2.1 Promise处于并且只有处于fulfilled状态时，就调用该函数，并且Promise的value作为该函数的第一个参数
   2.2 该函数最多只能被调用一次
3. 如果onRejected是个函数
   3.1 promise处于并且只有处于rejected状态时，就调用该函数，并且Promise的reason作为该函数的第一个参数
   3.2 该函数最多只能被调用一次

promise的最终结果只能是一个值，所以回调函数onFullFilled, onRejected也只有一个形参。但是规范并没有这样限定，“as its first argument.”只要求作为第一个参数

1. onFulfilled or onRejected 必须通过异步的方式调用
2. onFulfilled和onRejected函数必须作为函数调用，即没有绑定this参数。
3. 同一个的promise的then方法可以多次被调用。
   6.1 多个注入的onFulfilled和onRejected回调函数的调用顺序取决于调用then方法的顺序。
4. then方法必须返回一个promise

promise2 = promise1.then(onFulfilled, onRejected);

7.1 如果onFulfilled或者onRejected返回一个值x, 执行Promise解决流程 [[Resolve]](promise2, x)
7.2 如果onFulfilled或者onRejected抛出一个异常e, promise2必须被拒绝，并且把e作为其reason。
7.3 如果onFulfilled不是一个函数并且Promise1已经处以fulfilled，则Promise2也必须转成fulfilled，并且把promise1的Value作为其Value
7.4 如果onRejected不是一个函数并且Promise1已经处以rejected，则Promise2也必须转成rejected，并且把promise1的reason作为其reason

1. promise2的终态跟promise1没有直接关系的，只跟onReject,onFullFilled回调函数有关
2. then方法构建了Promise对象链，重点也是难点就是Promise链中相邻节点的前后影响

3.3 Promise 解决流程（Promise Resolution Procedure

Promise解决过程是一个抽象的操作，输入参数是一个promise和一个value。可以表示为：[[Resolve]](promise, x)，如果x是个thenable(包含promise对象), 则尝试让promise采用x的状态，否则把promise转成fulfilled并且把x作物其Value。
这种方式处理是为了thenables和promise可以互操作（注意thenable和Promise的区别）。thenable的then方法规则不一定符合Promise A+规范，这样我们可以自定义了then方法的行为了。

Promose解决流程规范主要定义Promise对象链中两个相邻的promise对象间的关系（由then方法构建的promise链），可以表示为promise2 = promise1.then(onFulfilled, onRejected);。但需要注意的是后面的promise2对象终态跟前面一个promise1没有直接关系的，只跟onReject,onFullFilled回调函数有直接关系：

1. 是否是函数
2. 执行是否抛异常
3. 函数返回值

只有当promise1处于fullfilled且onFulfilled不是函数或者promise1处于rejected且onRejected不是函数时promise2的状态才取决于promise1的状态。

3.4 [[Resolve]](promise, x)的具体处理步骤

1. 如果promise 和x相等，则拒绝promise，并且制定TypeError作为promie的reason。

promise对象不能处理自己的状态。

1. 如果x是个Promise，则采用其状态(即promise的状态要跟x一致)：
   2.1 如果x处于pending，则promise也要处于pending，直到x转成fulfilled或者rejected.
   2.2 如果x处于fulfilled, 则promise转成fulfilled, 并且把x的Value作为promise的value.
   2.3 如果x处于rejected, 则promise转成rejected, 并且把x的reason作为promise的reason.

2. 覆盖x是个对象或者函数：
   3.1 var then = x.then
   3.2 如果访问x.then导致了异常e，则把promise转成rejected,并且reasion是e.
   3.3 如果then是个函数，则执行then.call(x, resolvePromise, rejectedPromise)

   3.3.1 如果调用resolvePromise(y), 则执行[[Resolve]](promise, y)
   3.3.2 如果调用rejectedPromise(r), 把promise转成rejected, 并且reason是r
   3.3.3 如果rejectedPromise, resolvePromise同时或者多次调用，则只有第一个调用有效，其他调用被忽略
   3.3.4 如果调用then中发生异常e
   1) 如果已经调用了resolvePromise或者rejectedPromise，则忽略该异常
   2）其他则把promise转成rejected, 并且其reason是e

   3.4 如果then不是一个函数（即不是一个thenable）,则把promise转成fulfilled,并且value是x(不是then)

3. 其他,则把promise转成fulfilled,并且value是x

注意：

1. Promise解决过程中对thenable对象和promise对象的处理方式不同的，thenable对象是递归方式处理的（当心死循环）。
2. 是不是觉得很少使用thenable对象then方法处理方式？！其实我们一直在使用，ES6中Promise函数的回调函数参数的处理方式就是遵照3.3规则。

参考

• Promises/A+
• lie promise源码阅读
• A small, performant promise library implementation
• ES6 Promise