函数是javascript中最主要的内容，也是其相对其他言语来讲在设想上比较有意义的处所。javascript很多高等特征也或多或少和函数相干。本文将以函数为中间，对函数的各个症结知识点做扼要引见。

函数是对象

明白函数是对象，是正确明白函数的第一步。下面的代码就建立了一个函数对象。

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

每一个函数都是Function范例的实例。Function组织函数可以接收多个参数，末了一个参数是函数体，其他参数均为函数的形参。因为其誊写的不文雅和两次剖析致使的机能题目，这类体式格局不经常被采纳，然则这类写法关于明白函数就是对象黑白常有协助的。平常地，我们都用字面的体式格局来建立函数。

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

以上两种定义函数的要领离别叫做函数表达式和函数声明，二者的效果是等价的，区分在于剖析器向实行环境加载数据时对二者的处置惩罚不一样。剖析器会领先读取函数声明来建立函数对象，保证其在任何代码实行之前可用；关于函数表达式，则必需比及剖析器实行到对应的代码行，函数对象才被建立。

在javascript中，函数对象和其他对象一样，均被视为一等国民。所以函数可以被援用、可以作为参数被通报或作为返回值返回，这使得函数的运用非常的天真。

函数的实行

函数对象代表了一个历程，和大多数言语一样经由过程函数挪用表达式可以挪用这个历程。然则javascript的函数对象还供应了别的两种挪用体式格局，call和apply要领。call和apply要领的第一个参数用于指定实行环境中this的绑定，背面的参数用于指定函数的实际参数。call和apply的唯一区分是实参的情势不一样，call是用逗号支解，apply则是以数组通报。比方：

//函数挪用表达式
sum(1, 2);
//call要领
sum.call(this, 1, 2);
//apply要领
sum.apply(this, [1, 2]);

不管用哪一种挪用体式格局，终究都是经由过程函数对象的[[Call]]要领实际挪用这个历程。[[Call]]要领是javascript引擎内部运用的一个要领，顺序不能直接接见它。[[Call]]要领接收两个参数，第一个参数指定this的绑定值，第二个参数指定函数的参数列表。为了表达轻易，背面我们将[[Call]]要领的第一个参数称作thisArg。函数对象的call要领和apply要领可以显现指定thisArg，函数表达式则是隐式指定这个参数的。比方：

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

代码在浏览器的实行效果以下：

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

从实行效果可以看出，obj.foo()这类挪用要领，隐式将挪用它的对象obj作为了thisArg。然则为何foo()这类挪用体式格局this的绑定值是window这个全局对象?岂非foo()这类挪用体式格局将全局对象默许指定为thisArg？实在不是如许的。thisArg并非和this症结字的绑定一一对应的，其中有一个转换历程。以下：
1.假如thisArg为undefined或许null，则this的绑定为全局对象。
2.假如thisArg不是Object范例，则将thisArg强迫转型为Object范例并绑定到this。
3.不然this的绑定就为thisArg。
实在foo()这类挪用体式格局thisArg的值为undefined，经由过程以上的转换历程将this绑定为全局对象。

实行环境与闭包

前面提到过实行环境(Execution Context)这个观点，简朴来讲实行环境就是函数在实行时所依靠的一个数据环境，它决议了函数的行动。顺序实行流每次进入函数代码时都邑建立一个新的实行环境。运动的实行环境在逻辑上构成了一个栈的构造。当函数实行终了，实在行环境从栈中弹出并烧毁。

每一个实行环境都包括一个主要的组件：词法环境(Lexical Environment)。词法环境定义了javascript顺序标识符到变量或函数的关联关联。词法环境包括了环境纪录(Environment Record)和一个到外层词法环境的援用(假若有的话，不然为null)。环境纪录纪录了当前作用域下的变量或函数的绑定状况。有两种范例的环境纪录，声明式环境纪录(Declarative Environment Records)和对象环境纪录(Object Environment Records)。声明式环境纪录包括了当前作用域下标识符到变量声明和函数声明的绑定。对象环境纪录是一个和特定对象绑定的环境纪录，用于暂时转变标识符的剖析状况，比如在with子句中。

函数对象都有一个[[Scope]]属性，函数对象在建立时会将当前实行环境的词法环境的值给予给[[Scope]]属性。这个属性是引擎的内部属性，顺序无法接见到它。当顺序流进入到函数时，javascript引擎会建立新的实行环境，同时也建立对应的词法环境。引擎会将当前作用域声明的变量和函数绑定到词法环境，同时将[[Scope]]属性的援用也添加到词法环境。顺序在举行标识符剖析的时刻，会优先从当前的词法环境中搜刮，搜刮失利则向外层词法环境搜刮，假如到最外层的全局环境还没搜刮到则会抛出非常。

嵌套定义的函数会构成javascript中一个风趣的特征：闭包。闭包的构成是因为内层函数援用了外层函数在建立它时的词法环境。纵然外层函数已返回，实行环境已烧毁，然则内层函数依旧可以经由过程词法环境的援用接见外层函数中定义的变量或函数。

with和catch子句

with子句和catch子句都能暂时转变当前的词法环境。他们的体式格局是有些区分的。先看with子句。

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

当实行流进入foo时，这时会建立一个声明式词法环境。实行流进入with子句的时刻，引擎会建立一个对象环境纪录。此时with子句中的标识符剖析都邑先从document这个对象中查找。当with子句实行完以后，对象环境纪录烧毁。

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

catch子句也能暂时转变当前的词法环境。和with子句不一样的是，它会建立一个声明式词法环境，将catch子句中的参数绑定到这个词法环境。

组织器与原型继续

函数对象另有个非常主要的内部要领[[Construct]]，当我们将new操作符应用到函数对象时就挪用了[[Construct]]要领。此时的函数充任组织器的角色。下面的代码就经由过程[[Construct]]建立了一个对象。

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

[[Construct]]要领的实行历程以下。
1.建立一个空对象obj。
2.设置obj的内部属性[[Class]]为Object。
3.设置obj的内部属性[[Extensible]]为true。
4.设置obj的[[Prototype]]属性：假如函数对象prototype的值为对象则直接赋给obj，不然给予Object的prototype值。
5.挪用函数对象的[[Call]]要领并将效果赋给result。
6.假如result为对象则返回result,不然返回obj。

每一个javascript对象都有一个[[Prototype]]的内部属性，[[Prototype]]的值为一个对象，叫做原型对象。当顺序在接见javascript对象的某个属性时，起首会在当前对象中搜刮，搜刮失利则到原型链中搜刮，直到搜刮到响应值，不然就为undefined。javascript的这类特征叫做原型继续。[[Construct]]要领的第四步是完成原型继续的症结，它指定了javascript对象的[[Prototype]]属性。

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

上面代码建立出来的dog对象的原型就为animal，它“继续”了animal对象的属性。原型继续是别的一种面向对象的模子，相关于“类”的继续模子来讲，原型继续越发相符我们的实际天下的模子。原型继续在javascript也是有非常广的用处。

结语

函数这条线将javascript很多核心内容串起来了，个人以为这也是javascript最有意义的处所。本文主如果依据Ecma-262第五版范例中相干内容举行的总结和整顿，因为才能有限，若有明白上的毛病，望指摘指出。