1625行，解开 underscore.js 的面纱 - 第二章

  var restArgs = function(func) {
    startIndex = func.length - 1;
    return function() {
      var rest = Array(1);
      rest[0] = arguments[startIndex];
      var args = Array(arguments.length);
      for (index = 0; index < startIndex; index++) {
        args[index] = arguments[index];
      }
      args[startIndex] = rest;
      return func.apply(this, args);
    };
  };

等同于：

  var restArgs = function(func) {
    return function() {
      return func.apply(this, arguments);
    };
  };

作者将5行代码扩展到21行，其实就是为了一个 startIndex 而已。

  var baseCreate = function(prototype) {
    if (!_.isObject(prototype)) return {};
    if (nativeCreate) return nativeCreate(prototype);
    Ctor.prototype = prototype;
    var result = new Ctor;
    Ctor.prototype = null;
    return result;
  };

baseCreate 用于创建一个干净且只存在具有想要其具有 prototype 的函数，第一个判断是否具有 prototype 参数，第二个判断运用 Object.create 创建，余下则是自己运用 Ctor 这个空函数创建，没什么可细说的。

  var property = function(key) {
    return function(obj) {
      return obj == null ? void 0 : obj[key];
    };
  };

property 用于获取 obj 的 key 值，通过 property（） 设置 key ，重点是设置两个字，有 key 则以没有则创建之。

  var MAX_ARRAY_INDEX = Math.pow(2, 53) - 1;

设置 一个最大值 MAX_ARRAY_INDEX，Math.pow(2, 53) - 1 意为2的53次幂等于9007199254740991，Math 的相关函数参考 Math，其实我一直觉得 MAX_ARRAY_INDEX 并不用设置这么大的值，Math.pow(2, 16) 就足以。

  var getLength = property("length");

设置 obj 的 key 值并生成函数，等同于：

  var getLength = function(obj) {
         return obj == null ? void 0 : obj["length"];
    };

  var isArrayLike = function(collection) {
    var length = getLength(collection);
    return typeof length == "number" && length >= 0 && length <= MAX_ARRAY_INDEX;
  };

isArrayLike，使 Obj 具有 length 属性且有值则返回 true，否则返回 false，这是一个判断函数。

  _.each = _.forEach = function(obj, iteratee, context) {
    iteratee = optimizeCb(iteratee, context);
    var i, length;
    if (isArrayLike(obj)) {
      for (i = 0, length = obj.length; i < length; i++) {
        iteratee(obj[i], i, obj);
      }
    } else {
      var keys = _.keys(obj);
      for (i = 0, length = keys.length; i < length; i++) {
        iteratee(obj[keys[i]], keys[i], obj);
      }
    }
    return obj;
  };

我一直以为 JAVASCRIPT 最精华的就是回调的执行方式，虽然互联网上一些文章总在说回调毁了一切，人云亦云等等，但是回调支撑起了所有的框架，而且回调很优雅用的好可以很舒服，回调不是毁了一切只是因为某些人不恰当的设置回调毁了他自己的代码。在 _.forEach 中 iteratee 即回调函数，其中运用了 optimizeCb 优化回调，然后是一个常规判断，这里为什么用 isArrayLike(obj) 而不是 isArray(obj) 来判断是不是数组呢，留下一个思考问题。

  _.map = _.collect = function(obj, iteratee, context) {
    iteratee = cb(iteratee, context);
    var keys = !isArrayLike(obj) && _.keys(obj),
        length = (keys || obj).length,
        results = Array(length);
    for (var index = 0; index < length; index++) {
      var currentKey = keys ? keys[index] : index;
      results[index] = iteratee(obj[currentKey], currentKey, obj);
    }
    return results;
  };

封装 map 函数，没什么好说的，参考 Map、Map.prototype、WeakMap 用于知识储备，至于作者的 _.map 更多的是根据一定的条件遍历 obj 中的元素，与 _.forEach 的更大区别是 _.forEach 不会对传入的 obj 做改动直接 return obj，而 _.map 会 return results，return results 是每个 iteratee 回调的集合。

  var createReduce = function(dir) {
    var reducer = function(obj, iteratee, memo, initial) {
      var keys = !isArrayLike(obj) && _.keys(obj),
          length = (keys || obj).length,
          index = dir > 0 ? 0 : length - 1;
      if (!initial) {
        memo = obj[keys ? keys[index] : index];
        index += dir;
      }
      for (; index >= 0 && index < length; index += dir) {
        var currentKey = keys ? keys[index] : index;
        memo = iteratee(memo, obj[currentKey], currentKey, obj);
      }
      return memo;
    };
    return function(obj, iteratee, memo, context) {
      var initial = arguments.length >= 3;
      return reducer(obj, optimizeCb(iteratee, context, 4), memo, initial);
    };
  };

createReduce，创建 reduce。关于 reduce 的介绍可见 reduce 方法 (Array) (JavaScript)：https://msdn.microsoft.com/library/ff679975(v=vs.94).aspx 和 array-reduce，作者这里的 reduce 肯定不是这样，但既然命名为 createReduce，想来也脱不了太多关系。函数中 reducer 首先定义 keys，其值为 obj 的 key 集合或者 false，后面几个语句里都有对于 keys 的三元运算，目的就是排除 obj 不为 Object 的可能性。接下来判断传入 initial，如果传入 initial 为 false 则默认 memo 值为 keys[keys.length-1] || 0，之后是 for 循环遍历回调，并返回最后一个回调值。跳出 reducer 函数 return function 的恰恰是引用 reducer 函数的外部接口，于是所有一切都连贯上了，包括 initial 的定义是 arguments 长度大于等于3等等。
我们再重新过一遍代码，在最外部 return 的时候判断 initial，实际上就是再确定是否传入了 memo 和 context，当然最主要的就是 memo，以此来确定在内部 reducer 的时候是否具有初始值。在这里我觉得作者应该对 memo 进行类型判断的，如果是 Number 或者 String 还说的过去，但是如果传入 memo 是 Object 就有点说不过去了，会出错的。比如：

    _.reduce([1, 2, 3], function(memo, num){ return memo + num; });
    6
    _.reduce([1, 2, 3], function(memo, num){ return memo + num; }, 1);
    7
    _.reduce([1, 2, 3], function(memo, num){ return memo + num; }, "1");
    "1123"
    _.reduce([1, 2, 3], function(memo, num){ return memo + num; }, []);
    "123"
    _.reduce([1, 2, 3], function(memo, num){ return memo + num; }, [1,2]);
    "1,2123"
    _.reduce([1, 2, 3], function(memo, num){ return memo + num; }, {a:1});
    "[object Object]123"

  _.reduce = _.foldl = _.inject = createReduce(1);

这里就是用 createReduce 包装好的 _.reduce，不解释。

  _.reduceRight = _.foldr = createReduce(-1);

这里就是用 createReduce 包装好的 _.reduceRight，与 _.reduce 计算顺序相反即从右面向左面开始。