javascript作用域和閉包的深入理解

作用域

javascript作用域和閉包的深入理解

作用域是一個變量和函數的作用範圍,javascript中函數內聲明的所有變量在函數體內始終是可見的,在javascript中有全局作用域和局部作用域,但是沒有塊級作用域,局部變量的優先級高於全局變量,通過幾個示例來了解下javascript中作用域的那些“潛規則”(這些也是在前端面試中經常問到的問題)。

1. 變量聲明提前

示例1:

var scope="global";function scopeTest(){ (scope); var scope="local" }scopeTest(); //undefined

此處的輸出是undefined,並沒有報錯,這是因爲在前面我們提到的函數內的聲明在函數體內始終可見,上面的函數等效於:

var scope="global";function scopeTest(){ var scope; (scope); scope="local" }scopeTest(); //local

注意,如果忘記var,那麼變量就被聲明爲全局變量了。

2. 沒有塊級作用域

和其他我們常用的語言不同,在Javascript中沒有塊級作用域:

function scopeTest() { var scope = {}; if (scope instanceof Object) { var j = 1; for (var i = 0; i < 10; i++) { //(i); } (i); //輸出10 } (j);//輸出1}

在javascript中變量的作用範圍是函數級的,即在函數中所有的變量在整個函數中都有定義,這也帶來了一些我們稍不注意就會碰到的“潛規則”:

var scope = "hello";function scopeTest() { (scope);//① var scope = "no"; (scope);//②}

在①處輸出的值竟然是undefined,簡直喪心病狂啊,我們已經定義了全局變量的值啊,這地方不應該爲hello嗎?其實,上面的代碼等效於:

var scope = "hello";function scopeTest() { var scope; (scope);//① scope = "no"; (scope);//②}

聲明提前、全局變量優先級低於局部變量,根據這兩條規則就不難理解爲什麼輸出undefined了。

作用域鏈

在javascript中,每個函數都有自己的執行上下文環境,當代碼在這個環境中執行時,會創建變量對象的作用域鏈,作用域鏈是一個對象列表或對象鏈,它保證了變量對象的有序訪問。

作用域鏈的前端是當前代碼執行環境的變量對象,常被稱之爲“活躍對象”,變量的查找會從第一個鏈的對象開始,如果對象中包含變量屬性,那麼就停止查找,如果沒有就會繼續向上級作用域鏈查找,直到找到全局對象中:

作用域鏈的逐級查找,也會影響到程序的性能,變量作用域鏈越長對性能影響越大,這也是我們儘量避免使用全局變量的一個主要原因。

閉包基礎概念

作用域是理解閉包的一個前提,閉包是指在當前作用域內總是能訪問外部作用域中的變量。

function createClosure(){ var name = "jack"; return { setStr:function(){ name = "rose"; }, getStr:function(){ return name + ":hello"; } }}var builder = new createClosure();tr();(tr()); //rose:hello

上面的示例在函數中返回了兩個閉包,這兩個閉包都維持着對外部作用域的引用,因此不管在哪調用總是能夠訪問外部函數中的變量。在一個函數內部定義的函數,會將外部函數的活躍對象添加到自己的作用域鏈中,因此上面實例中通過內部函數能夠訪問外部函數的屬性,這也是javascript模擬私有變量的一種方式。

注意:由於閉包會額外的附帶函數的作用域(內部匿名函數攜帶外部函數的作用域),因此,閉包會比其它函數多佔用些內存空間,過度的使用可能會導致內存佔用的增加。

閉包中的變量

在使用閉包時,由於作用域鏈機制的影響,閉包只能取得內部函數的最後一個值,這引起的'一個副作用就是如果內部函數在一個循環中,那麼變量的值始終爲最後一個值。

//該實例不太合理,有一定延遲因素,此處主要爲了說明閉包循環中存在的問題 function timeManage() { for (var i = 0; i < 5; i++) { setTimeout(function() { (i); },1000) }; }

上面的程序並沒有按照我們預期的輸入1-5的數字,而是5次全部輸出了5。再來看一個示例:

function createClosure(){ var result = []; for (var i = 0; i < 5; i++) { result[i] = function(){ return i; } } return result;}

調用createClosure()[0]()返回的是5,createClosure()[4]()返回值仍然是5。通過以上兩個例子可以看出閉包在帶有循環的內部函數使用時存在的問題:因爲每個函數的作用域鏈中都保存着對外部函數(timeManage、createClosure)的活躍對象,因此,他們都引用着同一變量i,當外部函數返回時,此時的i值爲5,所以內部的每個函數i的值也爲5。

那麼如何解決這個問題呢?我們可以通過匿名包裹器(匿名自執行函數表達式)來強制返回預期的結果:

function timeManage() { for (var i = 0; i < 5; i++) { (function(num) { setTimeout(function() { (num); }, 1000); })(i); }}

或者在閉包匿名函數中再返回一個匿名函數賦值:

function timeManage() { for (var i = 0; i < 10; i++) { setTimeout((function(e) { return function() { (e); } })(i), 1000) }}//timeManager();輸出1,2,3,4,5function createClosure() { var result = []; for (var i = 0; i < 5; i++) { result[i] = function(num) { return function() { (num); } }(i); } return result;}//createClosure()[1]()輸出1;createClosure()[2]()輸出2

無論是匿名包裹器還是通過嵌套匿名函數的方式,原理上都是由於函數是按值傳遞,因此會將變量i的值複製給實參num,在匿名函數的內部又創建了一個用於返回num的匿名函數,這樣每個函數都有了一個num的副本,互不影響了。

閉包中的this

在閉包中使用this時要特別注意,稍微不慎可能會引起問題。通常我們理解this對象是運行時基於函數綁定的,全局函數中this對象就是window對象,而當函數作爲對象中的一個方法調用時,this等於這個對象(TODO 關於this做一次整理)。由於匿名函數的作用域是全局性的,因此閉包的this通常指向全局對象window:

var scope = "global";var object = { scope:"local", getScope:function(){ return function(){ return e; } }}

調用cope()()返回值爲global而不是我們預期的local,前面我們說過閉包中內部匿名函數會攜帶外部函數的作用域,那爲什麼沒有取得外部函數的this呢?每個函數在被調用時,都會自動創建this和arguments,內部匿名函數在查找時,搜索到活躍對象中存在我們想要的變量,因此停止向外部函數中的查找,也就永遠不可能直接訪問外部函數中的變量了。總之,在閉包中函數作爲某個對象的方法調用時,要特別注意,該方法內部匿名函數的this指向的是全局變量。

幸運的是我們可以很簡單的解決這個問題,只需要把外部函數作用域的this存放到一個閉包能訪問的變量裏面即可:

var scope = "global";var object = { scope:"local", getScope:function(){ var that = this; return function(){ return e; } }}cope()()返回值爲local。

內存與性能

由於閉包中包含與函數運行期上下文相同的作用域鏈引用,因此,會產生一定的負面作用,當函數中活躍對象和運行期上下文銷燬時,由於必要仍存在對活躍對象的引用,導致活躍對象無法銷燬,這意味着閉包比普通函數佔用更多的內存空間,在IE瀏覽器下還可能會導致內存泄漏的問題,如下:

function bindEvent(){ var target = lementById("elem"); ick = function(){ (); } }

上面例子中匿名函數對外部對象target產生一個引用,只要是匿名函數存在,這個引用就不會消失,外部函數的target對象也不會被銷燬,這就產生了一個循環引用。解決方案是通過創建副本減少對外部變量的循環引用以及手動重置對象:

function bindEvent(){ var target = lementById("elem"); var name = ; ick = function(){ (name); } target = null; }

閉包中如果存在對外部變量的訪問,無疑增加了標識符的查找路徑,在一定的情況下,這也會造成性能方面的損失。解決此類問題的辦法我們前面也曾提到過:儘量將外部變量存入到局部變量中,減少作用域鏈的查找長度。

總結:閉包不是javascript獨有的特性,但是在javascript中有其獨特的表現形式,使用閉包我們可以在javascript中定義一些私有變量,甚至模仿出塊級作用域,但閉包在使用過程中,存在的問題我們也需要了解,這樣才能避免不必要問題的出現。