第七章 函数表达式

• 函数表达式的特征
• 递归
• 闭包

函数表达式的特征

        定义函数的方式有两种，一种是函数声明，一种是函数表达式。函数声明如下：

function functionName (arg1, arg2) {}

关于函数声明，它的一个重要特征就是函数声明提升，意思是在执行代码之前会先读取函数声明。
        第二种创建函数的方式是使用函数表达式。比如

var functionName = function (arg1, arg2) {}

创建一个匿名函数赋值给变量functionName，这两种写法除了函数提升以外是等价的。

递归

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

function factorial (num) {
    if (num <= 1) {
      return 1
  } else {
     return num * factorial(num-1)
  }
}

        由于函数名字不同就要更改factorial的值，所以一般用argument.callee来替换，例如

function factorial (num) {
    if (num <= 1) {
      return 1
  } else {
     return num *  argument.callee(num-1)
  }
}

argument.callee这个属性在非严格模式下是可以使用，但是在严格模式下会报错。所以还有一种更好的方法，就是使用命名函数表达式来达成相同的结果。例如：

var factorial  =（ function f(num) {
    if (num <= 1) {
      return 1
  } else {
     return num *  f(num-1)
  }
}）

上面函数体虽然定义了f名，并且还加了（）但还是个函数表达式不是函数声明，这个函数名只能在函数体内使用在函数体外是不能调用的，主要用于递归处理，外层的（）不加也可以。

函数本身也是一个值，也有自己的作用域，它的作用域和变量一样，就是其声明所在的作用域，与运行时所在的作用域无关，例如：

var a = 1;
var x = function () {
  console.log(a);
};
function f() {
  var a = 2;
  x();
}
f() // 1

闭包

        闭包是指有权访问另一个函数作用域中的变量的函数。创建闭包的常见方式，就是在一个函数内部创建另一个函数。
        要理解闭包就需要知道函数在调用的时候都发生了什么？当某个函数被调用时，会创建一个执行环境及相应的作用域链。然后使用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()函数时，会创建一个预先包含全局变量对象的作用域链，这个作用域链被保存在内部的[[scope]]属性中。当调用compare()函数时，会为函数创建一个执行环境（执行上下文），这个地方执行环境可以理解成一个对象，然后通过复制函数的[[scope]]属性中的对象构建起执行环境的作用域链，如果函数内部又有一个函数，那么它的执行环境被创建并被推入执行环境作用域链的前端。显然作用域链本质上是一个指向变量对象的指针列表，它只引用但不实际包含变量对象。具体详情可以参见https://blog.csdn.net/q1056843325/article/details/53086893?locationNum=12&fps=1，里面有详细介绍。
        一般来讲，当函数执行完毕后，局部活动对象就会被销毁(比如上文中的arguments, value1, value2),内存中仅保存全局作用域（全局执行环境的变量对象,比如result 和compare），但是闭包的情况又有所不同，比如下面的代码，外层函数creatCompare 的活动对象不会被销毁，因为会被匿名函数（闭包引用），只是外层函数creatCompare 的执行环境的作用域链会被销毁，活动对象仍然会保存在内存中也就是闭包函数的[[scope]]属性中，最后匿名函数被赋值给变量compare ，这时候就变成了全局变量会一直在内存中，直到给compare 赋值为null，解除该函数的引用，就等于通知垃圾回收例程将其清除，随着匿名函数的作用域链被清除，其他作用域也都会被销毁（除了全局作用域）。

function creatCompare (propertyName) {
     return function (object1, object2) {
       var value1 = object1[propertyName]
       var value2 = object2[propertyName]
        if (value1 < value2) {
              return -1
         } else if (value1 > value2) {
             return 1
        } else {
             return 0
       }
   }
} 
var compare = creatCompare ('name')
var result = compare({name: 'nike'}, {name: 'addaise'})
compare = null   // 解除对匿名函数（闭包）的引用，释放内存

由于闭包会携带它的函数作用域（主要是外层函数的信息比如活动对象），因此会比其他函数占用更多的内训。过度使用闭包会影响浏览器性能。