javascript高級程序設(shè)計(第3版)學(xué)習(xí)筆記8——函數(shù)(中)

1、接著看函數(shù)——這個具有魔幻色彩的對象。在上篇文章中說函數(shù)內(nèi)部屬性時，還遺留了一個this內(nèi)部屬性沒有解釋，不過在說this之前，我想先說一說執(zhí)行環(huán)境和作用域的概念。6、執(zhí)行環(huán)境和作用域（1）執(zhí)行環(huán)境（executioncontext）：所有的Javript代碼都運行在一個執(zhí)行環(huán)境中，當(dāng)控制權(quán)轉(zhuǎn)移至Javript的可執(zhí)行代碼時，就進(jìn)入了一個執(zhí)行環(huán)境。活動的執(zhí)行環(huán)境從邏輯上形成了一個棧，全局執(zhí)行環(huán)境永遠(yuǎn)是這個棧的棧底元素，棧頂元素就是當(dāng)前正

2、在運行的執(zhí)行環(huán)境。每一個函數(shù)都有自己的執(zhí)行環(huán)境，當(dāng)執(zhí)行流進(jìn)入一個函數(shù)時，會將這個函數(shù)的執(zhí)行環(huán)境壓入棧頂，函數(shù)執(zhí)行完之后再將這個執(zhí)行環(huán)境彈出，控制權(quán)返回給之前的執(zhí)行環(huán)境。（2）變量對象（variableobject）：每一個執(zhí)行環(huán)境都有一個與之對應(yīng)的變量對象，執(zhí)行環(huán)境中定義的所有變量和函數(shù)就是保存在這個變量對象中。這個變量對象是后臺實現(xiàn)中的一個對象，我們無法在代碼中訪問，但是這有助于我們理解執(zhí)行環(huán)境和作用域相關(guān)概念。（3）作用域鏈（sco

3、pechain）：當(dāng)代碼在一個執(zhí)行環(huán)境中運行時，會創(chuàng)建由變量對象組成的一個作用域鏈。:qianming.這個鏈的前端，就是當(dāng)前代碼所在環(huán)境的變量對象，鏈的最末端，就是全局環(huán)境的變量對象。在一個執(zhí)行環(huán)境中解析標(biāo)識符時，會在當(dāng)前執(zhí)行環(huán)境相應(yīng)的變量對象中搜索，找到就返回，沒有找到就沿著作用域鏈一級一級往上搜索直至全局環(huán)境的變量對象，如果一直未找到，就拋出引用異常。（4）活動對象（activationobject）：如果一個執(zhí)行環(huán)境是函數(shù)執(zhí)行環(huán)

4、境，也將變量對象稱為活動對象?；顒訉ο笤谧铋_始只包含一個變量，即arguments對象（這個對象在全局環(huán)境的變量對象中不存在）。這四個概念雖然有些抽象，但還是比較自然的，可以結(jié)合《Javript高級程序設(shè)計（第3版）》中的一個例子來細(xì)細(xì)體會一下：進(jìn)入到全局作用域，創(chuàng)建全局變量對象varcol=“blue“functionchangeCol()進(jìn)入到changeCol作用域，創(chuàng)建changeCol相應(yīng)變量對象varanotherCol=“

5、red“functionswapCols(col1col2)進(jìn)入到swapCols作用域，創(chuàng)建swapCols相應(yīng)變量對象vartempCol=anotherCol（5）調(diào)用swapCols()函數(shù)，進(jìn)入到swapCols函數(shù)執(zhí)行環(huán)境，創(chuàng)建相應(yīng)的變量對象（活動對象），將swapCols執(zhí)行環(huán)境壓入棧頂。這里創(chuàng)建活動對象可能的一個過程是，先創(chuàng)建活動對象，處理函數(shù)參數(shù)，將形式參數(shù)作為活動對象的屬性并賦值為undefined，創(chuàng)建活動對象的屬

6、性arguments對象，并根據(jù)實際參數(shù)初始化形式參數(shù)和arguments對應(yīng)的值和屬性（將屬性col1和arguments[0]初始化為white，由于沒有第二個實際參數(shù)，所以col2的值為undefined，而arguments的長度只為1了），處理完函數(shù)參數(shù)之后，再處理函數(shù)內(nèi)部變量聲明，將tempCol作為活動對象的屬性并賦值為undefined。（6）執(zhí)行swapCols()函數(shù)代碼。先給tempCol初始化賦值，然后實現(xiàn)值交換

7、功能（這里col和anotherCol的值都是沿著作用域鏈才讀取到的）。（7）swapCols()函數(shù)代碼執(zhí)行完之后，返回undefined，將相應(yīng)的執(zhí)行環(huán)境彈出棧并銷毀（注意，這里會銷毀執(zhí)行環(huán)境，但是執(zhí)行環(huán)境相應(yīng)的活動對象并不一定會被銷毀），當(dāng)前執(zhí)行環(huán)境恢復(fù)成changeCol()函數(shù)的執(zhí)行環(huán)境。隨著swapCol()函數(shù)執(zhí)行完并返回，changeCol()也就執(zhí)行完了，同樣返回undefined，并將changeCol()函數(shù)的執(zhí)行

8、環(huán)境彈出棧并銷毀，當(dāng)前執(zhí)行環(huán)境恢復(fù)成全局環(huán)境。整個處理過程結(jié)束，全局環(huán)境直至頁面退出再銷毀。作用域鏈也解釋了為什么函數(shù)可以在內(nèi)部遞歸調(diào)用自身：函數(shù)名是函數(shù)定義所在執(zhí)行環(huán)境相應(yīng)變量對象的一個屬性，然后在函數(shù)內(nèi)部執(zhí)行環(huán)境中，就可以沿著作用域鏈向外上溯一層訪問函數(shù)名執(zhí)行的函數(shù)對象了。如果在函數(shù)內(nèi)部將函數(shù)名指向了一個新函數(shù)，遞歸調(diào)用時就會不正確了：functionfn(num)if(1==num)return1elsefn=function()