[TOC] ## 1.2 词法作用域 词法化（单词化）的过程会对源代码中的字符进行检查，如果是有状态的解析过程，还会赋予单词语义。 ### 1.2.1 词法阶段 **词法作用域就是定义在词法阶段的作用域。**词法作用域是由你在写代码时将变量和块作用域写在哪里来决定的，因此当词法分析器处理代码时会保持作用域不变（大部分情况下是这样的）。 ~~~ function foo(a) { var b = a * 2; function bar(c) { console.log( a, b, c ); } bar( b * 3 ); } foo( 2 ); // 2, 4, 12 ~~~ 作用域如  **作用域查找**会在找到第一个匹配的标识符时停止。在多层的嵌套作用域中可以定义同名的标识符，这叫作“遮蔽效应”（内部的标识符“遮蔽”了外部的标识符）。 全局变量会自动成为全局对象（比如浏览器中的window 对象）的属性，可以不直接通过全局对象的词法名称，而是间接地通过对全局对象属性的引用来对其进行访问。 ~~~ window.a ~~~ 通过这种技术可以访问那些被同名变量所遮蔽的全局变量。 无论**函数**在哪里被调用，也无论它如何被调用，它的词法作用域都**只由函数被声明时所处的位置决定。** ### 1.2.2 欺骗词法（尽量不要使用） JavaScript 中有**两种机制**来实现在运行时修改词法作用域。但在代码中使用这两种机制并不是什么好注意。**欺骗词法作用域会导致性能下降。** * `eval(..) `函数 可以接受一个字符串为参数，并将其中的内容视为好像在书写时就存在于程序中这个位置的代码。（在严格模式的程序中，`eval(..) `在运行时有其自己的词法作用域，意味着其中的声明无法修改所在的作用域。） **总结：**`eval(...)`以对一段包含一个或多个声明的“代码”字符串进行演算，并借此来修改已经存在的词法作用域（在运行时）。 ~~~ function foo(str, a) { eval( str ); // 欺骗！ console.log( a, b ); } var b = 2; foo( "var b = 3;", 1 ); // 1, 3 ~~~ * `with`关键字 with 通常被当作重复引用同一个对象中的多个属性的快捷方式，可以不需要重复引用对象本身。 **总结：**本质上是通过将一个对象的引用当作作用域来处理，将对象的属性当作作用域中的标识符来处理，从而创建了一个新的词法作用域（在运行时）。 ~~~ var obj = { a: 1, b: 2, c: 3 }; // 单调乏味的重复"obj" obj.a = 2; obj.b = 3; obj.c = 4; // 简单的快捷方式 with (obj) { a = 3; b = 4; c = 5; } ~~~ 但实际上这不仅仅是为了方便地访问对象属性。考虑如下代码： ~~~ function foo(obj) { with (obj) { a = 2; //实际上是LHS引用 } } var o1 = { a: 3 }; var o2 = { b: 3 }; foo( o1 ); console.log( o1.a ); // 2 foo( o2 ); console.log( o2.a ); // undefined console.log( a ); // 2——不好，a 被泄漏到全局作用域上了！ ~~~ 当我们传递o1 给with 时，with 所声明的作用域是o1，而这个作用域中含有一个同o1.a 属性相符的标识符。但当我们将o2 作为作用域时，其中并没有a 标识符，因此进行了正常的LHS 标识符。查找o2 的作用域、foo(..) 的作用域和全局作用域中都没有找到标识符a，因此当a＝2 执行时，自动创建了一个全局变量（因为是非严格模式）。 `with` 可以将一个没有或有多个属性的对象处理为一个完全隔离的词法作用域，因此这个对象的属性也会被处理为定义在这个作用域中的词法标识符。 ### 1.2.3 性能 `eval(..) 和with `会在运行时修改或创建新的作用域，以此来欺骗其他在书写时定义的词法作用域。 JavaScript 引擎会在编译阶段进行数项的性能优化。其中有些**优化依赖**于能够根据代码的词法进行**静态分析**，并**预先确定**所有变量和函数的定义**位置**，才能在执行过程中快速找到标识符。 但如果引擎在代码中发现了eval(..) 或with，它只能简单地假设关于标识符位置的判断都是无效的，因为无法在词法分析阶段明确知道eval(..) 会接收到什么代码，这些代码会如何对作用域进行修改，也无法知道传递给with 用来创建新词法作用域的对象的内容到底是什么。甚至所有的优化可能都是无意义的，因此最简单的做法就是完全不做任何优化。