bind函数polyfill源码解析

分析MDN文档提供的bind函数polyfill实现细节

准备知识

使用new来调用函数会自动执行下面的操作：
1. 创建一个全新的对象
2. 这个新对象会被执行原型连接
3. 这个新对象会绑定到函数调用的this
4. 如果函数没有返回其他对象，那么new表达式中的函数调用会自动返回这个新对象

注意this绑定规则，new操作具有最高的优先级

《你不知道的JavaScript(上卷)》提供了一个例子，bar被硬绑定到obj上，但是new bar(3) 并没有像我们预计的那样把obj.a修改为3。相反，new修改了硬绑定调用bar()中的this。因为使用了new绑定，我们得到了一个名字为baz的新对象，并且baz.a的值为3。

function foo(something) {
    this.a = something
}
var obj = {}
var bar = foo.bind(obj)
bar(2)
console.log(obj.a)  //2
var baz = new bar(3)
console.log(obj.a)  //2
console.log(baz.a)  //3

instanceof运算符的第一个变量是一个对象，暂时称为A；第二个变量一般是一个函数，暂时称为B。

instanceof判断准则：沿着A的proto这条线来找，同时沿着B的prototype这条线来找，如果两条线能找到同一个引用，即同一个对象，那么就返回true。

源码分析

MDN上提供的polyfill如下，主要的疑惑点应该就是 this instanceof fNOP 作用是什么？

if (!Function.prototype.bind) {
  Function.prototype.bind = function(oThis) {
    if (typeof this !== 'function') {
      throw new TypeError('Function.prototype.bind - what is trying to be bound is not callable')
    }
    var aArgs   = Array.prototype.slice.call(arguments, 1),
        fToBind = this,
        fNOP    = function() {},
        fBound  = function() {
          return fToBind.apply(this instanceof fNOP // 这段代码会判断硬绑定函数是否是被new调用，如果是的话就会使用新创建的this替换硬绑定的this
                 ? this
                 : oThis,
                 aArgs.concat(Array.prototype.slice.call(arguments)))
        }
    // 维护原型关系
    if (this.prototype) {
        // Function.prototype doesn't have a prototype property
        fNOP.prototype = this.prototype; 
    }
    fBound.prototype = new fNOP()
    return fBound
  }
}

this instanceof fNOP 单独看是看不明白的，需要结合以下代码才能说明它的作用

if (this.prototype) {
    fNOP.prototype = this.prototype; 
}
fBound.prototype = new fNOP()

首先我们要清楚：bind(…)会返回一个硬编码的新函数，它会把参数设置为this的上下文并调用原始函数。

重点就是bind(…)返回的是一个函数！函数！函数！这意味着可以对bind(…)返回的函数进行new操作，那么问题就来了。

this绑定中new操作具有最高的优先级，如果执行new操作，bind(…)应该不起作用，this应该指向new出来的新对象。

清楚了以上内容，我们开始阅读代码。

if (typeof this !== 'function') {
      throw new TypeError('Function.prototype.bind - what is trying to be bound is not callable')
    }

bind(…)必须由函数调用，所以以上代码对this的类型进行检查，如果不是函数类型则抛出错误。

var aArgs   = Array.prototype.slice.call(arguments, 1)
var fToBind = this
var fBound  = function() {
              return fToBind.apply(this instanceof fNOP // 这段代码会判断硬绑定函数是否是被new调用，如果是的话就会使用新创建的this替换硬绑定的this
                     ? this
                     : oThis,
                     aArgs.concat(Array.prototype.slice.call(arguments)))
           }

aArgs获取传入的其它参数，fToBind获取需要硬绑定的函数，fBound为返回的绑定操作函数,我们先忽略fBound里面的内容，继续往下看。

if (this.prototype) {
    fNOP.prototype = this.prototype; 
}
fBound.prototype = new fNOP()

我们假设对bind(…)返回的函数进行new操作(原型链如下),则this instanceof fNOP 为true，此时我们就知道执行了new操作，硬绑定的this不能生效，需要把this绑定到新生成的对象上。

如果没有进行new操作的话，就用apply模拟bind绑定，一切按照原计划进行。

最后我们分析一下维护原型关系的重要性，例子如下：

function Foo(){
    console.log(this.a);
    this.a=1;
}
Foo.prototype.show=function() {console.log(this.a)};
Foo();// undefined
var obj1=new Foo();
obj1.show();

var bar=Foo.bind({a:2});
bar();// 2
var obj2=new bar();
obj2.show();

因为bind函数内部保持了原型关系的继承，所以对象obj2才能访问到原型上的show方法。

** 注意：Foo.show()是错误的，因为Foo的原型指向的是Function.prototype，只有Foo的实例才能调用show方法。