词法作用域就是定义在词法阶段（编译器的第一个阶段）的作用域。换句话说，词法作用域是由你在写代码时将变量和块作用域写在哪里决定的，因此当词法分析器处理代码时会保持作用域不变。
当引擎查找变量引用的时候，首先从最内部的作用域开始查找，如果没有找到，就往上一级的作用域继续找。作用域查找会在找到第一个匹配的标识符时停止。在多层嵌套作用域中可以定义同名的标识符，这叫做遮蔽效应（内部的标识符遮蔽了外部的标识符）。
全局变量会自动成为全局对象（比如浏览器中的window 对象）的属性，因此
可以不直接通过全局对象的词法名称，而是间接地通过对全局对象属性的引
用来对其进行访问。
window.a
通过这种技术可以访问那些被同名变量所遮蔽的全局变量。但非全局的变量
如果被遮蔽了，无论如何都无法被访问到。
欺骗词法
即改变词法作用域（会导致性能下降而且被严格模式限制）
- eval()
JavaScript 中的eval(..) 函数可以接受一个字符串为参数，并将其中的内容视为好像在书写时就存在于程序中这个位置的代码。换句话说，可以在你写的代码中用程序生成代码并运行，就好像代码是写在那个位置的一样。
通常被用来执行动态创建的代码
function foo(str, a) {
eval( str ); // 欺骗！
console.log( a, b );
}
var b = 2;
foo( "var b = 3;", 1 ); // 1, 3
eval(..) 调用中的"var b = 3;" 这段代码会被当作本来就在那里一样来处理。由于那段代
码声明了一个新的变量b，因此它对已经存在的foo(..) 的词法作用域进行了修改。事实
上，和前面提到的原理一样，这段代码实际上在foo(..) 内部创建了一个变量b，并遮蔽
了外部（全局）作用域中的同名变量。
当console.log(..) 被执行时，会在foo(..) 的内部同时找到a 和b，但是永远也无法找到
外部的b。因此会输出“1, 3”而不是正常情况下会输出的“1, 2”。 - with()
如何解释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;
}
}
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 被泄漏到全局作用域上了！
with内部其实就是一个LHS引用
为什么会泄露到全局作用域上呢：
- with 可以将一个没有或有多个属性的对象处理为一个完全隔离的词法作用域，因此这个对象的属性也会被处理为定义在这个作用域中的词法标识符。
- 尽管with 块可以将一个对象处理为词法作用域，但是这个块内部正常的var
声明并不会被限制在这个块的作用域中，而是被添加到with 所处的函数作
用域中。
eval(..) 函数如果接受了含有一个或多个声明的代码，就会修改其所处的词法作用域，而
with 声明实际上是根据你传递给它的对象凭空创建了一个全新的词法作用域。
这两个机制的副作用是引擎无法在编译时对作用域查找进行优化，因为引擎只能谨慎地认
为这样的优化（JavaScript 引擎会在编译阶段进行数项的性能优化。其中有些优化依赖于能够根据代码的词法进行静态分析，并预先确定所有变量和函数的定义位置，才能在执行过程中快速找到标识符。）是无效的。使用这其中任何一个机制都将导致代码运行变慢。不要使用它们。
