自从进入七月以来,我的 underscore 源码解读系列 更新缓慢,再这样下去,今年更完的目标似乎要落空,赶紧写一篇压压惊。
前文 跟大家简单介绍了下 ES5 中的 bind 方法以及使用场景(没读过的同学建议先看看),毕竟 bind 是 ES5 的东西,低版本 IE 不支持。今天就根据 underscore 的实现,来聊一聊如何实现一个 bind 的 polyfill。
之前在 ECMAScript 5(ES5) 中 bind 方法简介备忘 一文中,给出了一个 “穷人版” 的 polyfill,如下。
1 2 3 4 5 6 |
Function.prototype.bind = Function.prototype.bind || function(context) { var that = this; return function() { return that.apply(context, arguments); } } |
说实话,基本可以满足多数的场景需求了。bind 方法返回的还是一个方法(经典闭包),很巧妙地用 apply 改变(绑定)了 this 指向。但是毫无疑问这样简单的实现是有问题的。
首先,该方法只支持传入一个参数,为方法需要绑定的 this 指向,原生的 bind 方法可以传入多个参数,如果要问这些参数干嘛用,回头翻翻 前文。如何实现传参?非常简单,传入,然后提取,不就 ok 了?
underscore 源码中重点看这几行:
1 2 3 4 5 6 7 8 9 10 |
var args = slice.call(arguments, 2); var bound = function() { // args.concat(slice.call(arguments)) // 最终函数的实际调用参数由两部分组成 // 一部分是传入 _.bind 的参数 // 另一部分是传入 bound(_.bind 所返回方法)的参数 return executeBound(func, bound, context, this, args.concat(slice.call(arguments))); }; return bound; |
其实核心实现差不多,都是闭包返回函数。第一行将参数(args)提取保存(这些参数将会在方法中被优先调用),返回的是一个叫做 bound 的方法,bound 也能传参啊,用 args.concat(slice.call(arguments))
将两个参数合并当做原方法的参数,因为 args 会优先调用,所以合并结果 args 中元素在先。
接着来看 executeBound 函数,为何 “穷人版” 一行的代码,这里却要整个函数出来?原因是 “穷人版” 没有考虑 bind 返回函数被 new 操作的情况。如果不是被 new 操作,那就简单了,和 “穷人版” 是一样一样的,直接看 underscore 源码。
1 2 3 4 |
// 非 new 调用 _.bind 返回的方法(即 bound) // callingContext 不是 boundFunc 的一个实例 if (!(callingContext instanceof boundFunc)) return sourceFunc.apply(context, args); |
如果进行 new 运算操作呢?这里我们还要复习一下 new 运算,有兴趣的可以看下我以前的文章 一道有意思的笔试题引发的对于 new 操作符的思考。概括地讲,如果构造函数有返回值,且返回值是对象(不能是 null),那么对其进行 new 操作返回该对象,否则返回构造实例。所以在方法 executeBound 中,我们需要进一步判断这个构造函数有没有返回值,返回值是不是对象。
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 |
var executeBound = function(sourceFunc, boundFunc, context, callingContext, args) { // 非 new 调用 _.bind 返回的方法(即 bound) // callingContext 不是 boundFunc 的一个实例 if (!(callingContext instanceof boundFunc)) return sourceFunc.apply(context, args); // 如果是用 new 调用 _.bind 返回的方法 // self 为 sourceFunc 的实例,继承了它的原型链 // self 理论上是一个空对象(还没赋值),但是有原型链 var self = baseCreate(sourceFunc.prototype); // 用 new 生成一个构造函数的实例 // 正常情况下是没有返回值的,即 result 值为 undefined // 如果构造函数有返回值 // 如果返回值是对象(非 null),则 new 的结果返回这个对象 // 否则返回实例 // see http://www.cnblogs.com/zichi/p/4392944.html var result = sourceFunc.apply(self, args); // 如果构造函数返回了对象 // 则 new 的结果是这个对象 // 返回这个对象 if (_.isObject(result)) return result; // 否则返回 self // var result = sourceFunc.apply(self, args); // self 对象当做参数传入 // 会直接改变值 return self; }; |
关于这部分的源码,有兴趣的同学可以参考 https://github.com/hanzichi/underscore-analysis/blob/master/underscore-1.8.3.js/src/underscore-1.8.3.js#L698-L719。
关于 Function 这部分,接下去的打算是去抖一篇,节流一篇,然后其他零碎的方法概要一篇,希望能在十月中旬左右结束掉吧。