JavaScript的this原理

一、问题的由来

学懂 JavaScript 语言，一个标志就是理解下面两种写法，可能有不一样的结果。

2. var obj = {

3. foo: function () {}

4. };

6. var foo = obj.foo;

8. // 写法一

9. obj.foo()

11. // 写法二

12. foo()

上面代码中，虽然obj.foo和foo指向同一个函数，但是执行结果可能不一样。请看下面的例子。

2. var obj = {

3. foo: function () { console.log(this.bar) },

4. bar: 1

5. };

7. var foo = obj.foo;

8. var bar = 2;

10. obj.foo() // 1

11. foo() // 2

这种差异的原因，就在于函数体内部使用了this关键字。很多教科书会告诉你，this指的是函数运行时所在的环境。对于obj.foo()来说，foo运行在obj环境，所以this指向obj；对于foo()来说，foo运行在全局环境，所以this指向全局环境。所以，两者的运行结果不一样。

这种解释没错，但是教科书往往不告诉你，为什么会这样？也就是说，函数的运行环境到底是怎么决定的？举例来说，为什么obj.foo()就是在obj环境执行，而一旦var foo = obj.foo，foo()就变成在全局环境执行？

本文就来解释 JavaScript 这样处理的原理。理解了这一点，你就会彻底理解this的作用。

二、内存的数据结构

JavaScript 语言之所以有this的设计，跟内存里面的数据结构有关系。

2. var obj = { foo: 5 };

上面的代码将一个对象赋值给变量obj。JavaScript 引擎会先在内存里面，生成一个对象{ foo: 5 }，然后把这个对象的内存地址赋值给变量obj。

也就是说，变量obj是一个地址（reference）。后面如果要读取obj.foo，引擎先从obj拿到内存地址，然后再从该地址读出原始的对象，返回它的foo属性。

原始的对象以字典结构保存，每一个属性名都对应一个属性描述对象。举例来说，上面例子的foo属性，实际上是以下面的形式保存的。

2. {

3. foo: {

4. [[value]]: 5

5. [[writable]]: true

6. [[enumerable]]: true

7. [[configurable]]: true

8. }

9. }

注意，foo属性的值保存在属性描述对象的value属性里面。

三、函数

这样的结构是很清晰的，问题在于属性的值可能是一个函数。

2. var obj = { foo: function () {} };

这时，引擎会将函数单独保存在内存中，然后再将函数的地址赋值给foo属性的value属性。

2. {

3. foo: {

4. [[value]]: 函数的地址

5. ...

6. }

7. }

由于函数是一个单独的值，所以它可以在不同的环境（上下文）执行。

2. var f = function () {};

3. var obj = { f: f };

5. // 单独执行

6. f()

8. // obj 环境执行

9. obj.f()

四、环境变量

JavaScript 允许在函数体内部，引用当前环境的其他变量。

2. var f = function () {

3. console.log(x);

4. };

上面代码中，函数体里面使用了变量x。该变量由运行环境提供。

现在问题就来了，由于函数可以在不同的运行环境执行，所以需要有一种机制，能够在函数体内部获得当前的运行环境（context）。所以，this就出现了，它的设计目的就是在函数体内部，指代函数当前的运行环境。

2. var f = function () {

3. console.log(this.x);

4. }

上面代码中，函数体里面的this.x就是指当前运行环境的x。

2. var f = function () {

3. console.log(this.x);

4. }

6. var x = 1;

7. var obj = {

8. f: f,

9. x: 2,

10. };

12. // 单独执行

13. f() // 1

15. // obj 环境执行

16. obj.f() // 2

上面代码中，函数f在全局环境执行，this.x指向全局环境的x。

在obj环境执行，this.x指向obj.x。

回到本文开头提出的问题，obj.foo()是通过obj找到foo，所以就是在obj环境执行。一旦var foo = obj.foo，变量foo就直接指向函数本身，所以foo()就变成在全局环境执行。

例子

var name = 'window'
var person1 = {
  name: 'person1',
  show1: function () {
    console.log(this.name)
  },
  show2: () => console.log(this.name),
  show3: function () {
    return function () {
      console.log(this.name)
    }
  },
  show4: function () {
    console.log(this.name)
    return () => console.log(this.name)
  }
}
var person2 = { name: 'person2' }

输出结果

person1.show1() // person1
//普通函数谁调this就是谁
person1.show1.call(person2) // person2
//普通函数的this是可以被call改变的

person1.show2() // window
//箭头函数的this指向定义时最近一层的作用域的this（作用域是函数创建的，所以这里最近的是全局作用域）
person1.show2.call(person2) // window
//箭头函数的this不会改变

person1.show3()() // window
//show3函数时被person1管理的，this指向person1，但是show3执行以后返回的函数是没有被window以外的对象管理的，所以返回的函数指向window
person1.show3().call(person2) // person2
//这个和上面show1同理，都是普通函数，可以被call改变
person1.show3.call(person2)() // window
//这里只是将show3的this指向person2，但是show3执行以后返回的函数仍然指向window

person1.show4()() // person1 person1
//原理同上面的show2，但是这里最近一层的作用域是show4函数创建的作用域，而show4是被person1调用的，shou4的this是person1，所以该箭头函数的作用域也是person1

//从这里可以看到，两个this的指向一样。
person1.show4().call(person2) // person1 person1
person1.show4.call(person2)() // person2  person2
//这里show4是person2调用的，所以show4的this指向person2。show4里面的箭头函数的this是随show4的this的变化而变化的

可能有人有一个疑问，箭头函数的this不是不会变吗

箭头函数的this跟调用者无关，定义位置所在的作用域的this是谁，箭头函数的this就是指向谁。