一、問題的由來

學懂 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() // 1foo() // 2

這種差異的原因，就在于函數體內部使用了this關鍵字。很多教科書會告訴你，this指的是函數運行時所在的環境。對于obj.foo()來說，foo運行在obj環境，所以this指向obj；對于foo()來說，foo運行在全局環境，所以this指向全局環境。所以，兩者的運行結果不一樣。

這種解釋沒錯，但是教科書往往不告訴你，為什么會這樣？也就是說，函數的運行環境到底是怎么決定的？舉例來說，為什么obj.foo()就是在obj環境執行，而一旦var foo = obj.foo，foo()就變成在全局環境執行？

本文就來解釋 JavaScript 這樣處理的原理。理解了這一點，你就會徹底理解this的作用。

二、內存的數據結構

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屬性里面。

三、函數

這樣的結構是很清晰的，問題在于屬性的值可能是一個函數。

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

這時，引擎會將函數單獨保存在內存中，然后再將函數的地址賦值給foo屬性的value屬性。

{ foo: {  [[value]]: 函數的地址  ... }}

由于函數是一個單獨的值，所以它可以在不同的環境（上下文）執行。

var f = function () {};var obj = { f: f };// 單獨執行f()// obj 環境執行obj.f()

四、環境變量

JavaScript 允許在函數體內部，引用當前環境的其他變量。

var f = function () { console.log(x);};