JS手寫bind之處理new的情況詳解

更新時(shí)間：2022年07月11日 08:19:58 作者：前端西瓜哥

雖然很少會遇到給bind返回的函數(shù)做new操作的場景，但面試中還是會涉及到的，所以本文將實(shí)現(xiàn)一下兼容new操作的bind寫法，順便學(xué)習(xí)一下new操作符，需要的可以參考一下

new

我們先學(xué)習(xí)一下 new 操作符。

new 用于通過函數(shù)來創(chuàng)建一個(gè)對象實(shí)例，在很多語言中都能看到。

JS 的函數(shù)，除了可以是普通函數(shù)，比如：

function sum(a, b) {
  return a + b;
}

還可以是構(gòu)造函數(shù)，只需要在構(gòu)造時(shí)在它前面加一個(gè) new：

function Person(name, age) {
 this.name = name;
 this.age = age;
}

const person = new Person('前端西瓜哥', 100)
// Person {name: '前端西瓜哥', age: 100}

new 創(chuàng)建一個(gè)新對象，做了下面幾件事：

創(chuàng)建一個(gè)空對象 {}；
空對象的原型屬性 __proto__ 指向構(gòu)造函數(shù)的原型對象 Person.prototype；
函數(shù)中的 this 設(shè)置為這個(gè)空對象；
如果該函數(shù)不返回一個(gè)對象，就返回這個(gè) this，否則返回這個(gè)對象。

判斷函數(shù)是否通過 new 被調(diào)用

怎么判斷一個(gè)函數(shù)正在被 new 操作符調(diào)用？

答案是 使用 instanceof 判斷 this 是否為當(dāng)前函數(shù)的實(shí)例，即 this instanceof Fn 為 true，表示在通過 new 構(gòu)建實(shí)例。

我們看一個(gè)例子：

function Person() {
  if (this instanceof Person) {
    console.log('通過 new 構(gòu)建實(shí)例');
  } else {
    console.log('普通調(diào)用')
  }
}

Person()     // 輸出：普通調(diào)用
new Person() // 輸出：通過 new 構(gòu)建實(shí)例

在 Vuejs 的源碼，你會看到下面代碼，這里也用到了這個(gè)技巧。

function Vue(options) {
  if (__DEV__ && !(this instanceof Vue)) {
    warn('Vue is a constructor and should be called with the `new` keyword')
  }
  this._init(options)
}

你在開發(fā)環(huán)境如果不通過 new 來使用 Vue 對象，會在控制臺提示你要通過 new 來調(diào)用 Vue。

new 和 bind

如果我們 new 的是 Function.prototype.bind 返回的新函數(shù)，會發(fā)生什么事情？

function Person(name, age) {
 this.name = name;
 this.age = age;
}

const BoundPerson = Person.bind(null, '前端西瓜哥');
const boundPerson = new BoundPerson(100);
// Person {name: '前端西瓜哥', age: 100}

boundPerson.__proto__ === Person.prototype
// true

結(jié)果等價(jià)于直接去 new 原始函數(shù)。

不同的是，仍舊可以進(jìn)行參數(shù)的預(yù)置?？梢钥吹?，構(gòu)造函數(shù)的第一個(gè)參數(shù)，在調(diào)用 bind 的時(shí)候就提前設(shè)置為 '前端西瓜哥'。

實(shí)現(xiàn)完整的 bind

完整實(shí)現(xiàn)如下：

Function.prototype.myBind = function(thisArg, ...prefixArgs) {
  const fn = this;
  const boundFn = function(...args) {
    // 通過 new 使用當(dāng)前函數(shù)
    if (this instanceof boundFn) {
      return new fn(...prefixArgs, ...args);
    }
    // 普通的方法調(diào)用當(dāng)前函數(shù)
    return fn.call(thisArg, ...prefixArgs, ...args);
  }
  boundFn.prototype = fn.prototype;
  return boundFn;
}

這里我通過 this instanceof boundFn 來判斷是否用了 new，如果是，就直接 new 原始函數(shù)然后返回，記得帶上 bind 預(yù)置好的參數(shù)。

其他保持原樣（具體見上文《前端面試題：手寫 bind》）。

boundFn.prototype = fn.prototype; 這個(gè)可寫可不寫，只是讓 bind 返回的新函數(shù)的 prototype 指向原函數(shù)的 prototype。

如果是原生 bind 返回的函數(shù)，它是沒有 protoype 屬性的，可以認(rèn)為它是一種特別的函數(shù)，而我們實(shí)現(xiàn)的 bind 返回的卻是一個(gè)普通函數(shù)，所以并不能完全模擬的。

如果你 追求完美的實(shí)現(xiàn)，可以研讀一下 Function.prototype.bind 的標(biāo)準(zhǔn)：

然后再看看知名的 core.js 庫中對 bind 的實(shí)現(xiàn)：

其中核心實(shí)現(xiàn)為：

// `Function.prototype.bind` method implementation
// https://tc39.es/ecma262/#sec-function.prototype.bind
module.exports = Function.bind || function bind(that /* , ...args */) {
  var F = aCallable(this);
  var Prototype = F.prototype;
  var partArgs = arraySlice(arguments, 1);
  var boundFunction = function bound(/* args... */) {
    var args = concat(partArgs, arraySlice(arguments));
    return this instanceof boundFunction ? construct(F, args.length, args) : F.apply(that, args);
  };
  if (isObject(Prototype)) boundFunction.prototype = Prototype;
  return boundFunction;
};

這里有更多的細(xì)節(jié)：