[JS] 动态执行JS与修改词法作用域

相关可行的操作

1. eval: 同步执行，当前作用域；
2. setTimeout: 异步执行，全局作用域；

第1个参数可以传入函数对象，也可以传入字符串，即要执行的代码。

3. script: 同步执行，全局作用域；

创建script标签，并设置innerHTML为要执行的代码。

4. Function: 同步执行，全局作用域。

Function构造函数可以传入字符串，生成一个函数对象。

对词法作用域的影响

eval

eval可以通过动态地执行JS代码从而修改(欺骗)当前的词法作用域，观察如下代码：

function foo(str, a){
    eval(str);
    console.log(a, b);
}
var b = 2;
foo("var b=3;", 1); // 1, 3

在函数中，执行eval(..)将var b=3;带入该词法作用域，导致console.log(..)中对b的右值引用找到的是3，而不会查询到外部的b=2。

在默认情况下，eval会对所处的词法作用域进行修改。
在严格模式下，eval在运行时有其自己的词法作用域，即其动态执行的JS声明语句不会影响到eval语句所处的词法作用域。

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

with

除了eval另外可以修改词法作用域的语法是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 (a被泄露到全局作用域了)

with接受一个对象，并将这个对象处理为一个完全隔离的词法作用域，这个对象的属性会被处理为定义在这个作用域内的词法标识符。
所以当o1传递给with时，with声明的作用域是o1，包含了同o1.a对应的标识符a，这个左值引用可以找到目标，并成功完成赋值操作。
当o2传递给with时，with声明的词法作用域会包含同o2.b对应的标识符b，但是没有标识符a，此时赋值操作会进行LHS标识符查询，向外层作用域查找。
由于在o2的作用域、foo的函数作用域、全局作用域都没有找到标识符a，因此当a = 2执行时，会在全局作用域自动创建一个全局变量(如果是严格模式则不会)。

性能问题

JS引擎会在编译阶段进行性能优化，其中部分优化依赖于根据代码的词法进行静态分析，并预先确定所有变量和函数的定义位置，才能在执行过程中快速找到标识符。
eval和with这种可能动态更改词法作用域的操作会导致JS引擎无法在词法分析阶段明确标识符的位置，因此所有优化可能都是无意义的，甚至JS引擎可能在读取代码中使用了eval和with，就放弃优化了。
因此，在开发中应该避免使用eval和with。

引用

[1] Scope and Closures, Kyle Simpson著（O'Reilly, 2014） 978-1-491-33558-8。