eval和with

在说eval和with之前，我们先来说一个概念：词法作用域。

作用域共有两种主要的工作模型，第一种为动态作用域，而另一种就是词法作用域。

简单来说词法作用域就是定义在词法阶段的作用域，换句话说，词法作用域是由你在写代码时将代码和块作用域写在哪决定的，因此当词法分析器在处理代码时会保持作用域不变（大部分情况是这样的），而eval和with就是欺骗（修改）词法作用域的方法，它们可以在词法分析器处理过后继续修改作用域。

1.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;"，这段代码会被当成原来就书写在那里来处理，这也就是eval原理，它会假装代码原来就在那里，来修改词法作用域的环境。实际上这段代码已经在foo的作用域中创建了变量b，并遮蔽了全局作用域下的变量b，在执行foo函数时，在foo作用域下，找到了变量a和b，也就输出了1，3，而不是想象中的1，2。

2.with

考虑以下代码：

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

传入o1时，打印o1.a没有问题，传入o2，打印o2.a也没有任何问题，但是当我们直接打印a时，它却成为了2。

可以这样理解，当我们传递o1给with时，with所声明的作用域是o1，在这个作用域中，有一个与o1.a属性相符的标识符。但当我们将o2作为作用域时，其中并没有a标识符，因此进行了正常的LHS标识符查找，o2的作用域，foo的作用域，全局作用域都没有找到标识符a，所以当执行a=2时，自动创建了一个全局变量。