JS作用域和闭包

一：作用域是什么？

几乎所有编程语言最基本的功能之一，就是能够储存变量当中的值，并且能在之后对这个 值进行访问或修改。

将变量引入程序中，就会带来一些问题：
1.这些变量住在程序中的哪里？（变量存储在哪儿）
2.在需要用到变量时，程序又是如何去找到变量？

也就是说：

需要有一套设计好的规则来存储这些变量，并且能够让使用者方便的去找到这些变量，这套规则就称为作用域。

1.理解作用域

1.1 深入理解var a = 2

在处理var a = 2时，将有如下三大部分进行参与：

• 引擎
  从头到尾负责整个JavaScript程序的编译及执行过程
• 编译器
  负责语法分析及代码生成等脏活累活
• 作用域
  负责收集并维护由所有声明的标识符（变量）组成的一系列查 询，并实施一套非常严格的规则，确定当前执行的代码对这些标识符的访问权限。

事实上，这一句var a = 2 在编译器中会进行以下处理：
1.var a:

遇到 var a，编译器会询问作用域是否已经有一个该名称的变量存在于同一个作用域的 集合中。如果是，编译器会忽略该声明，继续进行编译；否则它会要求作用域在当前作 用域的集合中声明一个新的变量，并命名为 a。

2.a=2

接下来编译器会为引擎生成运行时所需的代码，这些代码被用来处理 a = 2 这个赋值 操作。引擎运行时会首先询问作用域，在当前的作用域集合中是否存在一个叫作 a 的变量。如果是，引擎就会使用这个变量；如果否，引擎会继续查找该变量

3.结果

如果引擎最终找到了 a 变量，就会将 2 赋值给它。否则引擎就会举手示意并抛出一个异 常！

总结：对一个变量的赋值会执行两个操作：
首先编译器会在当前作用域中声明这个变量（如果该变量并未声明）
然后运行时，引擎会在作用域中查找该变量，如果能够找到就会对它赋值

1.2 进一步加深对赋值操作的理解

从1.1中的第2步可知，在引擎执行时，会先在作用域中查找是否有变量a，但是引擎执行不同的查找，同样会影响到最终查找的结果。

从var a = 2 这个例子中，引擎会为变量a进行LHS查询，另外一种查找的类型叫做RHS

笼统的讲：当变量出现在赋值操作的左侧时进行 LHS 查询，出现在右侧时进行 RHS 查询。

LHS查询：而 LHS 查询是试图找到变量的容器本身，从而可以对其赋值。
RHS查询：RHS 查询与简单地查找某个变量的值别无二致

举几个例子来说明：

console.log( a );

这里对a的引用是一个RHS引用，这里的a并没有赋予任何值，相应地，这个a的值需要查找区获取，这样才能将值传递给console.log(…)

a = 2;

这里对 a 的引用则是 LHS 引用，因为实际上我们并不关心当前的值是什么，只是想要为 = 2 这个赋值操作找到一个目标。

function foo(a) {
    
	console.log( a ); // 2 }
	foo( 2 );

这一段程序中，则是既有LHS引用，也有RHS引用

最后一行的foo(…)意味着“去找到foo的值，并且把这个值给我”这是一个RHS查询。

注意：代码有一段隐式的操作a=2，这个操作发生在2被当做参数传递给foo函数时候，2会被传递给参数a,需要进行一次LHS查询。

注意： console.log(…).这句代码本身也需要一个应用才能执行，对console对象进行RHS查询，并且检查得到的值中是否有一个叫作log的方法。

最后对console.log（…）里传递进来的a的RHS查询

把这个过程想象成是一段对话：

引擎：我说作用域，我需要为 foo 进行 RHS 引用。你见过它吗？
作用域：别说，我还真见过，编译器那小子刚刚声明了它。它是一个函数，给你。
引擎：哥们太够意思了！好吧，我来执行一下 foo。
引擎：作用域，还有个事儿。我需要为 a 进行 LHS 引用，这个你见过吗？ 作用域：这个也见过，编译器最近把它声名为 foo 的一个形式参数了，拿去吧。
引擎：大恩不言谢，你总是这么棒。现在我要把 2 赋值给 a。
引擎：哥们，不好意思又来打扰你。我要为console 进行 RHS 引用，你见过它吗？
作用域：咱俩谁跟谁啊，再说我就是干这个。这个我也有，console 是个内置对象。 给你。
引擎：么么哒。我得看看这里面是不是有 log(…)。太好了，找到了，是一个函数。
引擎：哥们，能帮我再找一下对 a 的 RHS引用吗？虽然我记得它，但想再确认一次。
作用域：放心吧，这个变量没有变动过，拿走，不谢。 引擎：真棒。我来把 a 的值，也就是 2，传递进log(…)。

1.3 作用域嵌套

当一个块或函数嵌套在另一个块或函数中时，就发生了作用域的嵌套。因此，在当前作用 域中无法找到某个变量时，引擎就会在外层嵌套的作用域中继续查找，直到找到该变量， 或抵达最外层的作用域（也就是全局作用域）为止。

function foo(a) {
    
	console.log( a + b ); 
}

var b = 2; 

foo( 2 ); // 4

对b进行的RHS引用无法在函数内部完成，但可以在上一级作用域中(此例子中为全局作用域)完成。

遍历嵌套作用域链的规则就是：

引擎从当前的执行作用域开始查找变量，如果找不到， 就向上一级继续查找。当抵达最外层的全局作用域时，无论找到还是没找到，查找过程都 会停止。

1.4 异常

为什么要区分LHS和RHS查询？

因为在变量还没有声明（在任何作用域中都无法找到该变量）的情况下，这两种查询的行为是不一样的。

function foo(a) {
    
	console.log( a + b );
	b = a; 
}
 foo( 2 );

console.log( a + b );中第一次对b进行RHS查询时是无法找到该变量的，也就是说这是一个“未声明”的变量，

如果经由RHS查询后在所有的嵌套的作用域中都寻找不到所需要的变量，就会抛出ReferenceError异常。

不同的时，如果执行的时LHS查询，如果在顶层作用域中也无法找到变量，全局作用域会创建一个具有该名称的变量，并将其返还给引擎（非严格模式下）

如果 RHS 查询找到了一个变量，但是你尝试对这个变量的值进行不合理的操作， 比如试图对一个非函数类型的值进行函数调用，或着引用 null 或 undefined 类型的值中的 属性，那么引擎会抛出另外一种类型的异常，叫作 TypeError。

ReferenceError 同作用域判别失败相关，而 TypeError 则代表作用域判别成功了，但是对 结果的操作是非法或不合理的。

1.5 小结

作用域是一套规则，用于确定在何处以及如何查找变量（标识符）。如果查找的目的是对 变量进行赋值，那么就会使用 LHS 查询；如果目的是获取变量的值，就会使用 RHS 查询。

赋值操作符会导致 LHS 查询。＝操作符或调用函数时传入参数的操作都会导致关联作用域 的赋值操作。

JavaScript 引擎首先会在代码执行前对其进行编译，在这个过程中，像 var a = 2 这样的声明会被分解成两个独立的步骤：

1. 首先，var a 在其作用域中声明新变量。这会在最开始的阶段，也就是代码执行前进行。
2. 接下来，a = 2 会查询（LHS 查询）变量 a 并对其进行赋值。

LHS 和 RHS 查询都会在当前执行作用域中开始，如果有需要（也就是说它们没有找到所 需的标识符），就会向上级作用域继续查找目标标识符，这样每次上升一级作用域（一层 楼），最后抵达全局作用域（顶层），无论找到或没找到都将停止。

不成功的 RHS 引用会导致抛出 ReferenceError 异常。不成功的 LHS 引用会导致自动隐式 地创建一个全局变量（非严格模式下），该变量使用 LHS 引用的目标作为标识符，或者抛出 ReferenceError 异常（严格模式下）

二：词法作用域

在第 1 章中，我们将“作用域”定义为一套规则，这套规则用来管理引擎如何在当前作用域以及嵌套的子作用域中根据标识符名称进行变量查找。

作用域共有两种主要的工作模型。第一种是最为普遍的，被大多数编程语言所采用的词法作用域，我们对这种作用域进行深入讨论。另外一种叫作动态作用域，仍有一些编程语 言在使用（比如 Bash 脚本、Perl 中的一些模式等）

2.1 词法阶段

词法作用域就是定义在词法阶段的作用域。换句话说，词法作用域是由你在写代码时将变量和块作用域写在哪里来决定的，因此当词法分析器处理代码时会保持作用域不变（大部分情况下是这样的）。

function foo(a) {
   
	var b = a * 2;
	
	function bar(c) {
    
		console.log( a,