概論

在討論ECMAScript閉包之前，先來介紹下函數(shù)式編程（與ECMA-262-3 標(biāo)準(zhǔn)無關(guān)）中一些基本定義。 然而，為了更好的解釋這些定義，這里還是拿ECMAScript來舉例。

眾所周知，在函數(shù)式語言中（ECMAScript也支持這種風(fēng)格），函數(shù)即是數(shù)據(jù)。就比方說，函數(shù)可以保存在變量中，可以當(dāng)參數(shù)傳遞給其他函數(shù)，還可以當(dāng)返回值返回等等。 這類函數(shù)有特殊的名字和結(jié)構(gòu)。

定義

函數(shù)式參數(shù)（“Funarg”） —— 是指值為函數(shù)的參數(shù)。

如下例子：

function exampleFunc(funArg) { funArg(); } exampleFunc(function () { alert('funArg'); });

上述例子中funArg的實(shí)參是一個(gè)傳遞給exampleFunc的匿名函數(shù)。

反過來，接受函數(shù)式參數(shù)的函數(shù)稱為 高階函數(shù)（high-order function 簡(jiǎn)稱：HOF）。還可以稱作：函數(shù)式函數(shù) 或者 偏數(shù)理的叫法：操作符函數(shù)。 上述例子中，exampleFunc 就是這樣的函數(shù)。

此前提到的，函數(shù)不僅可以作為參數(shù)，還可以作為返回值。這類以函數(shù)為返回值的函數(shù)稱為 _帶函數(shù)值的函數(shù)（functions with functional value or function valued functions）。  

(function functionValued() {
        return function () {
            alert('returned function is called');
            };
    })()();//這種()直接執(zhí)行的方式要熟悉。

可以以正常數(shù)據(jù)形式存在的函數(shù)（比方說：當(dāng)參數(shù)傳遞，接受函數(shù)式參數(shù)或者以函數(shù)值返回）都稱作 第一類函數(shù)（一般說第一類對(duì)象）。 在ECMAScript中，所有的函數(shù)都是第一類對(duì)象。

接受自己作為參數(shù)的函數(shù)，稱為 自應(yīng)用函數(shù)（auto-applicative function 或者 self-applicative function）：

(function selfApplicative(funArg) { if (funArg && funArg === selfApplicative) { alert('self-applicative'); return; } selfApplicative(selfApplicative); })();

以自己為返回值的函數(shù)稱為 自復(fù)制函數(shù)（auto-replicative function 或者 self-replicative function）。 通常，“自復(fù)制”這個(gè)詞用在文學(xué)作品中： 

(function selfReplicative() {
        return selfReplicative;
    })(); 

在函數(shù)式參數(shù)中定義的變量，在“funArg”激活時(shí)就能夠訪問了（因?yàn)榇鎯?chǔ)上下文數(shù)據(jù)的變量對(duì)象每次在進(jìn)入上下文的時(shí)候就創(chuàng)建出來了）：

function testFn(funArg) { // 激活funArg, 本地變量localVar可訪問 funArg(10); // 20 funArg(20); // 30 } testFn(function (arg) { var localVar = 10; alert(arg + localVar); });

然而，我們知道，在ECMAScript中，函數(shù)是可以封裝在父函數(shù)中的，并可以使用父函數(shù)上下文的變量。 這個(gè)特性會(huì)引發(fā) funArg問題。