本文基于underscore v1.8.3版本

源头

一直想学习一下类库的源码，jQuery刚刚看到选择器那块，直接被那一大块正则搞懵逼了。经过同事的推荐，选择了underscore来作为类库研究的起点。

闭包

所有函数都在一个闭包内，避免污染全局变量，这没什么特殊的，略过。。。

(function() { ...    
}());

全局对象的获取

先看下面一段代码：

var root = typeof self == 'object' && self.self === self && self ||
           typeof global == 'object' && global.global === global && global ||
           this;

self是什么鬼？global跟this都能够猜出来是全局变量，这个self从哪里冒出来的？

第一眼看到这样的代码很困惑，感觉压根没有头绪。但是如果你打开chrome的控制台，神奇的事情发生了

其实查看源码的注释，我们也能看出来这段代码的作用：在不一样的环境里面获取当前全局对象this

1. self | window：浏览器

2. global：服务端

3. this：某些虚拟机

为了压缩所做的原型赋值

源码中有将对象的原型链赋值给一个变量的做法：

var ArrayProto = Array.prototype, ObjProto = Object.prototype;
var SymbolProto = typeof Symbol !== 'undefined' ? Symbol.prototype : null;

一开始我并没明白这么做的优势，代码不都一样吗？

参考注释并且上网查资料才知道原因：为了压缩

举个例子，Array.prototype是没有办法经过压缩的，Array,prototype这些，如果改了，浏览器就无法识别这些字段了。

但经过类似上面代码的处理，ObjProto经过压缩就能变成变量a，那么原来的代码就会变成a.xxx。

我们平常写的代码也可以进行类似上面的处理，只要代码的复用超过两次，就可以考虑将其赋值给一个变量了。

this值统一处理

this在类库中的应用很广泛，undersocre采用了一个内部函数来处理this：

  var optimizeCb = function(func, context, argCount) {
    if (context === void 0) return func;
    switch (argCount == null ? 3 : argCount) {
      case 1: return function(value) {
        return func.call(context, value);
      };
      // The 2-parameter case has been omitted only because no current consumers
      // made use of it.
      case 3: return function(value, index, collection) {
        return func.call(context, value, index, collection);
      };
      case 4: return function(accumulator, value, index, collection) {
        return func.call(context, accumulator, value, index, collection);
      };
    }
    return function() {
      return func.apply(context, arguments);
    };
  };

注意到上面的case语句没有2的情况，看其注释基本就能明白，这是因为没有使用到2的情况。

上面函数的最后一个参数argCount是用来指定参数个数：

1. 接受单值的情况

2. 已取消

3. 迭代器函数

4. reduce函数

callback的统一处理

var cb = function(value, context, argCount) {
    if (_.iteratee !== builtinIteratee) return _.iteratee(value, context);
    if (value == null) return _.identity;
    if (_.isFunction(value)) return optimizeCb(value, context, argCount);
    if (_.isObject(value)) return _.matcher(value);
    return _.property(value);
  };

cb就是callback的简写，看函数的注释的意思是：内部函数，用来生成可应用于集合内每个元素的回调函数，返回预期的结果，具体应用向下看。

iteratee什么鬼?

_.iteratee = builtinIteratee = function(value, context) {
    return cb(value, context, Infinity);
  };

结合上面的cb函数，貌似可以看到每次调用cb函数时都会判断一次_.iteratee是否等于builtinIteratee。

如果不等于则调用_.iteratee函数，让_.iteratee = builtinIteratee，再继续执行cb函数。

结合注释，猜测这个函数的作用应该是防止用户自己定义iteratee函数。

restArgs又一个基础函数

var restArgs = function(func, startIndex) {
    startIndex = startIndex == null ? func.length - 1 : +startIndex;
    return function() {
      var length = Math.max(arguments.length - startIndex, 0),
          rest = Array(length),
          index = 0;
      for (; index < length; index++) {
        rest[index] = arguments[index + startIndex];
      }
      switch (startIndex) {
        case 0: return func.call(this, rest);
        case 1: return func.call(this, arguments[0], rest);
        case 2: return func.call(this, arguments[0], arguments[1], rest);
      }
      var args = Array(startIndex + 1);
      for (index = 0; index < startIndex; index++) {
        args[index] = arguments[index];
      }
      args[startIndex] = rest;
      return func.apply(this, args);
    };
  };

这个函数作用就类似ES6里面的rest params，这个函数主要是在官网分类里面的collections用到，例如：invoke。

主要原理是利用回调函数来处理调用方法传入的参数。

创建继承函数

  var baseCreate = function(prototype) {
    if (!_.isObject(prototype)) return {};
    if (nativeCreate) return nativeCreate(prototype);
    Ctor.prototype = prototype;
    var result = new Ctor;
    // 创建 result 之后清空 Ctor 的原型链，防止 全局变量 Ctor 的原型链污染
    Ctor.prototype = null;
    return result;
  };

主要原理就是利用 Ctor 做一个中介，创建继承函数并返回后再清空Ctor的原型链，防止原型链污染

取对象的属性值

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

这个方法浅显易懂，如果传入的object为null，则返回 undefined，否则返回属性值。

其它的全局变量

var MAX_ARRAY_INDEX = Math.pow(2, 53) - 1;
var getLength = property('length');
var isArrayLike = function(collection) {
  var length = getLength(collection);
  return typeof length == 'number' && length >= 0 && length <= MAX_ARRAY_INDEX;
  };

主要是帮助collection的方法来判定某个变量是否为collection。

后记

看完这一段，感觉依旧有许多疑问。主要是因为这些全局定义的变量的使用场景没有深究，更直白一些，就是没有按照代码的线索专研下去。希望在接下来的主要API的分析中能够在好好回顾上面的那些函数以及变量