摘要：函數(shù)是對(duì)象理解函數(shù)是對(duì)象，是準(zhǔn)確理解函數(shù)的第一步。在中，函數(shù)對(duì)象和其他對(duì)象一樣，均被視為一等公民。當(dāng)函數(shù)執(zhí)行完畢，其執(zhí)行環(huán)境從棧中彈出并銷毀。此時(shí)的函數(shù)充當(dāng)構(gòu)造器的角色。調(diào)用函數(shù)對(duì)象的方法并將結(jié)果賦給。

函數(shù)是javascript中最重要的內(nèi)容，也是其相對(duì)其他語言來說在設(shè)計(jì)上比較有意思的地方。javascript許多高級(jí)特性也或多或少和函數(shù)相關(guān)。本文將以函數(shù)為中心，對(duì)函數(shù)的各個(gè)關(guān)鍵知識(shí)點(diǎn)做簡要介紹。

理解函數(shù)是對(duì)象，是準(zhǔn)確理解函數(shù)的第一步。下面的代碼就創(chuàng)建了一個(gè)函數(shù)對(duì)象。

var sum = new Function("num1", "num2", "return num1 + num2;");

每個(gè)函數(shù)都是Function類型的實(shí)例。Function構(gòu)造函數(shù)可以接受多個(gè)參數(shù)，最后一個(gè)參數(shù)是函數(shù)體，其他參數(shù)均為函數(shù)的形參。由于其書寫的不優(yōu)雅和兩次解析導(dǎo)致的性能問題，這種方式不經(jīng)常被采用，但是這種寫法對(duì)于理解函數(shù)就是對(duì)象是非常有幫助的。一般地，我們都用字面的方式來創(chuàng)建函數(shù)。

var sum = function(num1, num2){
    return num1 + num2;
}
//或者
function sum(num1, num2){
    return num1 + num2;
}

以上兩種定義函數(shù)的方法分別叫做函數(shù)表達(dá)式和函數(shù)聲明，兩者的效果是等價(jià)的，區(qū)別在于解析器向執(zhí)行環(huán)境加載數(shù)據(jù)時(shí)對(duì)兩者的處理不一樣。解析器會(huì)率先讀取函數(shù)聲明來創(chuàng)建函數(shù)對(duì)象，保證其在任何代碼執(zhí)行之前可用；對(duì)于函數(shù)表達(dá)式，則必須等到解析器執(zhí)行到對(duì)應(yīng)的代碼行，函數(shù)對(duì)象才被創(chuàng)建。

在javascript中，函數(shù)對(duì)象和其他對(duì)象一樣，均被視為一等公民。所以函數(shù)可以被引用、可以作為參數(shù)被傳遞或作為返回值返回，這使得函數(shù)的使用非常的靈活。

函數(shù)對(duì)象代表了一個(gè)過程，和大多數(shù)語言一樣通過函數(shù)調(diào)用表達(dá)式可以調(diào)用這個(gè)過程。但是javascript的函數(shù)對(duì)象還提供了另外兩種調(diào)用方式，call和apply方法。call和apply方法的第一個(gè)參數(shù)用于指定執(zhí)行環(huán)境中this的綁定，后面的參數(shù)用于指定函數(shù)的實(shí)際參數(shù)。call和apply的唯一區(qū)別是實(shí)參的形式不一樣，call是用逗號(hào)分割，apply則是以數(shù)組傳遞。例如：

//函數(shù)調(diào)用表達(dá)式
sum(1, 2);
//call方法
sum.call(this, 1, 2);
//apply方法
sum.apply(this, [1, 2]);

不管用哪種調(diào)用方式，最終都是通過函數(shù)對(duì)象的[[Call]]方法實(shí)際調(diào)用這個(gè)過程。[[Call]]方法是javascript引擎內(nèi)部使用的一個(gè)方法，程序不能直接訪問它。[[Call]]方法接受兩個(gè)參數(shù)，第一個(gè)參數(shù)指定this的綁定值，第二個(gè)參數(shù)指定函數(shù)的參數(shù)列表。為了表達(dá)方便，后面我們將[[Call]]方法的第一個(gè)參數(shù)稱作thisArg。函數(shù)對(duì)象的call方法和apply方法可以顯示指定thisArg，函數(shù)表達(dá)式則是隱式指定這個(gè)參數(shù)的。例如：

var foo = function(){
    console.log(this);
};
var obj = {name:"object"};
foo();
obj.foo = foo;
obj.foo();

代碼在瀏覽器的執(zhí)行結(jié)果如下：

Window {top: Window, window: Window, location: Location...}
Object {name: "object", foo: function}

從執(zhí)行結(jié)果可以看出，obj.foo()這種調(diào)用方法，隱式將調(diào)用它的對(duì)象obj作為了thisArg。但是為什么foo()這種調(diào)用方式this的綁定值是window這個(gè)全局對(duì)象?難道foo()這種調(diào)用方式將全局對(duì)象默認(rèn)指定為thisArg？其實(shí)不是這樣的。thisArg并不是和this關(guān)鍵字的綁定一一對(duì)應(yīng)的，其中有一個(gè)轉(zhuǎn)換過程。如下：
1.如果thisArg為undefined或者null，則this的綁定為全局對(duì)象。
2.如果thisArg不是Object類型，則將thisArg強(qiáng)制轉(zhuǎn)型為Object類型并綁定到this。
3.否則this的綁定就為thisArg。
其實(shí)foo()這種調(diào)用方式thisArg的值為undefined，通過以上的轉(zhuǎn)換過程將this綁定為全局對(duì)象。

前面提到過執(zhí)行環(huán)境(Execution Context)這個(gè)概念，簡單來說執(zhí)行環(huán)境就是函數(shù)在執(zhí)行時(shí)所依賴的一個(gè)數(shù)據(jù)環(huán)境，它決定了函數(shù)的行為。程序執(zhí)行流每次進(jìn)入函數(shù)代碼時(shí)都會(huì)創(chuàng)建一個(gè)新的執(zhí)行環(huán)境。活動(dòng)的執(zhí)行環(huán)境在邏輯上形成了一個(gè)棧的結(jié)構(gòu)。當(dāng)函數(shù)執(zhí)行完畢，其執(zhí)行環(huán)境從棧中彈出并銷毀。

每個(gè)執(zhí)行環(huán)境都包含一個(gè)重要的組件：詞法環(huán)境(Lexical Environment)。詞法環(huán)境定義了javascript程序標(biāo)識(shí)符到變量或函數(shù)的關(guān)聯(lián)關(guān)系。詞法環(huán)境包含了環(huán)境記錄(Environment Record)和一個(gè)到外層詞法環(huán)境的引用(如果有的話，否則為null)。環(huán)境記錄記錄了當(dāng)前作用域下的變量或函數(shù)的綁定情況。有兩種類型的環(huán)境記錄，聲明式環(huán)境記錄(Declarative Environment Records)和對(duì)象環(huán)境記錄(Object Environment Records)。聲明式環(huán)境記錄包含了當(dāng)前作用域下標(biāo)識(shí)符到變量聲明和函數(shù)聲明的綁定。對(duì)象環(huán)境記錄是一個(gè)和特定對(duì)象綁定的環(huán)境記錄，用于臨時(shí)改變標(biāo)識(shí)符的解析情況，比如在with子句中。

函數(shù)對(duì)象都有一個(gè)[[Scope]]屬性，函數(shù)對(duì)象在創(chuàng)建時(shí)會(huì)將當(dāng)前執(zhí)行環(huán)境的詞法環(huán)境的值賦予給[[Scope]]屬性。這個(gè)屬性是引擎的內(nèi)部屬性，程序無法訪問到它。當(dāng)程序流進(jìn)入到函數(shù)時(shí)，javascript引擎會(huì)創(chuàng)建新的執(zhí)行環(huán)境，同時(shí)也創(chuàng)建對(duì)應(yīng)的詞法環(huán)境。引擎會(huì)將當(dāng)前作用域聲明的變量和函數(shù)綁定到詞法環(huán)境，同時(shí)將[[Scope]]屬性的引用也添加到詞法環(huán)境。程序在進(jìn)行標(biāo)識(shí)符解析的時(shí)候，會(huì)優(yōu)先從當(dāng)前的詞法環(huán)境中搜索，搜索失敗則向外層詞法環(huán)境搜索，如果到最外層的全局環(huán)境還沒搜索到則會(huì)拋出異常。

嵌套定義的函數(shù)會(huì)形成javascript中一個(gè)有趣的特性：閉包。閉包的形成是由于內(nèi)層函數(shù)引用了外層函數(shù)在創(chuàng)建它時(shí)的詞法環(huán)境。即使外層函數(shù)已經(jīng)返回，執(zhí)行環(huán)境已經(jīng)銷毀，但是內(nèi)層函數(shù)依然能夠通過詞法環(huán)境的引用訪問外層函數(shù)中定義的變量或函數(shù)。

with子句和catch子句都能臨時(shí)改變當(dāng)前的詞法環(huán)境。他們的方式是有些區(qū)別的。先看with子句。

function foo(){
    var background = "#ccc";
    with(document){
        body.style.background = background;
    }
}

當(dāng)執(zhí)行流進(jìn)入foo時(shí)，這時(shí)會(huì)創(chuàng)建一個(gè)聲明式詞法環(huán)境。執(zhí)行流進(jìn)入with子句的時(shí)候，引擎會(huì)創(chuàng)建一個(gè)對(duì)象環(huán)境記錄。此時(shí)with子句中的標(biāo)識(shí)符解析都會(huì)先從document這個(gè)對(duì)象中查找。當(dāng)with子句執(zhí)行完之后，對(duì)象環(huán)境記錄銷毀。

try{
//do something
}catch(e){
//handel error
}

catch子句也能臨時(shí)改變當(dāng)前的詞法環(huán)境。和with子句不一樣的是，它會(huì)創(chuàng)建一個(gè)聲明式詞法環(huán)境，將catch子句中的參數(shù)綁定到這個(gè)詞法環(huán)境。

函數(shù)對(duì)象還有個(gè)非常重要的內(nèi)部方法[[Construct]]，當(dāng)我們將new操作符應(yīng)用到函數(shù)對(duì)象時(shí)就調(diào)用了[[Construct]]方法。此時(shí)的函數(shù)充當(dāng)構(gòu)造器的角色。下面的代碼就通過[[Construct]]創(chuàng)建了一個(gè)對(duì)象。

var Dog = function(){
}
var dog = new Dog();

[[Construct]]方法的執(zhí)行過程如下。
1.創(chuàng)建一個(gè)空對(duì)象obj。
2.設(shè)置obj的內(nèi)部屬性[[Class]]為Object。
3.設(shè)置obj的內(nèi)部屬性[[Extensible]]為true。
4.設(shè)置obj的[[Prototype]]屬性：如果函數(shù)對(duì)象prototype的值為對(duì)象則直接賦給obj，否則賦予Object的prototype值。
5.調(diào)用函數(shù)對(duì)象的[[Call]]方法并將結(jié)果賦給result。
6.如果result為對(duì)象則返回result,否則返回obj。

每個(gè)javascript對(duì)象都有一個(gè)[[Prototype]]的內(nèi)部屬性，[[Prototype]]的值為一個(gè)對(duì)象，叫做原型對(duì)象。當(dāng)程序在訪問javascript對(duì)象的某個(gè)屬性時(shí)，首先會(huì)在當(dāng)前對(duì)象中搜索，搜索失敗則到原型鏈中搜索，直到搜索到相應(yīng)值，否則就為undefined。javascript的這種特性叫做原型繼承。[[Construct]]方法的第四步是實(shí)現(xiàn)原型繼承的關(guān)鍵，它指定了javascript對(duì)象的[[Prototype]]屬性。

var Dog = function(){
}
var animal ＝ {};
Dog.prototype = animal;
var dog = new Dog();

上面代碼創(chuàng)建出來的dog對(duì)象的原型就為animal，它“繼承”了animal對(duì)象的屬性。原型繼承是另外一種面向?qū)ο蟮哪Ｐ?，相?duì)于“類”的繼承模型來說，原型繼承更加符合我們的現(xiàn)實(shí)世界的模型。原型繼承在javascript也是有非常廣的用途。

函數(shù)這條線將javascript許多核心內(nèi)容串起來了，個(gè)人覺得這也是javascript最有意思的地方。本文主要是根據(jù)Ecma-262第五版規(guī)范中相關(guān)內(nèi)容進(jìn)行的總結(jié)和整理，由于能力有限，如有理解上的錯(cuò)誤，望批評(píng)指出。