JavaScript 中 this 的原理

1、问题

学习 JavaScript 其中一个标志就是理解下面两种写法，会输出有不同的结果。

var obj = {

  foo: function () {}

};

var foo = obj.foo;

// 写法一

obj.foo()

// 写法二

foo()

在上面的代码中，虽然 obj.foo 和 foo 指向同一个函数，可是执行结果不同。

请看下面的示例。

var obj = {

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

  bar: 1

};

var foo = obj.foo;

var bar = 2;

obj.foo() //访问后的的结果为 1

foo() //访问后的结果为 2

造成这种差别的缘由，就在于函数体内部使用了 this 关键字。在指导用书上， this 指的是函数运行时所在的环境。

   ★对于 obj.foo() 来讲， foo 运行在 obj 环境，因此 this 指向 obj ；

　★对于 foo() 来讲， foo 运行在全局环境，因此 this 指向全局环境。

 因此，二者的运行结果不同。

上面这种解释没错，可是指导用书并不告诉你，为何会这样？也就是说，函数的运行环境究竟是怎么决定的？

  举例来讲，为何 obj.foo() 就是在 obj 环境执行，而一旦 var foo = obj.foo ， foo() 就变成在全局环境执行？

下面就来解释 JavaScript 这样处理的原理。理解了这一点，你就会完全理解 this 的做用。

2、内存的数据结构

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

var obj = { foo:  5 };

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

 　　

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

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

　　

{
  foo: {
    [[value]]: 5
    [[writable]]: true
    [[enumerable]]: true
    [[configurable]]: true
  }
}

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

3、函数

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

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

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

 　　

{

  foo: {

    [[value]]: 函数的地址

    ...

  }

}

因为函数是一个单独的值，因此它能够在不一样的环境（上下文）执行。

var f = function () {};

var obj = { f: f };
 
// 单独执行

f()

// obj 环境执行

obj.f()

4、环境变量

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

var f = function () {

  console.log(x);

};

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

如今问题就来了，因为函数能够在不一样的运行环境执行，因此须要有一种机制，可以在函数体内部得到当前的运行环境（context）。因此， this 就出现了，它的设计目的就是在函数体内部，指代函数当前的运行环境。

var f = function () {

  console.log(this.x);

}

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

var f = function () {

  console.log(this.x);

}
var x = 1;

var obj = {

  f: f,

  x: 2,

};

// 单独执行
f() // 1
// obj 环境执行

obj.f() // 2

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

 　　

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

 　　

如今回到文章开头提出的问题， obj.foo() 是经过 obj 找到 foo ，因此就是在 obj 环境执行。一旦 var foo = obj.foo ，变量 foo 就直接指向函数自己，因此 foo() 就变成在全局环境执行。