當(dāng)前位置：首頁 > 嵌入式培訓(xùn) > 嵌入式學(xué)習(xí) > 講師博文 > javascript閉包闡述
javascript閉包闡述
時(shí)間：2018-09-28 來源：未知
前言：
眾所周知，javascript中的閉包很重要，但真正理解其語法含義，還存在很多不足，所以在此從各個(gè)方面講解Javascript中閉包涉及的一些含義：主要包括作用域機(jī)制、閉包等待
作用域在JavaScript程序員日常使用中有不同的含義，如下所示：
• this綁定的值；
• this綁定的值定義的執(zhí)行上下文；
• 一個(gè)變量的“生命周期”；
• 變量的值解析方案，或詞法綁定。
下面將講訴JavaScript作用域概念，由此引出變量值解析方案的一般想法，后再探討JavaScript里閉包這一重要知識(shí)點(diǎn)。
1.全局作用域
所有瀏覽器都支持 window 對(duì)象，它表示瀏覽器窗口，JavaScript 全局對(duì)象、函數(shù)以及變量均自動(dòng)成為 window 對(duì)象的成員。所以，全局變量是 window 對(duì)象的屬性，全局函數(shù)是 window 對(duì)象的方法，甚至 HTML DOM 的 document 也是 window 對(duì)象的屬性之一。
全局變量是JavaScript里生命周期（一個(gè)變量多長時(shí)間內(nèi)保持一定的值）長的變量，其將跨越整個(gè)程序，可以被程序中的任何函數(shù)方法訪問。
在全局下聲明的變量都會(huì)在window對(duì)象下，都在全局作用域中，我們可以通過window對(duì)象訪問，也可以直接訪問。
1 var name = "jeri";
2 console.log(window.name); // 輸出:jeri
3 console.log(name); // 輸出:jeri
在JS中任何位置，沒有使用var關(guān)鍵字聲明的變量也都是全局變量。
1 function fun() {
2 name = "jeri";
3 alert(name);
4 }
5
6 console.log(name); // 輸出:jeri
全局變量存在于整個(gè)函數(shù)的生命周期中，然而其在全局范圍內(nèi)很容易被篡改，我們在使用全局變量時(shí)一定要小心，盡量不要使用全局變量。在函數(shù)內(nèi)部聲明變量沒有使用var也會(huì)產(chǎn)生全局變量，會(huì)為我們造成一些混亂，比如變量覆蓋等。所以，我們在聲明變量的任何時(shí)候好都要帶上var。
全局變量存在于程序的整個(gè)生命周期，但并不是通過其引用我們一定可以訪問到全局變量。
2.詞法作用域
詞法作用域：函數(shù)在定義它們的作用域里運(yùn)行，而不是在執(zhí)行它們的作用域里運(yùn)行。也就是說詞法作用域取決于源碼，通過靜態(tài)分析就能確定，因此詞法作用域也叫做靜態(tài)作用域。with和eval除外，所以只能說JS的作用域機(jī)制非常接近詞法作用域（Lexical scope）。詞法作用域也可以理解為一個(gè)變量的可見性，及其文本表述的模擬值。
1 var name = "global";
2
3 function fun() {
4 var name = "jeri";
5 return name;
6 }
7
8 console.log(fun()); // 輸出:jeri
9 console.log(name); // 輸出:global
在通常情況下，變量的查詢從近接的綁定上下文開始，向外部逐漸擴(kuò)展，直到查詢到第一個(gè)綁定，一旦完成查找就結(jié)束搜索。就像上例，先查找離它近的name="jeri"，查詢完成后就結(jié)束了，將第一個(gè)獲取的值作為變量的值。
3.動(dòng)態(tài)作用域
在編程實(shí)踐中，容易低估和過度濫用的概念就是動(dòng)態(tài)作用域，因?yàn)楹苌儆姓Z言支持這種方式為綁定解析方案。
動(dòng)態(tài)作用域與詞法作用域相對(duì)而言的，不同于詞法作用域在定義時(shí)確定，動(dòng)態(tài)作用域在執(zhí)行時(shí)確定，其生存周期到代碼片段執(zhí)行為止。動(dòng)態(tài)變量存在于動(dòng)態(tài)作用域中，任何給定的綁定的值，在確定調(diào)用其函數(shù)之前，都是不可知的。
在代碼執(zhí)行時(shí)，對(duì)應(yīng)的作用域鏈常常是保持靜態(tài)的。然而當(dāng)遇到with語句、call方法、apply方法和try-catch中的catch時(shí)，會(huì)改變作用域鏈的。以with為例，在遇到with語句時(shí)，會(huì)將傳入的對(duì)象屬性作為局部變量來顯示，使其便于訪問，也就是說把一個(gè)新的對(duì)象添加到了作用域鏈的頂端，這樣必然影響對(duì)局部標(biāo)志符的解析。當(dāng)with語句執(zhí)行完畢后，會(huì)把作用域鏈恢復(fù)到原始狀態(tài)。實(shí)例如下：
1 var name = "global";
2
3 // 使用with之前
4 console.log(name); // 輸出:global
5
6 with({name:"jeri"}){
7 console.log(name); // 輸出:jeri
8 }
9
10 // 使用with之后，作用域鏈恢復(fù)
11 console.log(name); // 輸出:global
在作用域鏈中有動(dòng)態(tài)作用域時(shí)，this引用也會(huì)變得更加復(fù)雜，不再指向第一次創(chuàng)建時(shí)的上下文，而是由調(diào)用者確定。比如在使用apply或call方法時(shí)，傳入它們的第一個(gè)參數(shù)就是被引用的對(duì)象。實(shí)例如下：
1 function globalThis() {
2 console.log(this);
3 }
4
5 globalThis(); // 輸出:Window {document: document,external: Object…}
6 globalThis.call({name:"jeri"}); // 輸出:Object {name: "jeri"}
7 globalThis.apply({name:"jeri"},[]); // 輸出:Object {name: "jeri"}
因?yàn)閠his引用是動(dòng)態(tài)作用域，所以在編程過程中一定要注意this引用的變化，及時(shí)跟蹤this的變動(dòng)。
4.函數(shù)作用域
函數(shù)作用域，顧名思義就是在定義函數(shù)時(shí)候產(chǎn)生的作用域，這個(gè)作用域也可以稱為局部作用域。和全局作用域相反，函數(shù)作用域一般只在函數(shù)的代碼片段內(nèi)可訪問到，外部不能進(jìn)行變量訪問。在函數(shù)內(nèi)部定義的變量存在于函數(shù)作用域中，其生命周期隨著函數(shù)的執(zhí)行結(jié)束而結(jié)束。實(shí)例如下：
1 var name = "global";
2
3 function fun() {
4 var name = "jeri";
5 console.log(name); // 輸出:jeri
6
7 with ({name:"with"}) {
8 console.log(name); // 輸出:with
9 }
10 console.log(name); // 輸出:jeri
11 }
12
13 fun();
14
15 // 不能訪問函數(shù)作用域
16 console.log(name); // 輸出:global
5.沒有塊級(jí)作用域
不同于其他編程語言，在JavaScript里并沒有塊級(jí)作用域，也就是說在for、if、while等語句內(nèi)部的聲明的變量與在外部聲明是一樣的，在這些語句外部也可以訪問和修改這些變量的值。實(shí)例如下：
1 function fun() {
2
3 if(0 < 2) {
4 var name = "jeri";
5 }
6 console.log(name); // 輸出:jeri
7 name = "change";
8 console.log(name); // 輸出:change
9 }
10
11 fun();
6.作用域鏈
JavaScript里一切皆為對(duì)象，包括函數(shù)。函數(shù)對(duì)象和其它對(duì)象一樣，擁有可以通過代碼訪問的屬性和一系列僅供JavaScript引擎訪問的內(nèi)部屬性。其中一個(gè)內(nèi)部屬性是作用域，包含了函數(shù)被創(chuàng)建的作用域中對(duì)象的集合，稱為函數(shù)的作用域鏈，它用來保證對(duì)執(zhí)行環(huán)境有權(quán)訪問的變量和函數(shù)的有序訪問。
當(dāng)一個(gè)函數(shù)創(chuàng)建后，它的作用域鏈會(huì)被創(chuàng)建此函數(shù)的作用域中可訪問的數(shù)據(jù)對(duì)象填充。在全局作用域中創(chuàng)建的函數(shù)，其作用域鏈會(huì)自動(dòng)成為全局作用域中的一員。而當(dāng)函數(shù)執(zhí)行時(shí)，其活動(dòng)對(duì)象就會(huì)成為作用域鏈中的第一個(gè)對(duì)象（活動(dòng)對(duì)象：對(duì)象包含了函數(shù)的所有局部變量、命名參數(shù)、參數(shù)集合以及this）。在程序執(zhí)行時(shí)，Javascript引擎會(huì)通過搜索上下文的作用域鏈來解析諸如變量和函數(shù)名這樣的標(biāo)識(shí)符。其會(huì)從作用域鏈的里面開始檢索，按照由內(nèi)到外的順序，直到完成查找，一旦完成查找就結(jié)束搜索。如果沒有查詢到標(biāo)識(shí)符聲明，則報(bào)錯(cuò)。當(dāng)函數(shù)執(zhí)行結(jié)束，運(yùn)行期上下文被銷毀，活動(dòng)對(duì)象也隨之銷毀。實(shí)例如下：
1 var name = 'global';
2
3 function fun() {
4 console.log(name); // output:global
5 name = "change";
6 // 函數(shù)內(nèi)部可以修改全局變量
7 console.log(name); // output:change
8 // 先查詢活動(dòng)對(duì)象
9 var age = "18";
10 console.log(age); // output:18
11 }
12
13 fun();
14
15 // 函數(shù)執(zhí)行完畢，執(zhí)行環(huán)境銷毀
16 console.log(age); // output:Uncaught ReferenceError: age is not defined
7.閉包
閉包是JavaScript的一大謎團(tuán)，關(guān)于這個(gè)問題有很多文章進(jìn)行講述，然而依然有相當(dāng)數(shù)量的程序員對(duì)這個(gè)概念理解不透徹。閉包的官方定義為：一個(gè)擁有許多變量和綁定了這些變量的環(huán)境的表達(dá)式（通常是一個(gè)函數(shù)），因而這些變量也是該表達(dá)式的一部分。
一句話概括就是：閉包就是一個(gè)函數(shù)，捕獲作用域內(nèi)的外部綁定。這些綁定是為之后使用而被綁定，即使作用域已經(jīng)銷毀。
自由變量
自由變量與閉包的關(guān)系是，自由變量閉合于閉包的創(chuàng)建。閉包背后的邏輯是，如果一個(gè)函數(shù)內(nèi)部有其他函數(shù)，那么這些內(nèi)部函數(shù)可以訪問在這個(gè)外部函數(shù)中聲明的變量（這些變量就稱之為自由變量）。然而，這些變量可以被內(nèi)部函數(shù)捕獲，從高階函數(shù)（返回另一個(gè)函數(shù)的函數(shù)稱為高階函數(shù)）中return語句實(shí)現(xiàn)“越獄”，以供以后使用。內(nèi)部函數(shù)在沒有任何局部聲明之前（既不是被傳入，也不是局部聲明）使用的變量就是被捕獲的變量。實(shí)例如下：
1 function makeAdder(captured) {
2 return function(free) {
3 var ret = free + captured;
4 console.log(ret);
5 }
6 }
7
8 var add10 = makeAdder(10);
9
10 add10(2); // 輸出:12
從上例可知，外部函數(shù)中的變量captured被執(zhí)行加法的返回函數(shù)捕獲，內(nèi)部函數(shù)從未聲明過captured變量，卻可以引用它。
如果我們再創(chuàng)建一個(gè)加法器將捕獲到同名變量captured，但有不同的值，因?yàn)檫@個(gè)加法器是在調(diào)用makeAdder之后被創(chuàng)建：
1 var add16 = makeAdder(16);
2
3 add16(18); // 輸出:24
4
5 add10(10); // 輸出:20
如上述代碼所示，每一個(gè)新的加法器函數(shù)都保留了自己創(chuàng)建時(shí)捕獲的captured實(shí)例。
變量遮蔽
在JavaScript中，當(dāng)變量在一定作用域內(nèi)聲明，然后在另一個(gè)同名變量在一個(gè)較低的作用域聲明，會(huì)發(fā)生變量的遮蔽。實(shí)例如下：
1 var name = "jeri";
2 var name = "tom";
3
4 function glbShadow() {
5 var name = "fun";
6
7 console.log(name); // 輸出:fun
8 }
9
10 glbShadow();
11
12 console.log(name); // 輸出:tom
當(dāng)在一個(gè)變量同一作用域內(nèi)聲明了多次時(shí)，后一次聲明會(huì)生效，會(huì)遮蔽以前的聲明。
變量聲明的遮蔽很好理解，然而函數(shù)參數(shù)的遮蔽就略顯復(fù)雜。例如：
1 var shadowed = 0;
2
3 function argShadow(shadowed) {
4 var str = ["Value is",shadowed].join(" ");
5 console.log(str);
6 }
7
8 argShadow(108); // output:Value is 108
9
10 argShadow(); // output:Value is
函數(shù)argShadow的參數(shù)shadowed覆蓋了全局作用域內(nèi)的同名變量。即使沒有傳遞任何參數(shù)，仍然綁定的是shadowed，并沒有訪問到全局變量shadowed = 0。
任何情況下，離得近的變量綁定優(yōu)先級(jí)高。實(shí)例如下：
1 var shadowed = 0;
2
3 function varShadow(shadowed) {
4 var shadowed = 123;
5 var str = ["Value is",shadowed].join(" ");
6 console.log(str);
7 }
8
9 varShadow(108); // output:Value is 123
10
11 varShadow(); // output:Value is 123
varShadow(108)打印出來的并不是108而是123，即使沒有參數(shù)傳入也是打印的123，先訪問離得近的變量綁定。
遮蔽變量同樣發(fā)生在閉包內(nèi)部，實(shí)例如下：
1 function captureShadow(shadowed) {
2
3 console.log(shadowed); // output:108
4
5 return function(shadowed) {
6
7 console.log(shadowed); // output:2
8 var ret = shadowed + 1;
9 console.log(ret); // output:3
10 }
11 }
12
13 var closureShadow = captureShadow(108);
14
15 closureShadow(2);
在編寫JavaScript代碼時(shí)，因?yàn)樽兞空诒螘?huì)使很多變量綁定超出我們的控制，我們應(yīng)盡量避免變量遮蔽，一定要注意變量命名。
典型誤區(qū)
下面是一個(gè)非常典型的問題，曾經(jīng)困擾了很多人，下面也來探討下。
1 var test = function() {
2 var ret = [];
3
4 for(var i = 0; i < 5; i++) {
5 ret[i] = function() {
6 return i;
7 }
8 }
9
10 return ret;
11 };
12 var test0 = test()[0]();
13 console.log(test0); // 輸出：5
14
15 var test1 = test()[1]();
16 console.log(test1); //輸出：5
從上面的例子可知，test這個(gè)函數(shù)執(zhí)行之后返回一個(gè)函數(shù)數(shù)組，表面上看數(shù)組內(nèi)的每個(gè)函數(shù)都應(yīng)該返回自己的索引值，然而并不是如此。當(dāng)外部函數(shù)執(zhí)行完畢后，外部函數(shù)雖然其執(zhí)行環(huán)境已經(jīng)銷毀，但閉包依然保留著對(duì)其中變量綁定的引用，仍然駐留在內(nèi)存之中。當(dāng)外部函數(shù)執(zhí)行完畢之后，才會(huì)執(zhí)行內(nèi)部函數(shù)，而這時(shí)內(nèi)部函數(shù)捕獲的變量綁定已經(jīng)是外部函數(shù)執(zhí)行之后的終變量值了，所以這些函數(shù)都引用的是同一個(gè)變量i=5。
下面有個(gè)更優(yōu)雅的例子來表述這個(gè)問題：
1 for(var i = 0; i < 5; i++) {
2
3 setTimeout(function() {
4 console.log(i);
5 }, 1000);
6 }
7
8 // 每隔1秒輸出一個(gè)5
按照我們的推斷，上例應(yīng)該輸出1,2,3,4,5。然而，事實(shí)上輸出的是連續(xù)5個(gè)5。為什么出現(xiàn)這種詭異的狀況呢？其本質(zhì)上還是由閉包特性造成的，閉包可以捕獲外部作用域的變量綁定。
上面這個(gè)函數(shù)片段在執(zhí)行時(shí)，其內(nèi)部函數(shù)和外部函數(shù)并不是同步執(zhí)行的，因?yàn)楫?dāng)調(diào)用setTimeout時(shí)會(huì)有一個(gè)延時(shí)事件排入隊(duì)列，等所有同步代碼執(zhí)行完畢后，再依次執(zhí)行隊(duì)列中的延時(shí)事件，而這個(gè)時(shí)候 i 已經(jīng) 是5了。
那怎么解決這個(gè)問題呢？我們是不是可以在每個(gè)循環(huán)執(zhí)行時(shí)，給內(nèi)部函數(shù)傳進(jìn)一個(gè)變量的拷貝，使其在每次創(chuàng)建閉包時(shí)，都捕獲一個(gè)變量綁定。因?yàn)槲覀兠看蝹鲄⒉煌敲疵看尾东@的變量綁定也是不同的，也就避免了后輸出5個(gè)5的狀況。實(shí)例如下：
1 for(var i = 0; i < 5; i++) {
2
3 (function(j) {
4
5 setTimeout(function() {
6 console.log(j);
7 }, 1000);
8 })(i);
9 }
10
11 // 輸出：0,1,2,3,4
閉包具有非常強(qiáng)大的功能，函數(shù)內(nèi)部可以引用外部的參數(shù)和變量，但其參數(shù)和變量不會(huì)被垃圾回收機(jī)制回，常駐內(nèi)存，會(huì)增大內(nèi)存使用量，使用不當(dāng)很容易造成內(nèi)存泄露。但，閉包也是javascript語言的一大特點(diǎn)，主要應(yīng)用閉包場合為：設(shè)計(jì)私有的方法和變量。
模擬私有變量
從上文的敘述我們知道，變量的捕獲發(fā)生在創(chuàng)建閉包的時(shí)候，那么我們可以把閉包捕獲到的變量作為私有變量。實(shí)例如下：
1 var closureDemo = (function() {
2 var PRIVATE = 0;
3
4 return {
5 inc:function(n) {
6 return PRIVATE += n;
7 },
8 dec:function(n) {
9 return PRIVATE -= n;
10 }
11 };
12 })();
13
14 var testInc = closureDemo.inc(10);
15 //console.log(testInc);
16 // 輸出：10
17
18 var testDec = closureDemo.dec(7);
19 //console.log(testDec);
20 // 輸出：3
21
22 closureDemo.div = function(n) {
23 return PRIVATE / n;
24 };
25
26 var testDiv = closureDemo.div(3);
27 console.log(testDiv);
28 //輸出：Uncaught ReferenceError: PRIVATE is not defined
自執(zhí)行函數(shù)closureDemo執(zhí)行完畢之后，自執(zhí)行函數(shù)作用域和PRIVATE隨之銷毀，但PRIVATE仍滯留在內(nèi)存中，也就是加入到closureDemo.inc和closureDemo.dec的作用域鏈中，閉包也就完成了變量的捕獲。但之后新加入的closureDemo.div并不能在作用域中繼續(xù)尋找到PRIVATE了。因?yàn)�，函�?shù)只有被調(diào)用時(shí)才會(huì)執(zhí)行函數(shù)里面的代碼，變量的捕獲也只發(fā)生在創(chuàng)建閉包時(shí)，所以之后新加入的div方法并不能捕獲PRIVATE。
創(chuàng)建特權(quán)方法
通過閉包我們可以創(chuàng)建私有作用域，那么也就可以創(chuàng)建私有變量和私有函數(shù)。創(chuàng)建私有函數(shù)的方式和聲明私有變量方法一致，只要在函數(shù)內(nèi)部聲明函數(shù)就可以了。當(dāng)然，既然可以模擬私有變量和私有函數(shù)，我們也可以利用閉包這個(gè)特性，創(chuàng)建特權(quán)方法。實(shí)例如下：
1 (function() {
2
3 // 私有變量和私有函數(shù)
4 var privateVar = 10;
5
6 function privateFun() {
7 return false;
8 };
9
10 // 構(gòu)造函數(shù)
11 MyObj = function() {
12
13 };
14
15 // 公有/特權(quán)方法
16 MyObj.prototype.publicMethod = function() {
17 privateVar ++;
18 return privateFun();
19 }
20 })();
上面這個(gè)實(shí)例創(chuàng)建了一個(gè)私有作用域，并封裝了一個(gè)構(gòu)造函數(shù)和對(duì)應(yīng)的方法。需要注意的是在上面的實(shí)例中，在聲明MyObj這個(gè)函數(shù)時(shí)，使用的是不帶var的函數(shù)表達(dá)式，我們希望產(chǎn)生的是一個(gè)全局函數(shù)而不是局部的，不然我們依然在外部無法訪問。所以，MyObj就成為了一個(gè)全局變量，能夠在外部進(jìn)行訪問，我們在原型上定義的方法publicMethod也就可以使用，通過這個(gè)方法我們也就可以訪問私有函數(shù)和私有變量了。
總的來說，閉包對(duì)我們項(xiàng)目的性能提升還是有一定貢獻(xiàn)的，通過它可以實(shí)現(xiàn)一些強(qiáng)大的功能。特別是其回收不用的局部變量，避免內(nèi)存泄漏。所以有效的掌握還是很有必要的。
