JavaScript eval() 函数详解：局部、全局与严格模式行为

eval() 基础示例

eval("1+2") 的执行结果为 3。

动态解析源代码字符串是一项强大的语言特性，但在实际开发中极少需要用到。如果必须使用 eval()，开发者应慎重评估其必要性。

eval() 是函数还是运算符

一、eval() 是函数还是运算符

eval() 在定义上是一个函数，但在 JavaScript 语言设计中，它被当作运算符处理。早期 JavaScript 版本定义了 eval 函数，现代解释器进行了大量代码分析与优化。然而，eval 的问题在于动态执行的代码通常无法被静态分析。若函数调用 eval，解释器将无法对该函数进行进一步优化。将 eval 定义为函数的另一个隐患是它可以被赋予别名，例如 var f = eval；此时解释器无法放心优化调用 f() 的函数。若将 eval 视为运算符，则可避免此类问题。

eval() 的基本行为

二、eval() 的基本行为

eval() 仅接受一个参数。若传入非字符串参数，直接返回该值。若参数为字符串，则将其作为 JavaScript 代码进行编译；编译失败时抛出语法错误异常。编译成功后，执行该段代码，并返回字符串中最后一个表达式或语句的值；若最后表达式或语句无返回值，则最终返回 undefined。若字符串执行时抛出异常，该异常将传递给 eval() 调用处。

eval 最关键的特性在于它使用调用它的变量作用域环境。这意味着，它查找变量值和定义新变量、函数的行为与局部作用域中的代码完全一致。若函数定义了局部变量 x 并调用 eval("x")，它将返回该局部变量的值。若调用 eval("x=1")，则会修改局部变量的值。若函数调用 eval("var y=2;")，则声明一个新的局部变量 y。同样，函数可通过以下代码声明局部变量：

eval("function f(){return x+1;}");

若在顶层代码中调用 eval，其作用范围涵盖全局变量和全局函数。

需注意，传递给 eval 的字符串必须在语法上完整。不能通过 eval 向函数中随意粘贴代码片段，例如 eval("return;") 是无意义的，因为 return 仅在函数上下文中有效。eval 字符串执行的上下文环境与调用函数的上下文环境相同，这使其无法作为函数的一部分运行。若字符串作为独立脚本具有语义，则传递给 eval 是合法的；否则，eval 会抛出语法错误异常。

全局 eval() 的行为差异

三、全局 eval()

eval 具有修改布局变量的能力，这对 JavaScript 优化器构成重大挑战。作为权宜之计，JavaScript 解释器对调用 eval 的函数所做的优化非常有限。当脚本定义 eval 的别名并通过该名称调用时，JavaScript 解释器的行为如何？为简化解释器实现，ECMAScript 3 标准规定任何解释器不得允许对 eval 赋予别名。若通过别名调用 eval 函数，则抛出 EvalError 异常。

实际上，多数实现并未严格遵循此规定。当通过别名调用时，eval 将其字符串视为顶层全局代码执行。执行的代码可能定义新的全局变量和函数，或给全局变量赋值，但无法读取或修改主调函数中的局部变量，因此不影响函数内的代码优化。

ECMAScript 5 反对使用 EvalError，并规范了 eval 的行为，区分“直接 eval”与间接调用。当直接使用未限定的“eval”名称调用 eval() 函数时，称为“直接 eval”。直接调用 eval() 时，它总是在调用它的上下文作用域内执行。其他间接调用则使用全局对象作为其上下文作用域，且无法读写或定义局部变量和函数。示例代码如下：

var geval=eval; //使用别名调用eval将是全局eval
var x="global",y="global"; //两个全局变量
function f(){ //函数内执行的是局部eval
var x="local"; //定义局部变量
eval("x += ' chenged';");//直接使用eval改变的局部变量的值
return x; //返回更改后的局部变量
}
Function g(){ //这个函数内执行了全局eval
var y="local";
geval("y += ' changed';"); //直接调用改变了全局变量的值
return y;
}
console.log(f(),x); //改变了布局变了，输出 “local changed global”
console.log(g(),y); //改变了全局变量，输出 “local global changed”

全局 eval 的这些行为不仅是出于代码优化的折中方案，更是一种实用特性，允许执行对上下文无依赖的全局脚本代码段。真正需要 eval 执行代码段的场景并不多见，但当确实意识到其必要性时，更可能使用全局 eval 而非局部 eval。

严格模式下的 eval() 限制

四、严格 eval()

ECMAScript 5 严格模式对 eval() 函数施加了更多限制，甚至限制标识符 eval 的使用。在严格模式下调用 eval，或 eval 执行的代码段以“Use strict”指令开始时，此处的 eval 为私有上下文环境中的局部 eval。即在严格模式下，eval 执行的代码段可以查询或更改局部变量，但不能在局部作用域中定义新的变量或函数。

此外，严格模式将“eval”列为保留字，使 eval() 更像运算符。不能用别名覆盖 eval() 函数。变量名、函数名、函数参数或异常捕获参数均不能命名为 eval。

宝剑锋从磨砺出，梅花香自苦寒来。