理解Underscore中的_.bind函数

最近一直忙于实习以及毕业设计的事情，因此上周阅读源码以后本周就一直没有进展。今天在写完开题报告以后又抽空看了一眼Underscore源码，发现上次没有看明白的一个函数突然就豁然开朗了，因而赶忙写下了这篇笔记。javascript

关于如何绑定函数this指向，一直是JavaScript中的高频话题，面试时考官也喜欢问如何绑定函数this的指向，以及如何试现一个bind函数，今天咱们就从Underscore源码来学习如何实现一个bind函数。html

预备知识

在学习源码以前，咱们最好先了解一下函数中this的指向，我在这个系列以前有写过一篇文章，比较完善的总结了一下JavaScript函数中this的指向问题，详情参见：博客园。java

另外，在学习_.bind函数以前，咱们须要先了解一下Underscore中的重要工具函数——restArgs。就在个人上一篇文章中就有介绍到：理解Underscore中的restArgs函数。git

工具函数——executeBound

在学习_.bind函数以前，咱们先来看一下Underscore中的另外一个工具函数——executeBound。由于这是一个重要的工具函数，涉及到bind的实现。github

executeBound源码（附注释）：面试

// Determines whether to execute a function as a constructor
// or a normal function with the provided arguments.
//执行绑定函数，决定是否把一个函数做为构造函数或者普通函数调用。
var executeBound = function (sourceFunc, boundFunc, context, callingContext, args) {
	//若是callingContext不是boundFunc的一个实例，则把sourceFunc做为普通函数调用。
	if (!(callingContext instanceof boundFunc)) return sourceFunc.apply(context, args);
	//不然把sourceFunc做为构造函数调用。
        //baseCreate函数用于构造一个对象，继承指定的原型。
        //此处self就是继承了sourceFunc.prototype原型的一个空白对象。
	var self = baseCreate(sourceFunc.prototype);
	var result = sourceFunc.apply(self, args);
        //这里之因此要判断一下是由于若是构造函数有返回值而且返回值是一个对象，那么新构造的对象就会是返回值，而非this所指向的值。
	if (_.isObject(result)) return result;
        //只有在构造函数没有返回值或者返回值时非对象时，才返回this所指向的值。
	return self;
};

首先咱们先看为何在executeBound函数结尾须要判断一下result，缘由已经写明在注释里，请你们必定仔细注意！举一个帮助理解的例子：浏览器

var A = function() {
    this.name = 'A';
    return {};
}
var B = function() {
    this.name = 'B';
}
var C = function() {
    this.name = 'C';
    return 'C';
}
var a = new A();
var b = new B();
var c = new C();

在浏览器中输出a、b、c，看看你会发现什么？而后再来仔细思考代码中注释的部分吧。闭包

其次回到咱们这篇文章的重点，这个函数的功能很是好理解，就是根据实际状况来决定是否把一个函数（sourceFunc）当作构造函数或者普通函数来调用。这个根据的条件就是看callingContext参数是不是boundFunc函数的一个实例。若是callingContext是boundFunc的一个实例，那么就把sourceFunc当作一个构造函数来调用，不然就当作一个普通函数来调用，使用Function.prototype.apply来改变sourceFunc中this的指向。app

单独开这个函数可能会使咱们变得疑惑，为何要这么作呢？这个callingContext跟boundFunc是什么关系？为何要根据这两个参数的关系来决定是否以构造函数的形式调用sourceFunc。ide

接下来咱们根据实际情景来解析这段源码。

在Underscore源码中，使用ctrl + F键查找executeBound字段，共有三处结果。其中一处是上方源码所示的executeBound函数声明。另外两处是调用，其形式都以下所示：

var bound = restArgs(function (callArgs) {
		return executeBound(func, bound, context, this, args.concat(callArgs));
	});

能够注意到实际调用时，第四个参数（callingContext）都是this，表明当前bound函数执行做用域，而第二个参数是bound自身，这样的写法着实奇怪。

其实考虑到咱们的目的也就不难理解为何这么写了，由于当咱们把bound函数当作构造函数调用时，构造函数（此时也就是bound函数）内部的this会指向新构造的对象，而这个由bound函数新构造的对象天然就是bound函数的一个实例了，此时就会把sourceFunc当作构造函数调用。

接下来咱们再看_.bind函数，一块儿深刻理解该函数的同时，顺便理解一下executeBound函数中为何要根据callingContext和boundFunc的关系来肯定sourceFunc的调用方式。

理解_.bind函数

咱们先看_.bind函数的源码（附注释）：

// Create a function bound to a given object (assigning `this`, and arguments,
// optionally). Delegates to **ECMAScript 5**'s native `Function.bind` if
// available.
//将指定函数中的this绑定到指定上下文中，并传递一些参数做为默认参数。
//其中args是默认参数，之后调用新的func时无需再次传递这些参数。
_.bind = restArgs(function (func, context, args) {
	if (!_.isFunction(func)) throw new TypeError('Bind must be called on a function');
	var bound = restArgs(function (callArgs) {
		return executeBound(func, bound, context, this, args.concat(callArgs));
	});
	return bound;
});

咱们看到在_.bind函数的内部定义了一个bound函数，而后返回了这个函数，即为闭包。闭包的好处即在于内部的函数是私有函数，能够访问外部函数做用域，在内部函数调用以前，整个外部函数的做用域都是存在且对于内部函数而言是可访问的。在restArgs函数的参数（即匿名函数）中并无处理如何调用func，由于咱们要根据状况来决定。当咱们使用_.bind函数绑定一个函数的this时，会返回bound函数做为新的func函数，而bound函数会根据其调用的方式，来决定如何调用func，而此处的闭包可以保证在bound执行以前，func是一直存在的。当咱们使用new来操做bound函数构造新的对象时，bound内的this指向新构造的对象（即为bound的新实例），executeBound函数内部就会把func当作构造函数来调用；若是以普通函数形式调用bound，那么内部的this会指向外部调用bound函数时的做用域，天然就不是bound的一个实例了，这就是为何会给executeBound第四个参数传递this的缘由。

口说无凭，咱们本身写个代码探究一下闭包内部函数中this的指向问题：

var test = function() {
    var bound = function() {
        this.name = 'bound';
        console.log(this);
    }
    return bound;
}
var Bound = test();
var b = new Bound();
var b = Bound();

//bound { name: 'bound' }
//window

你们能够将上面这段代码拷贝到浏览器控制台试一试，看看结果是否是跟上面的注释同样。

实现一个本身的bind函数

经过上面的学习，咱们知道了原来bind函数还要考虑到特殊状况——被绑定过this的函数做为构造函数调用时的状况。接下来咱们手动实现一个简单的bind函数：

var _bind = function(func, context) {
    var bound = function() {
        if(this instanceof bound) {
            var obj = new Object();
            obj.prototype = func.prototype;
            obj.prototype.constructor = func;
            var res = func.call(obj);
            if(typeof res == 'function' || typeof res == 'object' && !!res)
                return res;
            else
                return obj
        }
        else {
            return func.call(context);
        }
    };
    return bound; 
}

在阅读这篇文章以前，你会如何实现一个bind函数呢？

更多Underscore源码解读：GitHub