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方法。

你可能感兴趣的:(WEB开发,JavaScript)