了解V8中的Java脚本闭包变量捕获

Understanding javascript closure variable capture in v8(了解V8中的Java脚本闭包变量捕获)

问题描述

我理解闭包保持对变量的引用延长其生命周期的语义，使原始变量不受调用堆栈的限制，因此应该特殊处理由闭包捕获的变量。

我也理解相同作用域中的变量可能会被不同地处理，这取决于它是否被当今的Java脚本引擎中的闭包捕获。例如，

function foo(){
    var a=2;
    var b=new Array(a_very_big_number).join('+');
    return function(){
        console.log(a);
    };
}
var b=foo();

由于foo中没有人持有对b的引用，因此不需要在内存中保留b，因此可以在foo返回时立即释放已使用的内存(甚至在进一步优化的情况下永远不会创建)。 我的问题是，为什么V8似乎将所有闭包引用的所有变量打包在每个调用上下文中？例如，

function foo(){
    var a=0,b=1,c=2;
    var zig=function(){
        console.log(a);
    };
    var zag=function(){
        console.log(b);
    };
    return [zig,zag];
}

zig和zag似乎都引用a和b，即使b显然对zig不可用。当b非常大，并且zig持续时间很长时，这可能会很糟糕。

但站在执行的角度，我不能理解为什么这是必须的。根据我的知识，在不调用eval的情况下，可以在执行之前确定作用域链，从而可以确定引用关系。引擎应该知道，当zig不再可用时，请执行a操作，因此引擎会将其标记为垃圾。

Chrome和Firefox似乎都遵守了这一规则。标准是否规定任何实现都必须这样做？还是这样的实施更实用、更高效？我很困惑。

推荐答案

该标准没有说明任何关于垃圾收集的内容，但提供了一些应该发生的事情的线索。 引用：Standard

一个外部词汇环境当然可以有它自己的外部 词汇环境。词汇环境可以作为外部环境 多个内部词汇环境的环境。例如，如果一个 函数声明包含两个嵌套的函数声明 每个嵌套函数的词法环境将具有如下内容 他们的外部词汇环境--当下的词汇环境 执行周围的函数。"

Section 13 Function definition
  step 4: "Let closure be the result of creating a new Function object as specified in 13.2"

Section 13.2 "a Lexical Environment specified by Scope" (scope = closure)

Section 10.2 Lexical Environments:
"The outer reference of a (inner) Lexical Environment is a reference to the Lexical Environment that logically surrounds the inner Lexical Environment.

因此，函数将有权访问父级的环境。

这篇关于了解V8中的Java脚本闭包变量捕获的文章就介绍到这了，希望我们推荐的答案对大家有所帮助，也希望大家多多支持编程学习网！