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() // 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);};
上面代碼中,函數體里面使用了變量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指向全局環境的x。
在obj環境執行,this.x指向obj.x。
回到本文開頭提出的問題,obj.foo()是通過obj找到foo,所以就是在obj環境執行。一旦var foo = obj.foo,變量foo就直接指向函數本身,所以foo()就變成在全局環境執行。
相關文章: