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

本教程将介绍了解V8中的Java脚本闭包变量捕获的处理方法,这篇教程是从别的地方看到的,然后加了一些国外程序员的疑问与解答,希望能对你有所帮助,好了,下面开始学习吧。

了解V8中的Java脚本闭包变量捕获 教程 第1张

问题描述

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

我也理解相同作用域中的变量可能会被不同地处理,这取决于它是否被当今的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];
}

zigzag似乎都引用ab,即使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脚本闭包变量捕获的教程就到这里就结束了,希望趣模板源码网找到的这篇技术文章能帮助到大家,更多技术教程可以在站内搜索。