深入理解JS中的this

1、浅谈this

1.1、调用位置

在学习this的绑定过程之前,首先要理解调用位置,即函数在代码中被调用的位置,因此我们需要分析调用栈,看以下代码

function baz(){
	// 当前调用栈是baz
	// 因此调用位置就是全局作用域
	console。log("baz");
	bar(); // <-- bar的调用位置
}
function bar(){
	// 当前调用栈是 baz --> bar
	// 因此,当前调用位置在baz中
	console.log("bar")
	foo(); // <-- foo的调用位置
}
function foo(){
	// 当前调用栈是 baz -> bar -> foo
	// 因此当前的调用位置在bar中
	console.log("foo")
}
baz() // <-- baz的调用位置

2、绑定规则

在函数执行过程中调用位置决定this绑定对象有四条规则

2.1、默认绑定

最常见的函数调用类型是独立函数调用,可以把这条规则看作是无法应用其他规则时的默认规则

function foo(){
    console.log(this.a);
}

var a = 2
foo() // 2

当调用foo()时,this.a解析成了全局变量a,这是因为函数调用时应用了this的默认绑定,因此this指向全局对象

2.2、隐式绑定

我们必须在一个对象内部包含一个指向函数的属性,并通过这个属性间接引用引用函数,从而把this间接(隐式)绑定到这个对象上

该绑定方式需要考虑调用位置是否有上下文对象,或者说是否被某个对象拥有或者包含,不过这种说法可能会造成一些误导,看以下代码

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

无论你如何称呼这个模式,当 foo()被调用时,它的前面确实加上了对obj的引用。当函数引用有上下文对象时,隐式绑定规则会把函数调用中的 this 定到这个上下文对象。因为调用 foo()时 this 被绑定到 obj,因此 this.a和obj.a是一样的。

对象属性引用链中只有上一层或者说最后一层在调用位置中起作用,举例来说

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

但是隐式绑定会出现绑定丢失的问题

2.3、显式绑定

隐式绑定需要我们在一个对象内部包含一个指向函数的属性,并通过这个属性间接引用引用函数,从而把this间接(隐式)绑定到这个对象上,如果我们不想这样做,而想在某个对象上强制调用函数,应该怎么做?我们可以使用call(…)和apply(…)方法,这两个方法的第一个参数都是一个对象,是给this准备的,接着在调用函数时将其绑定到this,因为可以直接指定this的绑定对象,因此我们称之为显式绑定

简单的例子:

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

通过foo.call(…),我们可以在调用foo时强制把他的this绑定到obj上

如果传入了一个原始值(字符串、数组、数字)来当做this的绑定对象,这个原始值会被转换成它的对象形式(也就是new String(…)、new Boolean(…)、new Number(…)),这通常被称为“装箱”

如果想要解决绑定丢失问题,我们可以使用显式绑定的一个变种 — 硬绑定

function foo() {
        console.log(this.a);
    }
    var obj = {
        a: 2
    }
    var bar = function () {
        foo.call(obj)
    }
    bar() // 2
    setTimeout(bar, 100) // 2
    // 硬绑定的bar不可能在修改它的this
    bar.call(window) // 2

我们创建了函数 bar(),并在它的内部手动调用了foo.call(obj),因此强制把 foo的 this 绑定到了obj。无论之后如何调用函数bar,它总会手动在 obj上调用 foo。这种绑定是一种显式的强制绑定,因此我们称之为硬绑定

由于硬绑定是一种非常常用的模式,所以ES5提供了内置的方法Function.prototype.bind

function foo(something){
    console.log(this.a,something);
    return this.a + something
}
var obj = {
    a:2
}
var bar = foo.bind(obj)
var b = bar(3) // 2 3
console.log(b); // 5

bind(…)会返回一个硬编码的新函数,会把所指定的参数设置为this的上下文并调用原始函数

2.4、new绑定

在传统的面向类的语言中,“构造函数”是类中的一些特殊方法,使用new初始化类时会调用类中的构造函数。在JS中也有一个new操作符,但JS中的new的机制实际上和面向类的语言完全不同

在JS中,构造函数之所以写使用new操作符时被调用的函数。它们并不属于某个类,也不会实例化一个类,实际上,他们只是被new操作符调用的普通函数而已

使用new来调用函数,或者说发生构造函数调用时,会执行下边的操作(也是new操作符的实现原理)

  1. 创建一个全新的对象
  2. 这个新对象会执行prototype连接
  3. 这个新对象会绑定到函数调用的this
  4. 如果函数没有返回其他对象,那么new表达式中的函数调用会自动返回这个新对象
function foo(a){
	this.a = a
}
var bar = new foo(2)
console.log(bar.a) // 2

使用new调用foo(…)时,会构建一个新对象并把它绑定到foo(…)调用中的this上。new是最后一种可以影响调用时this绑定行为的方法,称之为new绑定

3、绑定优先级

总得来说优先级如下:new > 显式绑定 > 隐式绑定 > 默认绑定

  1. 函数是否在 new 中调用 (new 绑定)? 如果是的话 this 定的是新创建的对象

    var bar = new foo()
    
  2. 函数是否通过 callapply (显式绑定)或者硬绑定调用?如果是的话,this 绑定的是指定的对象。

    var bar = foo.call(obj2)
    
  3. 函数是否在某个上下文对象中调用 (隐式绑定)?如果是的话,this 定的是那个上下文对象。

    var bar = obj1.foo()
    
  4. 如果都不是的话,使用默认绑定。如果在严格模式下,就绑定到undefined,否则绑定到全局对象。

    var bar = foo()
    

大部分就是上述四种情况所述,但是凡事都有例外

4、绑定例外

在某些情况下this的绑定会出乎意料,当我们认为应当使用前三种规则时,但实际上使用的可能是默认绑定规则

4.1、被忽略的this

如果我们把null或者underfined作为this的绑定对象传入call、apply或bind,这些值在调用时会被忽略,实际上应用的是默认绑定规则

function foo() {
	console.log(this.a);
}
var a = 2
foo.call(null)//2

那么在什么情况下我们会传入null呢?

一种常见的做法是使用apply(…)来“展开”一个数组,并当作参数传人一个函数。类似地,bind(…)可以对参数进行柯里化 (预先设置一些参数),这种方法有时非常有用

function foo(a, b) {
    console.log("a:" + a + ", b:" + b);
}
// 把数组“展开”成参数
foo.apply(null, [2, 3]); // a:2, b:3
// 使用 bind(..)进行柯里化
var bar = foo.bind(null, 2); 
bar(3); // a:2,b:3

这两种方法都需要传人一个参数当作 this 的绑定对象。如果函数并不关心 this 的话,你仍然需要传人一个占位值,这时 null 可能是一个不错的选择,就像代码所示的那样

然而,总是使用null来忽略 this 绑定可能产生一些副作用。如果某个函数确实使用了this (比如第三方库中的一个函数),那默认绑定规则会把 this 定到全局对象 (在浏览器中这个对象是 window),这将导致不可预计的后果 (比如修改全局对象)。

一种“更安全”的做法是传入一个特殊的对象,把 this 绑定到这个对象不会对你的程序产生任何副作用。就像网络(以及军队)一样,我们可以创建一个“DMZ”(demilitarizedzone,非军事区)对象它就是一个空的非委托的对象
如果我们在忽略 this 绑定时总是传入一个 DMZ 对象,那就什么都不用担心了,因为任何对于 this 的使用都会被限制在这个空对象中,不会对全局对象产生任何影响。
在 JavaScript 中创建一个空对象最简单的方法都是 object.create(null)。object.create(null)和{}很像,但是并不会创建 object.prototype 这个委托,所以它比{}“更空”:

function foo(a, b) {
	console.log("a:" + a + ", b:" + b);
}
// 我们的 DMZ 空对象
var ø = Object.create(null);
// 把数组展开成参数
foo.apply(ø, [2, 3]); // a:2, b:3
// 使用 bind(..) 进行柯里化
var bar = foo.bind(ø, 2);
bar(3); // a:2, b:3

使用变量名 ø 不仅让函数变得更加“安全”,而且可以提高代码的可读性,因为 ø 表示“我希望 this 是空”,这比 null 的含义更清楚。

4.2、间接引用

另一个需要注意的是,你有可能(有意或者无意地)创建一个函数的“间接引用”,在这种情况下,调用这个函数会应用默认绑定规则。

间接引用最容易在赋值时发生:

function foo() {
	console.log(this.a);
}
var a = 2;
var o = { a: 3, foo: foo };
var p = { a: 4 };
o.foo(); // 3
(p.foo = o.foo)(); // 2

赋值表达式 p.foo = o.foo 的返回值是目标函数的引用,因此调用位置是 foo() 而不是p.foo() 或者 o.foo()。根据我们之前说过的,这里会应用默认绑定。
注意:对于默认绑定来说,决定 this 绑定对象的并不是调用位置是否处于严格模式,而是函数体是否处于严格模式。如果函数体处于严格模式,this 会被绑定到 undefined,否则this 会被绑定到全局对象。

4.3、软绑定

之前我们已经看到过,硬绑定这种方式可以把 this 强制绑定到指定的对象(除了使用 new时),防止函数调用应用默认绑定规则。问题在于,硬绑定会大大降低函数的灵活性,使用硬绑定之后就无法使用隐式绑定或者显式绑定来修改 this。
如果可以给默认绑定指定一个全局对象和 undefined 以外的值,那就可以实现和硬绑定相同的效果,同时保留隐式绑定或者显式绑定修改 this 的能力。可以通过一种被称为软绑定的方法来实现我们想要的效果:

if (!Function.prototype.softBind) {
	Function.prototype.softBind = function (obj) {
		var fn = this;
		// 捕获所有 curried 参数
		var curried = [].slice.call(arguments, 1);
			var bound = function () {
			return fn.apply(
				(!this || this === (window || global)) ?
					obj : this,
				curried.concat.apply(curried, arguments)
			);
		};
		bound.prototype = Object.create(fn.prototype);
		return bound;
	};
}

除了软绑定之外,softBind(…) 的其他原理和 ES5 内置的 bind(…) 类似。它会对指定的函数进行封装,首先检查调用时的 this,如果 this 绑定到全局对象或者 undefined,那就把指定的默认对象 obj 绑定到 this,否则不会修改 this。此外,这段代码还支持可选的柯里化

4.4、箭头函数中的this

箭头函数不使用 this 的四种标准规则,而是根据外层(函数或者全局)作用域来决定 this。

function foo() {
    // 返回一个箭头函数
    return (a) => {
        //this 继承自 foo()
        console.log(this.a);
    };
}
var obj1 = {
    a: 2
};
var obj2 = {
    a: 3
};
var bar = foo.call(obj1);
bar.call(obj2); // 2, 不是 3 !

foo() 内部创建的箭头函数会捕获调用时 foo() 的 this。由于 foo() 的 this 绑定到 obj1,bar(引用箭头函数)的 this 也会绑定到 obj1,箭头函数的绑定无法被修改。(new 也不行!)

箭头函数可以像 bind(…) 一样确保函数的 this 被绑定到指定对象,此外,其重要性还体现在它用更常见的词法作用域取代了传统的 this 机制。实际上,在 ES6 之前我们就已经在使用一种几乎和箭头函数完全一样的模式。

function foo() {
	var self = this; // lexical capture of this
	setTimeout(function () {
		console.log(self.a);
	}, 100);
}
var obj = {
	a: 2
};
foo.call(obj); // 2

虽然 self = this 和箭头函数看起来都可以取代 bind(…),但是从本质上来说,它们想替代的是 this 机制。

5、总结

如果要判断一个运行中函数的 this 绑定,就需要找到这个函数的直接调用位置。找到之后就可以顺序应用下面这四条规则来判断 this 的绑定对象。

  1. 由 new 调用?绑定到新创建的对象。
  2. 由 call 或者 apply(或者 bind)调用?绑定到指定的对象。
  3. 由上下文对象调用?绑定到那个上下文对象。
  4. 默认:在严格模式下绑定到 undefined,否则绑定到全局对象。

一定要注意,有些调用可能在无意中使用默认绑定规则。如果想“更安全”地忽略 this 绑定,你可以使用一个 DMZ 对象,比如 ø = Object.create(null),以保护全局对象。ES6 中的箭头函数并不会使用四条标准的绑定规则,而是根据当前的词法作用域来决定this,具体来说,箭头函数会继承外层函数调用的 this 绑定(无论 this 绑定到什么)。这其实和 ES6 之前代码中的 self = this 机制一样。

  • 0
    点赞
  • 0
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值