JS-函数表达式（闭包、匿名函数）

一句话概括：

• 闭包就是有权利使用另一个函数作用域的变量的函数。
• 匿名函数就是创建了一个函数并将其赋给一个变量的函数（没有名字的函数）。

##### 定义函数的方式有两种：一种是函数声明，另一种就是函数表达式。

• 函数声明的语法是这样的。

   function functionName(arg0, arg1, arg2) 
   {     
         // 函数体
   }

  关于函数声明，它的一个重要特征就是函数声明提升（ function declaration hoisting ），意思是在执行代码之前会先读取函数声明。这就意味着可以把函数声明放在调用它的语句后面。

• 第二种创建函数的方式是使用函数表达式。函数表达式有几种不同的语法形式。下面是最常见的一种形式。

  var functionName = function(arg0, arg1, arg2)
  {    
        // 函数体 
  };

  这种形式看起来好像是常规的变量赋值语句，即创建一个函数并将它赋值给变量 functionName 。

        这种情况下创建的函数叫做匿名函数（ anonymous function ），因为 function 关键字后面没有标识符。（匿名函数有时候也叫拉姆达函数。）匿名函数的 name 属性是空字符串。函数表达式与其他表达式一样，在使用前必须先赋值。在把函数当成值来使用的情况下，都可以使用匿名函数。

---

##### 递归函数是在一个函数通过名字调用自身的情况下构成的

       arguments.callee 是一个指向正在执行的函数的指针，因此可以用它来实现对函数的递归调用

       通过使用 arguments.callee 代替函数名，可以确保无论怎样调用函数都不会出问题。因此，在编写递归函数时，使用 arguments.callee 总比使用函数名更保险。

---

##### 闭包是指有权访问另一个函数作用域中的变量的函数。创建闭包的常见方式，就是在一个函数内部创建另一个函数。

• 当某个函数第一次被调用时，会创建一个执行环境（ execution context ）及相应的作用域链，并把作用域链赋值给一个特殊的内部属性（即 [[Scope]] ）。然后，使用 this 、 arguments 和其他命名参数的值来初始化函数的活动对象（ activation object ）。但在作用域链中，外部函数的活动对象始终处于第二位，外部函数的外部函数的活动对象处于第三位， …… 直至作为作用域链终点的全局执行环境。
•         由于闭包会携带包含它的函数的作用域，因此会比其他函数占用更多的内存。过度使用闭包可能会导致内存占用过多。

闭包只能取得包含函数中任何变量的最后一个值。别忘了闭包所保存的是整个变量对象，而不是某个特殊的变量。下面这个例子可以清晰地说明这个问题。

function createFunctions(){     
    var result = new Array();     
    for (var i=0; i < 10; i++){         
        result[i] = function(){             
               return i;         
        };    
     }    
     return result; 
} 

       这个函数会返回一个函数数组。表面上看，似乎每个函数都应该返自己的索引值，即位置 0 的函数返回 0 ，位置 1 的函数返回 1 ，以此类推。但实际上，每个函数都返回 10 。因为每个函数的作用域链中都保存着 createFunctions() 函数的活动对象，所以它们引用的都是同一个变量 i 。当 createFunctions() 函数返回后，变量 i 的值是 10 ，此时每个函数都引用着保存变量 i 的同一个变量对象，所以在每个函数内部 i 的值都是 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; 
} 

       在重写了前面的 createFunctions() 函数后，每个函数就会返回各自不同的索引值了。在这个版本中，我们没有直接把闭包赋值给数组，而是定义了一个匿名函数，并将立即执行该匿名函数的结果赋给数组。这里的匿名函数有一个参数 num ，也就是最终的函数要返回的值。在调用每个匿名函数时，我们传入了变量 i 。由于函数参数是按值传递的，所以就会将变量 i 的当前值复制给参数 num 。而在这个匿名函数内部，又创建并返回了一个访问 num 的闭包。这样一来， result 数组中的每个函数都有自己 num 变量的一个副本，因此就可以返回各自不同的数值了。

---

       匿名函数的执行环境具有全局性，因此其 this 对象通常指向 window ，在通过 call() 或 apply() 改变函数执行环境的情况下， this 就会指向其他对象

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

       闭包会引用包含函数的整个活动对象

       JavaScript 从来不会告诉你是否多次声明了同一个变量；遇到这种情况，它只会对后续的声明视而不见（不过，它会执行后续声明中的变量初始化）。匿名函数可以用来模仿块级作用域并避免这个问题。

       用作块级作用域（通常称为私有作用域）的匿名函数的语法如下所示。

 (function()
   {    
     // 这里是块级作用域 
   }
 )();

       以上代码定义并立即调用了一个匿名函数。将函数声明包含在一对圆括号中，表示它实际上是一个函数表达式。而紧随其后的另一对圆括号会立即调用这个函数。

      在匿名函数中定义的任何变量，都会在执行结束时被销毁。因此，变量 只能在循环中使用，使用后即被销毁。

      这种技术经常在全局作用域中被用在函数外部，从而限制向全局作用域中添加过多的变量和函数。一般来说，我们都应该尽量少向全局作用域中添加变量和函数。在一个由很多开发人员共同参与的大型应用程序中，过多的全局变量和函数很容易导致命名冲突。而通过创建私有作用域，每个开发人员既可以使用自己的变量，又不必担心搞乱全局作用域。

---

       有权访问私有变量和私有函数的公有方法称为特权方法（ privileged method ）。有两种在对象上创建特权方法的方式。

• 第一种是在构造函数中定义特权方法，能够在构造函数中定义特权方法，是因为特权方法作为闭包有权访问在构造函数中定义的所有变量和函数。

       每次调用构造函数都会重新创建这两个方法。不过，在构造函数中定义特权方法也有一个缺点，那就是你必须使用构造函数模式来达到这个目的。构造函数模式的缺点是针对每个实例都会创建同样一组新方法，而使用静态私有变量来实现特权方法就可以避免这个问题。

---

       模块模式（ module pattern ）则是为单例创建私有变量和特权方法。所谓单例（ singleton ），指的就是只有一个实例的对象。按照惯例， JavaScript 是以对象字面量的方式来创建单例对象的。

var singleton = {    
     name : value,    
     method : function () {         // 这里是方法的代码     } 
}; 

模块模式通过为单例添加私有变量和特权方法能够使其得到增强，

       如果必须创建一个对象并以某些数据对其进行初始化，同时还要公开一些能够访问这些私有数据的方法，那么就可以使用模块模式。以这种模式创建的每个单例都是 Object 的实例，因为最终要通过一个对象字面量来表示它。

---

函数表达式的特点：

• 函数表达式不同于函数声明。函数声明要求有名字，但函数表达式不需要。
• 没有名字的函数表达式也叫做匿名函数。
• 在无法确定如何引用函数的情况下，递归函数就会变得比较复杂；递归函数应该始终使用 arguments.callee 来递归地调用自身，不要使用函数名 —— 函数名可能会发生变化。
• 当在函数内部定义了其他函数时，就创建了闭包。闭包有权访问包含函数内部的所有变量，原理：在后台执行环境中，闭包的作用域链包含着它自己的作用域、包含函数的作用域和全局作用域。通常，函数的作用域及其所有变量都会在函数执行结束后被销毁。但是，当函数返回了一个闭包时，这个函数的作用域将会一直在内存中保存到闭包不存在为止。
• 使用闭包可以在 JavaScript 中模仿块级作用域（ JavaScript 本身没有块级作用域的概念），要点：创建并立即调用一个函数，这样既可以执行其中的代码，又不会在内存中留下对该函数的引用。结果就是函数内部的所有变量都会被立即销毁 —— 除非将某些变量赋值给了包含作用域（即外部作用域）中的变量。
• 闭包还可以用于在对象中创建私有变量，相关概念和要点如下。即使 JavaScript 中没有正式的私有对象属性的概念，但可以使用闭包来实现公有方法，而通过公有方法可以访问在包含作用域中定义的变量。有权访问私有变量的公有方法叫做特权方法。可以使用构造函数模式、原型模式来实现自定义类型的特权方法，也可以使用模块模式、增强的模块模式来实现单例的特权方法。

JavaScript 中的函数表达式和闭包都是极其有用的特性，利用它们可以实现很多功能。不过，因为创建闭包必须维护额外的作用域，所以过度使用它们可能会占用大量内存。