javascript高级程序设计知识点总结（4）

函数表达式

一、定义函数的方式：

1.函数声明

语法：

function myFun(arg0,arg1,arg2){

//函数体

}

重要特征：

函数声明提升，即：可以把函数声明放在调用它的语句后面。

2.函数表达式

语法(有几种不同的语法形式，这里列出的是最常见的一种)：

var myFun = function(arg0,arg1,arg2){

//函数体

};//类似变量赋值语句，这里的函数时匿名函数

函数表达式与其他表达式一样，使用前必须先赋值。

二、递归

1.一般的递归写法会导致的错误：

 function factorial(num){
   if(num<=1){
      return 1;
   }else{
       return num*factorial(num-1); //因为这里会调用factorial()这个函数，而它已经为null，因此错误
   }
}

var anotherFactorial=factorial;
factorial=null;
alert(anotherFactorial(4));//出错

解释（个人理解）：

函数名是一个指向内存空间的指针，var anotherFactorial=factorial，令anotherFactorial也指向factorial指向的内存空间，也就是说，这时，这两个函数（也即两个指针）指向同一块内存空间。当factorial被置为null，该指针被销毁。调用anotherFactorial，执行到函数内部，num*factorial(num-1)时，由于factorial()已经不存在，因此出错。

2.上述错误避免

function factorial(num){
   if(num<=1){
      return 1;
   }else{
       return num*arguments.callee(num-1);//这里不再调用factorial指针，因此不会出错
   }
}

或使用命名函数表达式达成相同的结果:

var factorial=(function f(num){

if(num<=1){
      return 1;
   }else{
       return num*f(num-1);
    }

});

关于函数赋值的通俗理解：

"var anotherFactorial=factorial;"的作用相当于创建了名为anotherFactorial函数，并且，该函数的函数体与factorial函数完全相同。即，函数anotherFactorial如下：

function anotherFactorial(num){
   if(num<=1){
      return 1;
   }else{
       return num*arguments.callee(num-1);//这里不再调用factorial指针，因此不会出错
   }
}

三、闭包

注意区分匿名函数和闭包！

匿名函数：没有函数名称的函数。

闭包：有权访问另一个函数作用域中的变量的函数。

区别：一般，当函数执行完毕后，局部活动对象会被销毁，内存中仅保存全局作用域，但闭包的情况是不一样的。当包含闭包的函数执行完毕后，它自己执行环境的作用域链会被销毁（销毁的只是作用域链，也就是那个指针），但它的活动对象依然留在内存中，原因是，闭包执行环境的作用域链引用了外部函数的活动对象，因此它不被销毁。直到作为闭包的匿名函数被销毁后，它的外部函数的活动对象才被销毁。

创建闭包的方式：就是在一个函数内部创建另一个函数。

理解作用域链：当某个函数被调用时，会创建一个执行环境及相应的作用域链。然后，使用arguments和其他命名参数的值来初始化函数的活动对象。但在作用域链中，外部函数的活动对象始终处于第二位，外部函数的外部函数的活动对象始终处于第三位......直至作为作用域链终点的全局执行环境。

例如：

function compare(value1,value2){

if(value1<value2){

return -1;

}else if(value1>value2){

return 1;

}else{

return 0;

}

}

var result=compare(5,10);

当调用compare()时，会创建一个包含arguments、value1、value2的活动对象。全局执行环境的变量对象（包含result和compare）在compare()执行环境的作用域链中则处于第二位。

全局变量对象始终存在，而像compare()函数这样的局部环境的变量对象，则只在函数执行的过程中存在。

（每个变量对象，都包含一些变量，如：全局变量对象包含result、compare两个变量）

在创建compare()函数时，会创建一个预先包含全局变量对象的作用域链，这个作用域链被保存在内部的[[Scope]]属性中。当调用compare()时，会为函数创建一个执行环境，然后通过复制函数的[[Scope]]属性中的对象，构建起执行环境的作用域链。

作用域链本质上是一个指向变量对象的指针列表，它只引用但不实际包含变量对象。

1.闭包与变量

！注意：如前所述，作用域链的这种配置，使得闭包只能取得包含函数中任何变量的最后一个值。

举例说明：

function createFunctions(){

var result=new Array();

for(var i=0;i<10;i++){

result[i]=function(){

return i;

};

}

return result;

}

结果：返回10个10

原因：每个匿名函数都存有一个指向createFuntions()活动对象的作用域链，result和i是createFuntions()活动对象中包含的两个变量。因此，当createFuntions()函数返回后，i的值是10，由于十个匿名函数指向的是同一个活动对象，因此共享该对象包含的变量，所以，返回的都是10。

改进上述代码：

function createFunctions(){

var result=new Array();

for(var i=0;i<10;i++){

result[i]=function(num){

return function(){

return num;

};

}(i);

}

return result;

}

2.关于this对象

var name="The Window";

var object={

name:"My Object",

getNameFunc:function(){

return function(){

return this.name;

};

}

};

alert(object.getNameFunc()()); //"The Window"(在非严格模式下)

（1）由于getNameFunc()返回一个函数，因此调用object.getNameFunc()()就会立即调用它返回的函数，结果就是返回一个字符串。

（2）每个函数在被调用时都会自动取得两个特殊变量：this和arguments。内部函数在搜索这两个变量时，只会搜索到其活动对象为止，因此永远不可能直接访问外部函数中的这两个变量。

上述代码变形：

var name="The Window";

var object={

name:"My Object",

getNameFunc:function(){

var that=this;

return function(){

return that.name;

};

}

};

alert(object.getNameFunc()()); //"My Object"