jQuery2.x源码解析(回调篇)

jQuery2.x源码解析(构建篇)

jQuery2.x源码解析(设计篇)

jQuery2.x源码解析(回调篇)

jQuery2.x源码解析(缓存篇)

通过艾伦的博客，我们能看出，jQuery的promise和其他回调都是通过jQuery.Callbacks实现的。所以我们一起简单看看jQuery.Deferred和jQuery.Callbacks。来看看关于他们的一些提问。

---

提问：jQuery.Callbacks的配置为什么是用字符串参数？

jQuery.Callbacks有四种配置，分别是once、memory、unique、stopOnFalse。而jQuery.Callbacks的配置形式却和以往我们熟悉的不同，不是使用json，而是使用字符串的形式配置的，这是为什么呢？

答：jQuery.Callbacks的配置形式，确实很怪异，jQuery.Callbacks使用了一个createOptions函数将字符串转为了json。

var rnotwhite = ( /\S+/g );
function createOptions( options ) {
    var object = {};
    jQuery.each( options.match( rnotwhite ) || [], function( _, flag ) {
        object[ flag ] = true;
    });
    return object;
}

如"once memory unique"字符串，最终会转为{"once":true,"memory":true,"unique":true}。但是笔者想问为什么不直接使用json呢？

像这种使用字符串配置的形式，JavaScript中也是有的，js中的正则表达式就是这种配置形式。

如：

var patt = new RegExp("e","gim");

这里的“gim”就是配置项。但是这种配置方法很难让人理解，这样不符合jQuery追求的理念，所以笔者认为jQuery.Callbacks使用字符串配置代替数组配置是jQuery里面的一个败笔。

---

提问：jQuery.Deferred封装的函数一定是异步的吗？

答：这是笔者以前一直疑惑的一个问题。我们先跳出jQuery，先使用标准的JavaScript，看看他的异步函数一定是异步的吗？

测试代码如下：

setTimeout(function(){
    console.log(0);
},0);
setTimeout(function(){
    console.log(1);
},0);

console.log(2);

非常简单的一行代码，我们也很清楚输出结果是“201”。JavaScript是单线程执行的，所以异步函数的回调会在后边执行。同时异步的回调函数会被放入队列中，所以会按照进入队列的顺序执行下来。注意setTimeout的时间参数一定要给0，因为setTimeout的回调时间默认值不一定是0。

我们把中间的输出1的函数的setTimeout去除，让其不再异步。

setTimeout(function(){
    console.log(0);
},0);
console.log(1);
console.log(2);

结果变为了“120”。这个结果不需要作说明，仅是为了做对比而做的实验。

现在换位使用异步函数的语法，将输出1的部分用es7的异步函数包裹：

async function test(){
  await Date.now(); //注意test执行的时候如果不给await修饰，test虽然是一个异步函数，但是在异步部分是没有可执行代码的。console.log(1)会在同步部分执行
  console.log(1); 
} 

setTimeout(function(){
  console.log(0);
},0); 
test();

console.log(2);

结果是“210”。我们知道上面的Date.now并不是一个异步函数，但是console.log(1)还是在console.log(2)执行，说明await后面的代码是在异步回调中运行的。

我们再将异步函数转为promise。

setTimeout(function(){
　　console.log(0);
},0);
new Promise(function(resolve){
　　resolve();
}).then(()=>{

console.log(1)

})
console.log(2);

上述代码应该和异步函数结果相同，结果也确实相同，结果是“210”。

从这些例子我们可以看出，使用promise封装的函数（异步函数），其回调部肯定是异步回调。

现在我们用jQuery.Deferred封装的promise再将上面的实现进行一次。

setTimeout(function(){
　　console.log(0);
},0);
$.Deferred().resolve().then(function(){
    console.log(1);
});
console.log(2);

如上的结果是“120”。这说明jQuery的promise和标准的promise的表现形式是不一样的。jQuery.Deferred的回调，如果resolve不是在异步回到中执行的，那么then里面的回调也不会在异步回调中执行，这与标准的promise是不同的。

我们也可以看看jQuery.Callbacks源码，里面是不含有setTimeout，或者其他可以返回异步回调的。不过这是jQuery2.0的结果，jQuery3.0的结果是“201”，有兴趣的话大家可以自己尝试。

---

提问：jQuery.Callbacks的回调中的this指向什么？

答：简单的分析一下源码结构：

jQuery.Callbacks = function( options ) {

    var list = [];
    var fire = function() {
         list[ firingIndex ].apply( memory[ 0 ], memory[ 1 ] ) ;
    }

    return  {
        add: function() {
            ( function add( args ) {
                jQuery.each( args, function( _, arg ) {
                    list.push( arg );
                } );
            } )( arguments );

            return this;
        },

        fireWith: function( context, args ) {
            args = [ context, args.slice ? args.slice() : args ];
            queue.push( args );
            if ( !firing ) {
                fire();
            }

            return this;
        },

        fire: function() {
            self.fireWith( this, arguments );
            return this;
        },
    };
};

从这段代码可以清楚看到，通过add我们将函数保存在内部私有变量list里面，然后使用apply调用。对外暴露的函数有fireWith和fire。fireWith的context参数是最终传递给了apply，所以是我们回调中的this就是这个context。而fire函数里面调用了fireWith，传递的是自身this，所以回调的函数中的this是Callbacks对象。

---

提问：jQuery.Deferred的回调中的this指向什么？

答：标准的promise中的this，是指向全局作用域的，例如window。

var d = new Promise((r)=>{r()})
d.then(function(){console.log(this)})  //注意，此处不可以用()=>{console.log(this)}

输出的是window，证明列我们之前的说法。

我们再来看看jQuery.Deferred的示意源码：

jQuery.extend( {

    Deferred: function( func ) {
        var tuples = [
                [ "resolve", "done", jQuery.Callbacks( "once memory" ), "resolved" ],
                [ "reject", "fail", jQuery.Callbacks( "once memory" ), "rejected" ],
                [ "notify", "progress", jQuery.Callbacks( "memory" ) ]
            ],
            state = "pending",
            promise = {
                then: function( /* fnDone, fnFail, fnProgress */ ) {
                    var fns = arguments;
                    return jQuery.Deferred( function( newDefer ) {
                        jQuery.each( tuples, function( i, tuple ) {
                            var fn = jQuery.isFunction( fns[ i ] ) && fns[ i ];

                            // deferred[ done | fail | progress ] for forwarding actions to newDefer
                            deferred[ tuple[ 1 ] ]( function() {
                                var returned = fn && fn.apply( this, arguments );
                                if ( returned && jQuery.isFunction( returned.promise ) ) {
                                    returned.promise()
                                        .progress( newDefer.notify )
                                        .done( newDefer.resolve )
                                        .fail( newDefer.reject );
                                } else {
                                    newDefer[ tuple[ 0 ] + "With" ](
                                        this === promise ? newDefer.promise() : this,
                                        fn ? [ returned ] : arguments
                                    );
                                }
                            } );
                        } );
                        fns = null;
                    } ).promise();
                },

                promise: function( obj ) {
                    return obj != null ? jQuery.extend( obj, promise ) : promise;
                }
            },
            deferred = {};

        jQuery.each( tuples, function( i, tuple ) {
            var list = tuple[ 2 ],
                stateString = tuple[ 3 ];

            promise[ tuple[ 1 ] ] = list.add;

            if ( stateString ) {
                list.add( function() {

                    state = stateString;

                }, tuples[ i ^ 1 ][ 2 ].disable, tuples[ 2 ][ 2 ].lock );
            }

            deferred[ tuple[ 0 ] ] = function() {
                deferred[ tuple[ 0 ] + "With" ]( this === deferred ? promise : this, arguments );
                return this;
            };
            deferred[ tuple[ 0 ] + "With" ] = list.fireWith;
        } );

        promise.promise( deferred );

        if ( func ) {
            func.call( deferred, deferred );
        }

        return deferred;
    }
} );

代码中构建了两个对象——deferred和promise。deferred相当于对异步过程的封装，而promise是对promise模型的封装。代码的最后将promise织入到deferred中。

resolve、reject、notify是promise的三种设置状态的函数，实际上这三个函数的执行策略相似，所以jQuery采用策略模式，用一个二维数组tuples将这3种策略封装起来。

代码下半部分对tuples的遍历，我们可以看到，jQuery实现了promise的done、fail、progress这三个函数，这三个函数实现方式都是对jQuery.Callbacks.add的封装。对deferred扩展了六个函数——resolve、reject、notify和resolveWith、rejectWith、notifyWith，前三个函数是对后三个函数的封装，后三个函数都是对jQuery.Callbacks.fireWith封装的。前三个函数调用后三个函数的时候，context参数都是传递的promise（除非回调函数被用bind、reject、resolve改变了上下文）。所以当deferred执行resolve、reject、notify的时候，回调函数的this是promise对象；当this使用resolveWith、rejectWith、notifyWith，或者用bind、call、apply改变了resolve、reject、notify的执行上下文的时候，回调的this是指向给定的对象。

再看上边then方法的定义，同样是遍历tuples。tuples数组定义的done、fail、progress这三个函数名称，与then的三个参数一致（done、catch、notify），这三个参数都是回调函数。回调他们的方式是deferred的done、fail、progress三个函数，我们知道这三个函数是使用promise织入进来的，真正的方法是promise的resolve、reject、notify这三个函数，因此then中的回调的this也是指向的是promise或者之前被指定的上下文。

this指向promise其实并没有太多意义，而通过xxxWith函数或者用bind、call、apply改变了resolve、reject、notify的上下文的方式调用，才是jQuery的亮点。jQuery提供这样的api的目的是为了我们可以指定promise的this，这样貌似更灵活，更方便我们操作回调。

但是，回调中this的不同，是jQuery.Deferred和标准promise一个很大的区别，这是不标准的用法，这一点一定要切记。jQuery提供的api虽然很方便，但是这样改变列promise模型，是不推荐的用法，尤其是promise如今已经收纳到es6的语法中，es7的异步语法也是基于promise的，在不支持promise的浏览器上创建出标准的promise才是jQuery更该做的，因为只有这样才能实现promise语法的对接。

---

提问：为什么将promise织入到deferred中？

答：按照jQuery的思路，deferred相当于对异步过程的封装，是promise的创建者与指挥者，但是根据jQuery的思路，将二者统一能更好的简化异步对象的模型，如：

var d = $.Deferred();
d.resolve();
d.promise().then(()=>{
    ...
})

//等效于
var d = $.Deferred();
d.resolve()
.then(()=>{
    ...
})

下边的写法是不是更加简单紧凑呢？同时也符合jQuery的链式操作。简单来说，少了一个对象的概念，大家当然更容易理解。

事实上，promise还可以织入到其他对象中，如：

var d = $.Deferred();
d.resolve();
d.promise(myObj);
myObj.then(()=>{
   ...
})

通过这种方式，jQuery可以很灵活的把promise的操作嵌入到任何对象中，非常方便。

---

提问：jQuery.Deferred.promise()有没有实现promises/A+吗？

答：是的，这个无需看源码，仅看api也很清楚，jQuery.Deferred.promise()没有实现promises/A+。例如jQuery增加了done、fail、progress等函数，这三个函数都不是promises/A+模型标准的函数名，但是却近似实现了promises/A+的概念模型。同时，promises/A+里面有catch函数，但是jQuery却没有实现，主要原因是catch是早期的ie浏览器中的关键字，因此使用了fail代替。done、progress是jQuery根据自身需要进行的扩展。

jQuery.Deferred.promise和promises/A+还有一个重要区别，就是对异常的处理。实例代码如下：

d = new Promise((resolve)=>{resolve()})
d.then(()=>{throw "error"})
.catch((e)=>{alert(e)})

标准的promise弹出error字样的alert框。

再换位jQuery.Deferred.promise测试：

$.Deferred().resolve().then(()=>{throw "error"}).fail((e)=>{alert(e)})

结果直接报错，并没有弹出alret框。

源码中jQuery没有对回调的调用做异常处理，所以无法把回调的异常自动返回rejected的promise。这一点不同使得jQuery.Deferred的异常处理非常不灵活，需要手动进行。修改为：

$.Deferred()
.resolve()
.then(()=>{
    try{
        throw "error"
    }catch(e){
        return $.Deferred().reject(e);
    }
}).fail((e)=>{
    alert(e)
})        

这样才能弹出error字样的alert框。

---

提问：jQuery.Deferred.promise()能和浏览器的promise相互调用吗？

答：当然不能直接调用，需要做转换，转换代码这里就不演示了。不能直接调用的原因是jQuery.Deferred.promise没有实现promises/A+。但是这只是一部分原因，最大的原因还是历史问题，jQuery2.0的时候，浏览器的promise模型还没有建立，所以根本不可能去考虑与浏览器的promise相互调用的问题。

---

提问：如果想要jQuery.Deferred.promise()能和浏览器的promise直接调用，jQuery.Deferred.promise需要做哪些改善？

答：首先要对promises/A+做到完整实现，去掉jQuery个性化的东西，如xxxWith调用、Deferred代替promise、done等不规范的函数命名。因此，在jQuery3中jQuery.Deferred做了不可升级式的调整，新的jQuery.Deferred.promise提供了一套新的api，完全实现了promises/A+规范，并且可以调用浏览器的promise相互调用。