js 实现 bind 的这五层，你在第几层？

秋风的笔记

发布于 2021-05-31 16:19:40

5730

发布于 2021-05-31 16:19:40

文章被收录于专栏：秋风的笔记

最近在帮女朋友复习 JS 相关的基础知识，遇到不会的问题，她就会来问我。

这不是很简单？三下五除二，分分钟解决。

function bind(fn, obj, ...arr) {
 return fn.apply(obj, arr)
}

于是我就将这段代码发了过去

这时候立马被女朋友进行了一连串的灵魂拷问。

这个时候，我马老师就坐不住了，我不服气，我就去复习了一下 bind，发现太久不写基础代码，还是会需要一点时间复习，这一次我得写一个有深度的 bind，深得马老师的真传，给他分成了五层速记法。

第一层 - 绑定在原型上的方法

这一层非常的简单，得益于 JS 原型链的特性。由于 function xxx 的原型链指向的是 Function.prototype , 因此我们在调用 xxx.bind 的时候，调用的是 Function.prototype 上的方法。

Function.prototype._bind = function() {}

这样，我们就可以在一个构造函数上直接调用我们的bind方法啦~例如像这样。

funciton myfun(){}
myfun._bind();

想要详细理解这方面的可以看这张图和这篇文章（https://github.com/mqyqingfeng/blog/issues/2）

第二层 - 改变 this 的指向

这可以说是 bind 最核心的特性了，就是改变 this 的指向，并且返回一个函数。而改变 this , 我们可以通过已知的 apply 和 call 来实现，这里我们就暂且使用 apply 来进行模拟。首先通过 self 来保存当前 this，也就是传入的函数。因为我们知道 this 具有 隐式绑定的规则（摘自《你不知道的JavaScript(上)》2.2.2 ），

function foo() {console.log(this.a)}
var obj = {a: 2, foo};
obj.foo(); // 2

通过以上特性，我们就可以来写我们的 _bind 函数。

Function.prototype._bind = function(thisObj) {
 const self = this;
 return function () {
    self.apply(thisObj);
  }
}

var obj = {a:1}
function myname() {console.log(this.a)}
myname._bind(obj)(); // 1

可能很多朋友都止步于此了，因为在一般的面试中，特别是一些校招面试中，可能你只需要知道前面两个就差不多了。但是想要在面试中惊艳所有人，仍然是不够的，接下来我们继续我们的探索与研究。

第三层 - 支持柯里化

函数柯里化是一个老生常谈的话题，在这里再复习一下。

function fn(x) {
 return function (y) {
  return x + y;
 }
}
var fn1 = fn(1);
fn1(2) // 3

不难发现，柯里化使用了闭包，当我们执行 fn1 的时候，函数内使用了外层函数的 x，从而形成了闭包。

而我们的 bind 函数也是类似，我们通过获取当前外部函数的 arguments ，并且去除了绑定的对象，保存成变量 args，最后 return 的方法，再一次获取当前函数的 arguments, 最终用 finalArgs 进行了一次合并。

Function.prototype._bind = function(thisObj) {
 const self = this;
  const args = [...arguments].slice(1)
 return function () {
    const finalArgs = [...args, ...arguments]
    self.apply(thisObj, finalArgs);
  }
}

通过以上代码，让我们 bind 方法，越来越健壮了。

var obj = { i: 1}
function myFun(a, b, c) {
  console.log(this.i + a + b + c);
}
var myFun1 = myFun._bind(obj, 1, 2);
myFun1(3); // 7

一般到了这层，可以说非常棒了，但是再坚持一下下，就变成了完美的答卷。

第四层 - 考虑 new 的调用

要知道，我们的方法，通过 bind 绑定之后，依然是可以通过 new 来进行实例化的， new 的优先级会高于 bind（摘自《你不知道的JavaScript(上)》2.3 优先级）。

这一点我们通过原生 bind 和我们第四层的 _bind 来进行验证对比。

// 原生
var obj = { i: 1}
function myFun(a, b, c) {
  // 此处用new方法，this指向的是当前函数 myFun 
  console.log(this.i + a + b + c);
}
var myFun1 = myFun.bind(obj, 1, 2);
new myFun1(3); // NAN

// 第四层的 bind
var obj = { i: 1}
function myFun(a, b, c) {
  console.log(this.i + a + b + c);
}
var myFun1 = myFun._bind(obj, 1, 2);
new myFun1(3); // 7

注意，这里使用的是 bind方法

因此我们需要在 bind 内部，对 new 的进行处理。而 new.target 属性，正好是用来检测构造方法是否是通过 new 运算符来被调用的。

接下来我们还需要自己实现一个 new ，

而根据 MDN，new 关键字会进行如下的操作： 1.创建一个空的简单JavaScript对象（即{}）； 2.链接该对象（设置该对象的constructor）到另一个对象； 3.将步骤1新创建的对象作为this的上下文； 4.如果该函数没有返回对象，则返回this。

Function.prototype._bind = function(thisObj) {
 const self = this;
  const args = [...arguments].slice(1);
 return function () {
    const finalArgs = [...args, ...arguments];
  // new.target 用来检测是否是被 new 调用
    if(new.target !== undefined) {
      // this 指向的为构造函数本身
      var result = self.apply(this, finalArgs);
      // 判断改函数是否返回对象
      if(result instanceof Object) {
        return reuslt;
      }
      // 没有返回对象就返回 this
      return this;
    } else {
      // 如果不是 new 就原来的逻辑
      return self.apply(thisArg, finalArgs);
    }
  }
}

看到这里，你的造诣已经如火纯情了，但是最后还有一个小细节。

第五层 - 保留函数原型

以上的方法在大部分的场景下都没有什么问题了，但是，当我们的构造函数有 prototype 属性的时候，就出问题啦。因此我们需要给 prototype 补上，还有就是调用对象必须为函数。

Function.prototype._bind = function (thisObj) {
  // 判断是否为函数调用
  if (typeof target !== 'function' || Object.prototype.toString.call(target) !== '[object Function]') {
    throw new TypeError(this + ' must be a function');
  }
  const self = this;
  const args = [...arguments].slice(1);
  var bound = function () {
    var finalArgs = [...args, ...arguments];
    // new.target 用来检测是否是被 new 调用
    if (new.target !== undefined) {
      // 说明是用new来调用的
      var result = self.apply(this, finalArgs);
      if (result instanceof Object) {
        return result;
      }
      return this;
    } else {
      return self.apply(thisArg, finalArgs);
    }
  };
  if (self.prototype) {
    // 为什么使用了 Object.create? 因为我们要防止，bound.prototype 的修改而导致self.prototype 被修改。不要写成 bound.prototype = self.prototype; 这样可能会导致原函数的原型被修改。
    bound.prototype = Object.create(self.prototype);
    bound.prototype.constructor = self;
  }
  return bound;
};

以上就是一个比较完整的 bind 实现了，如果你想了解更多细节的实践，可以查看。（也是 MDN 推荐的）

https://github.com/Raynos/function-bind