个人向，对JS知识进行了查漏补缺，主要来源于《JS高级程序设计》和网上博客，本文内容主要包括以下：
- 函数表达式的特征
- 递归
- 闭包
一、函数
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对于循环块内的环境都是一个独立的值。
