Javascript：为什么访问闭包变量可能很慢

Question

最近我读到了这个performance guide Let's make the web faster，对“避免使用闭包的陷阱”的建议感到困惑（好像这些建议是为变量范围是动态的 CommonLisp 用户提供的）：

var a = 'a';
function createFunctionWithClosure() {
  var b = 'b';
  return function () {
    var c = 'c';
    a;
    b;
    c;
  };
}

var f = createFunctionWithClosure();
f();

在调用f 时，引用a 比引用b 慢，后者比引用c 慢。

很明显，引用局部变量 c 比 b 快，但是如果正确编写了迭代器（没有动态范围 - 类似于链式哈希表查找..）速度差异应该只是微不足道的。还是不行？

Answer 1

你是对的。现代 JS 引擎将优化 scope chain lookup 和 prototype chain lookup 很多。意思是，AFAIK 引擎试图在下面保存某种带有访问节点的哈希表。

这仅在没有eval()（显式或隐式，例如setTimeout）或try-catch 子句或a with statement 调用时才有效。由于这种结构，解释器无法确定如何访问数据，它需要“回退”到经典的scope chain lookup，这实际上意味着，它必须爬过所有父上下文variable / activation objects 并尝试解决搜索到的变量名。 当然，对于位于“远离”查找处理开始位置的对象/名称，此过程将花费更多时间。这反过来意味着，访问global object 上的数据总是最慢的。

在您的 sn-p 中，a 的查找过程如下所示

anonymous function -> Execution Context -> Activation Object (not found)
anonymous function -> Execution Context -> [[ Scope ]] 
    - createFunctionWithClosure
    - global scope
createFunctionWithClosure -> Activation Object (not found)
global scope -> Variable Object (found)

---

^{所描述的查找过程适用于 ECMAscript Edition 262 第 3 版。 ECMAscript 第 5 版有一些根本性的变化。}