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() 就變成在全局環境執行。