令人迷惑的闭包

JavaScript中闭包的定义

在计算机科学中对于闭包的定义（维基百科）

闭包（closure）又称词法闭包（Lexical Closure）或者函数闭包（function Closure）
是在支持头等函数的编程语言中，实现词法绑定的一种技术
闭包实际上是一个结构体，他存储了一个函数和一个关联的环境（相当于一个符号查找表）
闭包跟函数的最大区别在于，当捕捉闭包的时候，他的自由变量会在补充时被确定，这样即使脱离了捕捉的上下文，它也能照样运行

MDN对于JavaScript闭包的解释

一个函数对其周围状态（lexical environment，词法环境）的引用捆绑在一起（或者说函数被引用包围），这样的组合就是闭包
也就是说：闭包可以让你在一个内层函数中访问到外层函数的作用域（函数的执行上下文）
在JavaScript中，每次创建一个函数，闭包就会在函数创建的时候同时被创建出来

举个列子：

var a = 1
function foo(){
    console.log(a)
}
foo()

foo函数可以访问到变量a,但时a既不是foo函数的局部变量，也不是函数的参数，所以a是自由变量。那么函数foo + foo函数访问的自由变量a就构成了一个闭包..... 在《JavaScript权威指南》中讲到：从技术的角度，所有的JavaScript函数都是一个闭包。 ECMAScript中，闭包指的是：

从理论角度：所有的函数。因为它们都在创建的时候就将上层上下文的数据保存起来了。哪怕是简单的全局变量也是如此，因为函数中访问全局变量就相当于是在访问自由变量，这个时候使用最外层的作用域。
从实践角度：以下函数才算是闭包：
1. 即使创建它的上下文已经销毁，它仍然存在（比如，内部函数从父函数中返回）
2. 在代码中引用了自由变量

个人理解和总结

一个函数能够访问外层的自由变量，那么这个函数就是一个闭包
自由变量：在函数中使用，但既不是函数参数，也不是函数的局部变量的变量

闭包 = 函数 + 函数能够访问的自由变量

闭包的访问和执行

var scope = "global scope";
function checkscope(){
    var scope = "local scope";
    function f(){
        return scope;
    }
    return f;
}

var foo = checkscope();
foo();  //loacl scope

进入全局代码，创建全局执行上下文，全局执行上下文压入执行上下文栈
全局执行上下文初始化
执行 checkscope 函数，创建 checkscope 函数执行上下文，checkscope 执行上下文被压入执行上下文栈
checkscope 执行上下文初始化，创建变量对象、作用域链、this等
checkscope 函数执行完毕，checkscope 执行上下文从执行上下文栈中弹出
执行 f 函数，创建f 函数执行上下文，f 执行上下文被压入执行上下文栈
f 执行上下文初始化，创建变量对象、作用域链、this等
f 函数执行完毕，f 函数上下文从执行上下文栈中弹出

理解这个过程，我们应该思考一个问题：当f函数执行的时候，checkscope函数的上下文已经被销毁了（即从执行上下文站中被弹出），怎么还会渠道checkscope作用域下的scope的值呢？

我们知道f执行上下文维护了一个作用域链：

//伪代码
fContext = {
    scope:[AO,checkscopeContext.AO,globalContext.VO]

就是因为这个作用域链，f函数依然可以读到checkscopeContext.AO的值，说明当 f 函数引用了 checkscopeContext.AO 中的值的时候，即使 checkscopeContext被销毁了,但是JavaScript依然会让checkscopeContext.AO活在内存中，f 函数依然可以通过f 函数的作用域链找到它，正是因为 JavaScript 做到了这一点，从而实现了闭包这个概念。

JavaScript --闭包