JavaScript 中 this 的原理
一、問題
學習 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 的作用。
二、記憶體的資料結構
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); };
上面程式碼中,函式體裡面使用了變數 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() 就變成在全域性環境執行。