个人向，对JS知识进行了查漏补缺，主要来源于《JS高级程序设计》和网上博客，本文内容主要包括以下：

1. 函数表达式的特征
2. 递归
3. 闭包

一、函数

1. 函数定义方法：函数声明、函数表达式

2. 函数声明:

• Demo

function sayHi () {
  console.log('Hi')
}

• 函数声明提升：
  执行代码前会先读取函数声明，意味着可以把函数声明放在调用语句后。

3. 函数表达式

• Demo

const sayHi = function () {
  console.log('Hi')
}

• 没有函数声明提升：
  所以必须在使用前声明。
• 匿名函数
  函数表达式通过把 function(){}这样一个匿名函数赋值给变量sayHi来实现。当没有赋值时，匿名函数的name是空字符串。
  

二、递归

这里有一个普通的递归函数

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

但是，当我们通过如下操作可以让它报错：

var _factorial = factorial
factorial = null
_factorial(10) // Uncaught TypeError: factorial is not a function

因此，我们可以使用 arguments.callee 这个指向正在执行函数的指针来实现递归调用：

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

但是，严格模式下不让访问 arguments.callee啊，那用命名函数表达式来解决~

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

三、 闭包

1. 定义：

有权访问另一个函数作用域中的变量的函数。 --<<JavaScript 高级程序设计>>
闭包是函数和声明该函数的词法环境的组合。 -- MDN

Js高级程序设计中的定义更偏向实际应用，而MDN的定义和JS原生的理念比较切合。

关于变量对象(Variable Object)和词法环境(Lexical Enviroment)
变量对象(VO)/活动对象(AO) 这个概念在ES5中被替换为 环境记录。
在ES5中使用词法环境来管理静态作用域。

实际上，它们都是对作用域的JS内部实现，以后的文章会具体分析ES5的这些名词和定义。

2. demo：

function counter(count) {
  return (function () {
    return count++
  })

var countFrom10 = counter(10)
countFrom10() // 10
countFrom10() // 11
countFrom10() // 12

3. 闭包的原理

函数运行在被定义时的作用域，而不是它们被执行的作用域。

其实就是counter执行完后虽然它的作用域链被销毁，但是返回的匿名函数作用域链中仍然包含有counter的活动对象。所以可以访问到counter中的变量。

这里记录下JS高级程序设计中关于闭包的产生的流程：
创建函数counter的时候，会先创建一个包含全局变量对象的作用域链，然后这个作用域链保存在函数内部的[[Scope]] 属性中。当调用counter函数的时候，会为函数创建一个执行环境，然后复制函数的[[Scope]]属性的对象构建起执行环境的作用域链。然后，函数的活动对象被创建并推入执行环境作用域链的前端。
很明显，counter函数作用域链包含 全局变量对象 和 本地活动对象。
一般来说，函数执行完毕后，局部活动对象由于没有作用域的引用而被销毁。
但是countFrom10函数创建后，从counter返回的匿名函数的作用域链包括了counter的活动对象，这就意味着counter的参数可以被访问保存，并且，当counter执行完毕后，它的执行环境作用域链被销毁，但是因为counter的活动对象仍存在在匿名函数里，所以不会被销毁，要销毁它必须：

countFrom10 = null

4. 闭包常见问题：

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

问：result这个函数数组每个函数执行后返回什么呢？
你可能认为是0 - 9，但是实际上都是返回10. 因为result数组中每个函数的作用域链中都保存着func1()的活动对象，它们都是引用同一个变量i，变量i的值到最后是10. 我们可以通过以下方法来修改：

function func1() {
  var result = []
  for ( var i = 0; i < 10; i++) {
    result[i] = function (num) {
      return function() { return num } 
    }
  }
  return result
}

因为我们通过“函数传参是传值”这个特点把i每次的值复制给了num参数传入了这个匿名函数，而在这个匿名函数又创建返回了一个能访问num的闭包。
当然，在es6，有了块级作用域，我们可以用:

function func1() {
  var result = []
  for ( let i = 0; i < 10; i++) {
    result[i] = function () {
      return i
    }
  }
  return result
}

简单地解决这个问题。因为i对于循环块内的环境都是一个独立的值。