理解Underscore中的restArgs函数

虽然Underscore并无在API手册中说起到restArgs函数，咱们仍然能够经过_.restArgs接口使用restArgs函数。若是不去阅读源码，咱们很难发现Underscore中还有这样的一个函数，对于这样的一个“没有存在感”的函数，咱们为何要使用并学习它呢？

这个函数虽然比较“低调”，可是它在Underscore中的存在感却一点也不低。在Underscore源码中，restArgs函数做为工具函数，参与多个公开API的实现，可谓劳苦功高。从其屡次参与实现公开API能够看出，这是一个十分重要的函数，为了方便讲解后面的公开API，这里专门写一篇文章介绍restArgs工具函数。

为何咱们须要restArgs？

在现实中，咱们可能有碰到过一些特殊状况，好比咱们所写的函数不肯定有多少个要传递的参数，这样在函数内部实现参数处理时就会比较棘手。

好比如今咱们须要构建一个函数，这个函数接受至少两个参数，第一个是一个数组对象，第二个以后是一些值，咱们的函数就须要把这些值添加到第一个参数的尾部。

代码实现：

function appendToArray(arr) {
    if(arguments.length < 2)
        throw new Error('funciton a require at least 2 parameters!');
    return arr.concat(Array.prototype.slice.call(arguments, 1));
}
复制代码

如今咱们须要实现另外一个函数，该函数也是把参数附加到数组中，不过实现了过滤器功能，好比只把大于1的参数附加到数组中。

代码实现：

function appendToArrayPlus(arr, filter) {
    if(arguments.length < 3)
        throw new Error('function a require at least 3 parameters!');
    var params = Array.prototype.slice.call(arguments, 2);
    for(var i = 0; i < params.length; i++) {
        if(filter(params[i])) {
            arr.push(params[i]);
        }
    }
    return arr;
}
复制代码

能够看出来，咱们在开发这两个函数时，作了重复的工做，那就是根据多余参数的开始序号来截断arguments对象。

这样的作法，在写一两个函数时没有什么问题，可是在开发框架时，须要写大量的参数个数不肯定的函数，这就会使得冗余代码大量增长，而且屡次直接操做arguments对象的作法并不十分优雅。

因此咱们须要一个restArgs这样的工具函数，给它传递一个函数以及一个多余参数开始索引（startIndex）做为参数，它会返回一个函数，咱们在调用返回的函数时，开始索引以后的多余参数会被放入到数组中，而后一并传递给restArgs的第一个参数函数调用（做为最后一个参数）。

有人会说，ES6中已经实现了rest params的功能，参考阮老师教程，可是咱们知道一个框架的开发，必须考虑到兼容问题，不少低端浏览器并未实现ES6语法。因此在Underscore中，暂时还未使用ES6语法。

Underscore的实现

Underscore实现的源码（附注释）：

// Similar to ES6's rest param (http://ariya.ofilabs.com/2013/03/es6-and-rest-parameter.html)
// This accumulates the arguments passed into an array, after a given index.

//restArgs用于把func的位于startIndex以后的参数归类为一个数组，
//而后返回一个函数把这个数组结合startIndex以前的参数传递给func调用。
var restArgs = function (func, startIndex) {
	//function.length表示function定义时，形式参数的个数。
	//注意此处是func.length，即传入的方法参数的形参个数而不是当前函数的参数个数，须要结合具体传入的参数来看。
	//当startIndex参数未传递时，默认func函数的最后一个参数开始为多余参数，会被整合到数组中。
	startIndex = startIndex == null ? func.length - 1 : +startIndex;
	return function () {
		//length表示构造的多余参数数组的长度，是实际的多余参数或者0。
		var length = Math.max(arguments.length - startIndex, 0),
			rest = Array(length),
			index = 0;
		//新建了一个rest数组，把位于startIndex索引以后的全部参数放入该数组。
		for (; index < length; index++) {
			rest[index] = arguments[index + startIndex];
		}
		//将多余参数放入rest数组以后，直接用Function.prototype.call执行函数。
		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);
		}
		//若是startIndex > 2，那么使用apply传递数组做为参数的方式执行func。
		//虽然调用方法发生了变化，可是仍是会把rest数组放在传入的参数数组的最后。
		//这样作其实与以前的方法无异（switch部分能够删除），可是call的效率高于apply。
		
		//args数组用于盛放startIndex以前的非多余参数。
		var args = Array(startIndex + 1);
		for (index = 0; index < startIndex; index++) {
			args[index] = arguments[index];
		}
		args[startIndex] = rest;
		return func.apply(this, args);
	};
};
复制代码

能够注意到两个重点：

• 1 startIndex默认为func函数的形参个数减1，那么表明的含义就是当咱们调用restArgs函数不传递第二个参数时，默认从最后一个形参开始即为多余参数。

  好比：

  _.invoke = restArgs(function (obj, path, args) {...});
    _.invoke(obj, path, 1, 2, 3);
  复制代码

  以上代码中，若是咱们给_.invoke传递这些参数，那么实际上执行的函数会是：

  function(obj, path, [1, 2, 3]) {
        // ...
    }
  复制代码

  这样咱们就能够在写函数_.invoke时，很方便的预处理args数组。

• 2 switch中的内容只是后面func.apply(this, args)的一个特例，不写switch也彻底能够实现功能，可是之因此要写这个switch，是由于Function.prototype.call的效率要高于Function.prototype.apply（具体请参考：Why is call so much faster than apply?）。

结语

学习完这个内部函数以后，再学习其余API源码时，就会好理解许多，咱们须要重点注意的一点就是当restArgs只接受一个函数做为参数时，表示默认从接受的最后一个参数开始（包括最后一个参数）即为多余参数。

其他Underscore源码解读文章：GitHub