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

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

上一篇:ios – 使用UINib加载xib文件实现UITableViewCell


下一篇:java Date函数总结