异步链式编程—promise沉思录

一、promise的组成

1、task：promise要完成的任务；

2、result：处理完的数据；

3、status：状态；

4、fulfill、reject（对应catch）

5、ResolveCallback ErrorCallback promise状态的解释函数

6、resolve：

对promise当前的状态作出解释，已完成的状态立即执行回掉，未完成的状态注册回掉函数；

7、then：前一promise的回掉注册，后一promise的前导；

二、promose状态机：

fulfill、reject：状态改变函数、输入；前导；可以由内部和外部函数执行；

表面接口是task；task内部可能经过多次传递；

ResolveCallback ErrorCallback ：状态改变后的输出函数；后续；

三、promise的生命周期（以异步为例）

1、promiseA创建、执行异步task功能；

2、调用then创建中继promise结点（promiseZ），同时将then输入的（promiseX）构造器和promiseZ的（fulfill）打包（promiseA.resolve()）传递给promiseA.resolveCallbacks[]；

3、promiseA task完成，执行promiseA.fulfill，履行promiseA承若；

4、promiseA.fulfill 调用后继函数向外传递状态；

5、resolveCallback执行，首先生成promiseX，然后将promiseZ的fulfill注册为promiseX的后继功能；

6、promiseX task完成，执行promiseX 的 fulfill，resolveCallback调用promiseZ的fulfill；

7、promiseZ的状态完成、履行承诺；调用后继的promise模块；

四、函数式编程的环境变量—模拟递归函数调用站

promise异步调用链的构建过程相当于递归调用的构建过程；

promise链的执行过程相当于递归调用的反向执行过程；

理清构造和执行的关键在于搞清楚每一个函数或block的环境变量；

尤其是block，它的环境变量可能横跨几个promise模块；

block的环境变量：

1、self函数代表的promise；

2、函数参量的输入；

3、block生成的环境变量

@discardableResult func then(_ next: @escaping ((T) -> Promise) ) -> Promise {

return Promise { fulfill, reject in

self.catch { (err) in

reject(err)

}.resolve { result in

next(result).catch { (err) in

reject(err)

}.then { (finalResult) in

fulfill(finalResult)

}

普通函数调用通过全局函数和函数调用栈保存环境变量；

block通过block对象保存环境变量；

四、异步编程模型

？

五、promoie （task）的功能

promiseA：起始的异步功能函数，异步完成后履行promise，调用后继功能；

promiseX：履行then输入的功能，作为promiseA的后继和promiseZ的前导；

由promise构造器（monand的flatmap中的transform）生成；

promiseZ: 负责将promiseX构造器和自身的fulfill打包，通过promiseA的resolve传递给promiseA；同时中继后面的promise；

promiseZ作为promise.then的环境变量；

六、promise构造函数、then、回掉函数管道化

@discardableResult func then(_ next: @escaping ((T) -> Promise) ) -> Promise {

return Promise { fulfill, reject in

self.catch { (err) in

reject(err)

}.resolve { result in

next(result).catch { (err) in

reject(err)

}.then { (finalResult) in

fulfill(finalResult)

}

七、promise、flatMap

trait Monad[M[_]] {

def unit[A](a: A): M[A]

def flatMap[A, B](fa: M[A])(f: A => M[B]): M[B]

将promise对象的构建看成一个过程，

只有transform: @escaping ((T) -> Promise)执行完成，promiseZ才算构造完成；