javascript之初探作用域（闭包前传）

作用域：

是一套规则，用于确定在何处以及如何查找变量（标识符）。
【个人理解就是变量或标识符的作用范围】

javascript是编译语言：

1.分词/词法分析：将由字符组成的字符串分解成（对编程语言来说）有意义的代码块【词法单元（ token ）】。
2.解析/语法分析：将词法单元流（数组）转换成一个由元素逐级嵌套所组成的代表了程序语法结构的树【“抽象语法树”（ Abstract Syntax Tree ， AST ）】。
3.代码生成：将AST转换为可执行代码的过程称被称为代码生成。这个过程与语言、目标平台等息息相关。

各部分扮演的角色：

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

变量的赋值操作会执行两个动作，首先编译器会在当前作用域中声明一个变量（如果之前没有声明过），然后在运行时引擎会在作用域中查找该变量，如果能够找到就会对它赋值。

LHS与RHS：

当变量出现在赋值操作的左侧时进行LHS查询，出现在右侧时进行RHS查询。讲得更准确一点，RHS查询与简单地查找某个变量的值别无二致，而LHS查询则是试图找到变量的容器本身，从而可以对其赋值。

在变量还没有声明（在任何作用域中都无法找到该变量）的情况下，两种查询的行为是不一样的。
如果RHS查询在所有嵌套的作用域中遍寻不到所需的变量，引擎就会抛出 ReferenceError 异常。
而引擎执行LHS查询时，如果在顶层（全局作用域）中也无法找到目标变量，全局作用域中就会创建一个具有该名称的变量，并将其返还给引擎，但“严格模式”下也会抛出ReferenceError 异常。
RHS查询找到了一个变量，但是你尝试对这个变量的值进行不合理的操作，比如试图对一个非函数类型的值进行函数调用，或着引用 null 或 undefined 类型的值中的属性，那么引擎会抛出TypeError 异常。

作用域嵌套：

作用域是根据名称查找变量的一套规则。实际情况中，通常需要同时顾及几个作用域。当一个块或函数嵌套在另一个块或函数中时，就发生了作用域的嵌套。因此，在当前作用域中无法找到某个变量时，引擎就会在外层嵌套的作用域中继续查找，直到找到该变量，或抵达最外层的作用域（也就是全局作用域）为止。

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

作用域查找始终从运行时所处的最内部作用域开始，逐级向外或者说向上进行，直到遇见第一个匹配的标识符为止。词法作用域查找只会查找一级标识符，若要访问属性，则找到这个变量后，对象属性访问规则接管对属性的访问。

全局变量会自动成为全局对象（比如浏览器中的 window 对象）的属性，因此可以不直接通过全局对象的词法名称，而是间接地通过对全局对象属性的引用来对其进行访问。【全局对象属性才能这样突破遮蔽效应】
无论函数在哪里被调用，也无论它如何被调用，它的词法作用域都只由函数被声明时所处的位置决定。

欺骗词法作用域会导致性能下降。
欺骗方式1：JavaScript 中的 eval(..) 函数可以接受一个字符串为参数，并将其中的内容视为好像在书写时就存在于程序中这个位置的代码。【严格模式下无法修改作用域】
欺骗方式2：with通常被当作重复引用同一个对象中的多个属性的快捷方式，可以不需要重复引用对象本身。【有造成变量泄露的风险】

函数作用域：

函数内部的变量一般无法从外部（作用域外）访问，访问会导致ReferenceError错误；
【函数作用域的含义是指，属于这个函数的全部变量都可以在整个函数的范围内使用及复用（事实上在嵌套的作用域中也可以使用）。】
【基于此，可以用函数包裹代码片段实现变量和函数的“隐藏”（最小暴露原则）】【怎么样，是不是有点闭包的封闭的感觉了？】

隐藏的作用：

1.实现变量和函数的私有化
2.规避标识符的命名冲突【全局命名空间；模块管理】

使用函数包含代码块进行标识符隐藏的缺陷：

1.声明的具名函数污染了全局作用域；
2.其次，函数中的代码必须显式的调用该函数才能运行；

解决方案：

使用即时执行函数（Immediately Invoked Function Expression【IIFE】;常作为函数调用并传递参数进去）；

var a = 2;
(function foo(){ // <-- 添加这一行
    var a = 3;
    console.log( a ); // 3
})(); // <-- 以及这一行
console.log( a ); // 2

匿名函数：常见于回调函数；

缺点：【因此最好指定函数名】
1.匿名函数在栈追踪中不会显示出有意义的函数名，使得调试很困难。
2.如果没有函数名，当函数需要引用自身时只能使用已经过期的 arguments.callee 引用，比如在递归中。
3.匿名函数省略了对于代码可读性 / 可理解性很重要的函数名。一个描述性的名称可以让
代码不言自明。

块作用域：

优点：

有可能实现更简洁，优雅的代码；

实例：

1.with关键字从对象中创建的作用域；
2.try/catch中的catch分句创建的作用域；
3.ES6引入的let关键字可以为其声明的变量隐式绑定块作用域；【let不存在变量提升】【有利于垃圾回收机制】
4.const也可以创建块作用域，但声明的是常量；

对函数作用域和块作用域：任何声明在某个作用域内的变量，都将附属于这个作用域。

JavaScript会将var a = 2; 看成两个声明：var a;和a = 2;。第一个定义声明是在编译阶段进行的。第二个赋值声明会被留在原地等待执行阶段。
变量和函数声明从它们在代码中出现的位置被“移动” 到了最上面。这个过程就叫作提升。而且每个作用域都会进行提升操作。
函数声明会被提升，但是函数表达式却不会被提升。
即使是具名的函数表达式，名称标识符在赋值之前也无法在所在作用域中使用：
函数声明和变量声明都会被提升。但是函数会首先被提升，然后才是变量。
【疑惑：函数和变量可以重名？】
【尽量避免会造成很多问题的重复声明】