eval函数
eval函数接收一个由JavaScript语句组成的字符串，并且返回字符串中最后一条语句的返回值，如果最后一条语句没有返回值，那么eval函数返回undefined。如果传递给eval函数的不是字符串，那么传递什么，eval就返回什么。
调用eval函数的三种情况
当调用eval函数时，JavaScript会创建新的执行环境，总共有三种情形:
1 直接调用
直接调用时，eval函数相关的执行环境属性ThisBinding，LexicalEnvironment，VariableEnvironment的值如下:
a) ThisBinding是调用eval函数时，调用方执行环境的ThisBinding
b) LexicalEnvironment是调用eval函数时，调用方执行环境的LexicalEnvironment
c) VariableEnvironemnt是调用eval函数时，调用方执行环境的VariableEnvironment
假设有如下JavaScript代码(f在全局环境下被调用):
function f() {
var i = 1;
eval("var y = 2; i = 3");
alert(y);
}
f();
当eval函数被调用时，执行环境栈如下图所示:
需要注意的是，当新建一个执行环境时要进行标识符绑定，绑定的标识符放到执行环境VariableEnvironment指向的Lexical Environment中。由于eval函数的VariableEnvironment与调用方(即调用eval的函数f)的VariableEnvironment指向同一个Lexical Environment，因此，在eval中声明的局部变量y被绑定到调用方的Lexical Environment中，这导致当eval函数调用结束，与eval相关的执行环境被弹出栈顶，而在eval中声明的局部变量y在函数f中仍然可以访问得到。因此，上面代码中alert会显示2，而不是报错。
2 间接调用
所谓间接调用，即将eval赋值给另一个变量后在调用，如下面代码所示:
var g = eval;
g("var y = 1;");
间接调用也会创建新的执行环境，不同之处在于新执行环境的ThisBinding，LexicalEnvironment，VariableEnvironment的值不同:
a) ThisBinding为全局对象
b) LexicalEnvironment为全局执行环境的的LexicalEnvironment
c) VariableEnvironment为全局执行环境的VariableEnvironment
假如有下面的代码:
function f() {
var i = 1;
var gEval = eval;
gEval("var y = 2; i = 3");
alert(y);
}
f();
当调用gEval时，执行环境栈如下图所示:
可以看到，在gEval当中声明的变量都绑定到了全局执行环境当中，需要注意的是，gEval当中的变量i并不是引用的函数f的变量i，因为从gEval的作用域链访问不到函数f的局部变量i，此时gEval中的变量i就等价于没有使用关键字var声明了一个全局变量。函数f的alert语句仍然显示2，只是此时访问的y是全局环境中的变量y。
3 严格模式下的eval
在严格模式下，eval的LexicalEnvironment，VariableEnvironment指向属于eval自己的Lexcial Environment，而不是调用方的Lexical Environment，但是ThisBinding还是调用方的ThisBinding。同时，在严格模式下如果eval直接调用，那么eval的Lexical Environment的outer指针指向调用方的Lexical Environment，否则，如果是间接调用，那么eval的Lexical Environment的outer指针指向全局环境的Lexical Environment。
假如有如下代码:
"use strict"; //使用严格模式
function f() {
var i = 1;
eval("var y = 2; i = 3");
alert(y);
}
f();
当调用eval时，执行环境栈如下图所示:
从图可以看到，eval中声明的局部变量y被绑定到自己的Lexical Environment中，eval中的i访问的是函数f声明的局部变量i。由于变量y被绑定在eval自己的Lexical Environment中，因此当eval运行结束，相关的执行环境被弹出栈顶之后，函数f是访问不到变量y的，因此alert要报错。
IE中的eval
IE9之前，无论eval是直接调用还是间接调用，eval都当成直接调用处理，如果需要有间接调用的效果，可以使用IE提供的execScript函数。
参考资料:
JavaScript权威指南
ECMA-262