理解JavaScript中的作用域和上下文.doc

優(yōu)就業(yè)JS教程-理解JavaScript中的作用域和上下文Java對于作用域(Scope)和上下文(Context)的實現(xiàn)是這門語言的一個非常獨到的地方，部分歸功于其獨特的靈活性。 函數(shù)可以接收不同的的上下文和作用域。這些概念為Java中的很多強大的設計模式提供了堅實的基礎。 然而這也概念也非常容易給開發(fā)人員帶來困惑。為此，本文將全面的剖析這些概念，并闡述不同的設計模式是如何利用它們的。Statement作者： 景莊，Web開發(fā)者，主要關注Java、Node.js、React、Docker等。上下文(Context)和作用域(Scope)首先需要知道的是，上下文和作用域是兩個完全不同的概念。多年來，我發(fā)現(xiàn)很多開發(fā)者會混淆這兩個概念(包括我自己)， 錯誤的將兩個概念混淆了。平心而論，這些年來很多術語都被混亂的使用了。函數(shù)的每次調(diào)用都有與之緊密相關的作用域和上下文。從根本上來說，作用域是基于函數(shù)的，而上下文是基于對象的。 換句話說，作用域涉及到所被調(diào)用函數(shù)中的變量訪問，并且不同的調(diào)用場景是不一樣的。上下文始終是this關鍵字的值， 它是擁有(控制)當前所執(zhí)行代碼的對象的引用。變量作用域一個變量可以被定義在局部或者全局作用域中，這建立了在運行時(runtime)期間變量的訪問性的不同作用域范圍。 任何被定義的全局變量，意味著它需要在函數(shù)體的外部被聲明，并且存活于整個運行時(runtime)，并且在任何作用域中都可以被訪問到。 在ES6之前，局部變量只能存在于函數(shù)體中，并且函數(shù)的每次調(diào)用它們都擁有不同的作用域范圍。 局部變量只能在其被調(diào)用期的作用域范圍內(nèi)被賦值、檢索、操縱。需要注意，在ES6之前，Java不支持塊級作用域，這意味著在if語句、switch語句、for循環(huán)、while循環(huán)中無法支持塊級作用域。 也就是說，ES6之前的Java并不能構建類似于Java中的那樣的塊級作用域(變量不能在語句塊外被訪問到)。但是， 從ES6開始，你可以通過let關鍵字來定義變量，它修正了var關鍵字的缺點，能夠讓你像Java語言那樣定義變量，并且支持塊級作用域。看兩個例子：ES6之前，我們使用var關鍵字定義變量：function func() if (true) var tmp = 123;console.log(tmp); / 123之所以能夠訪問，是因為var關鍵字聲明的變量有一個變量提升的過程。而在ES6場景，推薦使用let關鍵字定義變量：function func() if (true) let tmp = 123;console.log(tmp); / ReferenceError: tmp is not defined這種方式，能夠避免很多錯誤。什么是this上下文上下文通常取決于函數(shù)是如何被調(diào)用的。當一個函數(shù)被作為對象中的一個方法被調(diào)用的時候，this被設置為調(diào)用該方法的對象上：var obj = foo: function()alert(this = obj);obj.foo(); / true這個準則也適用于當調(diào)用函數(shù)時使用new操作符來創(chuàng)建對象的實例的情況下。在這種情況下，在函數(shù)的作用域內(nèi)部this的值被設置為新創(chuàng)建的實例：function foo()alert(this);new foo() / foofoo() / window當調(diào)用一個為綁定函數(shù)時，this默認情況下是全局上下文，在瀏覽器中它指向window對象。需要注意的是，ES5引入了嚴格模式的概念， 如果啟用了嚴格模式，此時上下文默認為undefined。執(zhí)行環(huán)境(execution context)Java是一個單線程語言，意味著同一時間只能執(zhí)行一個任務。當Java解釋器初始化執(zhí)行代碼時， 它首先默認進入全局執(zhí)行環(huán)境(execution context)，從此刻開始，函數(shù)的每次調(diào)用都會創(chuàng)建一個新的執(zhí)行環(huán)境。這里會經(jīng)常引起新手的困惑，這里提到了一個新的術語執(zhí)行環(huán)境(execution context)，它定義了變量或函數(shù)有權訪問的其他數(shù)據(jù)，決定了它們各自的行為。 它更偏向于作用域的作用，而不是我們前面討論的上下文(Context)。請務必仔細的區(qū)分執(zhí)行環(huán)境和上下文這兩個概念(注：英文容易造成混淆)。 說實話，這是個非常糟糕的命名約定，但是它是ECMA規(guī)范制定的，你還是遵守吧。每個函數(shù)都有自己的執(zhí)行環(huán)境。當執(zhí)行流進入一個函數(shù)時，函數(shù)的環(huán)境就會被推入一個環(huán)境棧中(execution stack)。在函數(shù)執(zhí)行完后，棧將其環(huán)境彈出， 把控制權返回給之前的執(zhí)行環(huán)境。ECMA程序中的執(zhí)行流正是由這個便利的機制控制著。執(zhí)行環(huán)境可以分為創(chuàng)建和執(zhí)行兩個階段。在創(chuàng)建階段，解析器首先會創(chuàng)建一個變量對象(variable object，也稱為活動對象 activation object)， 它由定義在執(zhí)行環(huán)境中的變量、函數(shù)聲明、和參數(shù)組成。在這個階段，作用域鏈會被初始化，this的值也會被最終確定。 在執(zhí)行階段，代碼被解釋執(zhí)行。每個執(zhí)行環(huán)境都有一個與之關聯(lián)的變量對象(variable object)，環(huán)境中定義的所有變量和函數(shù)都保存在這個對象中。 需要知道，我們無法手動訪問這個對象，只有解析器才能訪問它。作用域鏈(The Scope Chain)當代碼在一個環(huán)境中執(zhí)行時，會創(chuàng)建變量對象的一個作用域鏈(scope chain)。作用域鏈的用途是保證對執(zhí)行環(huán)境有權訪問的所有變量和函數(shù)的有序訪問。 作用域鏈包含了在環(huán)境棧中的每個執(zhí)行環(huán)境對應的變量對象。通過作用域鏈，可以決定變量的訪問和標識符的解析。 注意，全局執(zhí)行環(huán)境的變量對象始終都是作用域鏈的最后一個對象。我們來看一個例子：var color = blue;function changeColor()var anotherColor = red;function swapColors()var tempColor = anotherColor;anotherColor = color;color = tempColor;/ 這里可以訪問color, anotherColor, 和 tempColor/ 這里可以訪問color 和 anotherColor，但是不能訪問 tempColorswapColors();changeColor();/ 這里只能訪問colorconsole.log(Color is now + color);上述代碼一共包括三個執(zhí)行環(huán)境：全局環(huán)境、changeColor()的局部環(huán)境、swapColors()的局部環(huán)境。 上述程序的作用域鏈如下圖所示：從上圖發(fā)現(xiàn)。內(nèi)部環(huán)境可以通過作用域鏈訪問所有的外部環(huán)境，但是外部環(huán)境不能訪問內(nèi)部環(huán)境中的任何變量和函數(shù)。 這些環(huán)境之間的聯(lián)系是線性的、有次序的。對于標識符解析(變量名或函數(shù)名搜索)是沿著作用域鏈一級一級地搜索標識符的過程。搜索過程始終從作用域鏈的前端開始， 然后逐級地向后(全局執(zhí)行環(huán)境)回溯，直到找到標識符為止。閉包閉包是指有權訪問另一函數(shù)作用域中的變量的函數(shù)。換句話說，在函數(shù)內(nèi)定義一個嵌套的函數(shù)時，就構成了一個閉包， 它允許嵌套函數(shù)訪問外層函數(shù)的變量。通過返回嵌套函數(shù)，允許你維護對外部函數(shù)中局部變量、參數(shù)、和內(nèi)函數(shù)聲明的訪問。 這種封裝允許你在外部作用域中隱藏和保護執(zhí)行環(huán)境，并且暴露公共接口，進而通過公共接口執(zhí)行進一步的操作。可以看個簡單的例子：function foo()var localVariable = private variable;return function bar()return localVariable;var getLocalVariable = foo();getLocalVariable() / private variable模塊模式最流行的閉包類型之一，它允許你模擬公共的、私有的、和特權成員：var Module = (function()var privateProperty = foo;function privateMethod(args)/ do somethingreturn publicProperty: ,publicMethod: function(args)/ do something,privilegedMethod: function(args)return privateMethod(args);)();模塊類似于一個單例對象。由于在上面的代碼中我們利用了(function() . )();的匿名函數(shù)形式，因此當編譯器解析它的時候會立即執(zhí)行。 在閉包的執(zhí)行上下文的外部唯一可以訪問的對象是位于返回對象中的公共方法和屬性。然而，因為執(zhí)行上下文被保存的緣故， 所有的私有屬性和方法將一直存在于應用的整個生命周期，這意味著我們只有通過公共方法才可以與它們交互。另一種類型的閉包被稱為立即執(zhí)行的函數(shù)表達式(IIFE)。其實它很簡單，只不過是一個在全局環(huán)境中自執(zhí)行的匿名函數(shù)而已：(function(window)var foo, bar;function private()/ do somethingwindow.Module = public: function()/ do something;)(this);對于保護全局命名空間免受變量污染而言，這種表達式非常有用，它通過構建函數(shù)作用域的形式將變量與全局命名空間隔離， 并通過閉包的形式讓它們存在于整個運行時(runtime)。在很多的應用和框架中，這種封裝源代碼的方式用處非常的流行， 通常都是通過暴露一個單一的全局接口的方式與外部進行交互。Call和Apply這兩個方法內(nèi)建在所有的函數(shù)中(它們是Function對象的原型方法)，允許你在自定義上下文中執(zhí)行函數(shù)。 不同點在于，call函數(shù)需要參數(shù)列表，而apply函數(shù)需要你提供一個參數(shù)數(shù)組。如下：var o = ;function f(a, b) return a + b;/ 將函數(shù)f作為o的方法，實際上就是重新設置函數(shù)f的上下文f.call(o, 1, 2); / 3f.apply(o, 1, 2); / 3兩個結(jié)果是相同的，函數(shù)f在對象o的上下文中被調(diào)用，并提供了兩個相同的參數(shù)1和2。在ES5中引入了Ftotype.bind方法，用于控制函數(shù)的執(zhí)行上下文，它會返回一個新的函數(shù)， 并且這個新函數(shù)會被永久的綁定到bind方法的第一個參數(shù)所指定的對象上，無論該函數(shù)被如何使用。 它通過閉包將函數(shù)引導到正確的上下文中。對于低版本瀏覽器，我們可以簡單的對它進行實現(xiàn)如下(polyfill)：if(!(bind in Ftotype)Ftotype.bind = function()var fn = this,context = arguments0,args = Atotype.slice.call(arguments, 1);return function()return fn.apply(context, args.concat(arguments);bind()方法通常被用在上下文丟失的場景下，例如面向?qū)ο蠛褪录幚?。之所以要這么做， 是因為節(jié)點的addEventListener方法總是為事件處理器所綁定的節(jié)點的上下文中執(zhí)行回調(diào)函數(shù)， 這就是它應該表現(xiàn)的那樣。但是，如果你想要使用高級的面向?qū)ο蠹夹g，或需要你的回調(diào)函數(shù)成為某個方法的實例， 你將需要手動調(diào)整上下文。這就是bind方法所帶來的便利之處：function MyClass()this.element = document.(div);this.element.addEventListener(click, this.onClick.bind(this), false);MyCtotype.onClick = function(e)/ do something;回顧上面bind方法的源代碼，你可能會注意到有兩次調(diào)用涉及到了Array的slice方法：Atotype.slice.call(arguments, 1);.slice.call(arguments);我們知道，arguments對象并不是一個真正的數(shù)組，而是一個類數(shù)組對象，雖然具有l(wèi)ength屬性，并且值也能夠被索引， 但是它們不支持原生的數(shù)組方法，例如slice和push。但是，由于它們具有和數(shù)組類似的行為，數(shù)組的方法能夠被調(diào)用和劫持， 因此我們可以通過類似于上面代碼的方式達到這個目的，其核心是利用call方法。這種調(diào)用其他對象方法的技術也可以被應用到面向?qū)ο笾?，我們可以在Java中模擬經(jīng)典的繼承方式：MyCtotype.init = function()/ call the superclass init method in the context of the MyClass instanceMySuperCtotype.init.apply(this, arguments);也就是利用call或apply在子類(MyClass)的實例中調(diào)用超類(MySuperClass)的方法。ES6中的箭頭函數(shù)ES6中的箭頭函數(shù)可以作為Ftotype.bind()的替代品。和普通函數(shù)不同，箭頭函數(shù)沒有它自己的this值， 它的this值繼承自外圍作用域。對于普通函數(shù)而言，它總會自動接收一個this值，this的指向取決于它調(diào)用的方式。我們來看一個例子：var obj = / .addAll: function (pieces) var self = this;_.each(pieces, function (piece) self.add(piece););,/ .在上面的例子中，最直接的想法是直接使用this.add(piece)，但不幸的是，在Java中你不能這么做， 因為each的回調(diào)函數(shù)并未從外層繼承this值。在該回調(diào)函數(shù)中，this的值為window或undefined， 因此，我們使用臨時變量self來將外部的this值導入內(nèi)部。我們還有兩種方法解決這個問題：使用ES5中的bind()方法var obj = / .addAll: function (pieces) _.each(pieces, function (piece