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

词法作用域意味着作用域是由书写代码是函数声明的位置来决定的。编译的词法分析阶段基本能够直到全部标识符在哪里以及是如何声明的，从而能够预测在执行工程中如何对它们进行查找。

JavaScript中有两个机制可以“欺骗”词法作用域：eval(…)和with。前者可以对一段包含一个或多个声明的”代码“字符串进行演算，并借此来修改已经存在的词法作用域（在运行时）。后者本质上是通过将一个对象的引用当作作用域来处理，将对象的属性当作作用域中的标识符来处理，从而创建了一个新的词法作用域（同样是在运行时）。

这两个机制的副作用时引擎无法在编译时对作用域查找进行优化，因此引擎只能谨慎地认为这样的优化是无效的的。使用这其中任何一个机制都将导致代码运行变慢。

词法作用域

大部分标准语言编译器的第一个工作阶段叫作词法化（也叫单词化）。
词法作用域就是定义在词法阶段的作用域。换句话说，词法作用域是由你在写代码时将变量和块作用域写在哪里来决定的，因此当词法分析器处理代码时会保持作用域不变（大部分情况下是这样的）。

查找

作用域气泡的结构和互相之间的位置关系给引擎提供了足够的位置信息，引擎利用这些信息来查找标识符的位置。

作用域查找会在找到第一个匹配的标识符时停止。在多层的嵌套作用中可以定义同名的标识符，这叫做”遮蔽效应“（内部的标识符”遮蔽“了外部的标识符）。
抛开遮蔽效应，作用域查找试重会运行时说出的最内部作用域开始，逐级向外或者向上进行，直到遇见第一个匹配的标识符为止。

全局变量会自动成为全局对象（比如浏览器中的window对象）的属性，因此可以不直接通过全局对象的词法名称，而是间接的通过对全局对象属性的引用来对其进行访问。

全局变量会自动成为全局对象（比如浏览器中的window对象）的属性，因此可以不直接通过全局对象的词法名称，而是间接的通过对全局对象属性的引用来对其进行访问。
通过这种技术可以访问那些被同名变量所遮蔽的全局变量。但非全局的变量如果被遮蔽了，无论如何都无法被访问到。
无论函数在哪里被调用，也无论它如何被调用，它的词法作用域都只由函数被声明时所处的位置决定。
词法作用域只会查找一级标题，比如a、b、c。如果代码中引用了foo.bar.baz，词法作用域查找只会试图查找foo标识符，找到这个变量后，对象属性访问规则会分别接管对bar和baz属性的访问。

欺骗词法

如果敌法作用域完全由写代码期间函数所声明的位置来定义，怎样才能在运行时来”修改“（也可以说欺骗）词法作用域。
JS中有两种机制来实现这个目的。欺骗词法作用域会导致性能下降。

1. eval
   JS中的eval(..)函数可以接受一个字符串为参数，并将其中的内容是为好像在书写时就存在于程序这个位置的代码。换句话说，可以在写的代码总用程序生成代码并运行，就好像代码是写在那个位置的一样。
   eval(..)通常被用来执行动态创建的代码。默认情况下，如果eval(..)中所执行的代码包含一个或多个声明（无论是变量还是函数），就会对eval(..)所处的词法作用域进行修改。
   无论在何种情况，eval(..)都可以在运行期修改书写期的词法作用域。

   严格模式的程序中，eval(..)在运行时有其自己的词法作用域，意味着其中的声明无法修改所在的作用域。

function foo(){
    "use strict";
    eval(str);
    console.log(a);//ReferenceError : a is not defind
}
foo("var a=2");

JS中还有其他的一些功能效果和eval(..)很相似。setTimeout(..)和setInterval(..)的第一个参数可以是字符串，字符串的内容可以被解释为一段动态生成的函数代码。这些功能不被提倡（过时）。
new Function(..)函数的行为也很类似，最后一个参数可以接受代码字符串，并将其转化为动态生成的函数（前面的参数是这个新生产的函数的形参）。这种构建函数的语法比eval(..)略微安全一些，但也要尽量避免。
在程序中动态生成代码的使用场景非常罕见，因此它所带来的好处无法抵消性能上的损失。

1. with
   JS中另一个用来欺骗词法作用域的功能是with关键字。可以有很多方法来解释with,在这里从这个角度进行解释：它如何同被它所影响的词法作用域进行交互。

with通常被当作重复引用同一个对象中的多个属性的快捷方式，可以不需要重复引用对象本身。

function foo(obj){
    with (obj){
        a=2;
    }
}
var 01={
    a:3
};
var 02={
    b:3
};
foo(01);
console.log(01.a);//2

foo(02);
console.log(02.a);//undefined
console.log(a);//2--a被泄露到全局作用域上了

这个例子中拆个年间了01和02两个对象。其中一个具有a属性，另外一个没有。foo(..)函数接受一个obj参数，该参数是一个对象的引用，并对这个对象引用执行了with(obj){..}。在with块内部，代码看起来只是对变量a进行了简单的词法引用，实际上就是一个LHS引用，并将2赋值给它。
当将01传递进去，a=2赋值操作找到了01.a,并将2赋值给它，这在后面console.log(01.a)中可以体现。而当02传递进去，02并没有a属性，因此不会创建这个属性，02.a保持undefined。
with可以将一个没有或有多个属性的对象处理为一个完全隔离的词法作用域，因此这个对象属性也会被处理为定义在这个作用域中的词法标识符。

02的作用域、foo(..)的作用域和全局作用域总都没有找到标识符a，因此当a=2执行时，自动创建了一个全局变量（因为是非严格模式）。

尽管with块可以将一个对象处理为词法作用域，但是这个块内部正常的var声明并不会被限制在这个块的作用域中，而是被添加到with所处的函数作用域中。

eval(..)函数如果接受了一个或多个声明的代码，就会修改其所处的词法作用域，而with声明实际上是根据你传递给它的对象平凭空创建了一个全新的词法作用域。
另外一个不推荐使用eval(..)和with原因是会被严格模式所影响（限制）。with被完全禁止，而在保留核心功能的前提下，间接或非安全的使用eval(..)也被禁止了。