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

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

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

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

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

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

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

7、功能（這里col和anotherCol的值都是沿著作用域鏈才讀取到的）。（7）swapCols()函數(shù)代碼執(zhí)行完之后，返回undefined，將相應(yīng)的執(zhí)行環(huán)境彈出棧并銷毀（注意，這里會(huì)銷毀執(zhí)行環(huán)境，但是執(zhí)行環(huán)境相應(yīng)的活動(dòng)對(duì)象并不一定會(huì)被銷毀），當(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)境。整個(gè)處理過程結(jié)束，全局環(huán)境直至頁面退出再銷毀。作用域鏈也解釋了為什么函數(shù)可以在內(nèi)部遞歸調(diào)用自身：函數(shù)名是函數(shù)定義所在執(zhí)行環(huán)境相應(yīng)變量對(duì)象的一個(gè)屬性，然后在函數(shù)內(nèi)部執(zhí)行環(huán)境中，就可以沿著作用域鏈向外上溯一層訪問函數(shù)名執(zhí)行的函數(shù)對(duì)象了。如果在函數(shù)內(nèi)部將函數(shù)名指向了一個(gè)新函數(shù)，遞歸調(diào)用時(shí)就會(huì)不正確了：functionfn(num)if(1==num)return1elsefn=function()