underscore 源码解读之 bind 方法的实现

521 查看

自从进入七月以来，我的 underscore 源码解读系列更新缓慢，再这样下去，今年更完的目标似乎要落空，赶紧写一篇压压惊。

前文跟大家简单介绍了下 ES5 中的 bind 方法以及使用场景（没读过的同学建议先看看），毕竟 bind 是 ES5 的东西，低版本 IE 不支持。今天就根据 underscore 的实现，来聊一聊如何实现一个 bind 的 polyfill。

之前在 ECMAScript 5(ES5) 中 bind 方法简介备忘一文中，给出了一个 “穷人版” 的 polyfill，如下。

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 源码中重点看这几行：

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 源码。

// 非 new 调用 _.bind 返回的方法（即 bound）

// callingContext 不是 boundFunc 的一个实例

if (!(callingContext instanceof boundFunc))

return sourceFunc.apply(context, args);

如果进行 new 运算操作呢？这里我们还要复习一下 new 运算，有兴趣的可以看下我以前的文章一道有意思的笔试题引发的对于 new 操作符的思考。概括地讲，如果构造函数有返回值，且返回值是对象（不能是 null），那么对其进行 new 操作返回该对象，否则返回构造实例。所以在方法 executeBound 中，我们需要进一步判断这个构造函数有没有返回值，返回值是不是对象。

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 这部分，接下去的打算是去抖一篇，节流一篇，然后其他零碎的方法概要一篇，希望能在十月中旬左右结束掉吧。