首页 > 代码库 > 问答形式阅读jQuery源码(三)
问答形式阅读jQuery源码(三)
通过艾伦的博客,我们能看出,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(){ console.log(1); } setTimeout(function(){ console.log(0); },0); test(); //注意test执行的时候不能给await修饰,否则log(2)一定在test之后执行
console.log(2);
结果是“120”。
我们再将异步函数转为promise。
setTimeout(function(){
console.log(0);
},0);
new Promise(function(resolve){
console.log(1)
resolve();
})
console.log(2);
上述代码应该和异步函数结果相同,结果也确实相同,结果是“120”。
从这些例子我们可以看出,使用promise封装的函数(异步函数),如果其内容不是异步的,promise执行的行为也与非异步函数的执行结果是相同。这说明异步函数也好,promise也好,仅是改变了回调方式,并不改变执行顺序。如果使用异步函数去封装非异步函数,回调的方法会发生变化,但是回调部分并不会“异步执行”。
因此jQuery.Deferred封装的函数,也应该有这样的行为。
setTimeout(function(){ console.log(0); },0); $.Deferred().resolve().then(function(){ console.log(1); }); console.log(2);
如上的结果也是“120”。
我们也可以看看jQuery.Callbacks源码,里面是不含有setTimeout,或者其他可以返回异步回调的。因此异步函数也好,promise也好,jQuery.Deferred也好,他们改变的都只是回调的方式。不过这是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相互调用。
问答形式阅读jQuery源码(三)