Google V8嵌套函数预解析机制及多层嵌套递归解析疑问

预解析的扫描方式：递归式快速扫描 #

V8对嵌套函数的预解析是递归触发的快速扫描：当全局预解析顶层函数a时，会扫描a的顶层代码，发现内部函数声明b后，立即对b执行快速预解析；在预解析b的过程中，又发现其内部的函数声明c，会继续递归触发对c的快速预解析。

不过这种递归扫描是浅层次的快速预解析，不会生成完整的AST和字节码，仅完成两个核心任务：

• 检查当前函数的语法是否合法，有错误直接抛出；
• 捕获函数内部引用的外部变量（比如c引用的i），标记这些变量需要被放入闭包，后续执行时直接从堆中引用。

关于c的解析次数：不会被额外解析两次 #

你担心的c在调用前被额外解析两次的情况不会发生，原因如下：

1. 全局预解析阶段：仅对c执行一次快速预解析，这次扫描是递归触发的，属于预解析流程的一部分，不会生成可执行的字节码；
2. 函数执行阶段：只有当函数被调用时，才会触发全解析：
   • 调用a()时，a进入全解析并执行，但b此时仍处于预解析状态（未被调用）；
   • 调用t()（即b()）时，b进入全解析并执行，但c仍处于预解析状态；
   • 只有当c()被调用时，c才会进入全解析并执行。

整个流程中，c的快速预解析只做过一次，全解析只在首次调用时做一次，不存在重复解析两次的情况。

代码验证补充 #

你的示例代码中，t的[[Scopes]]头部出现闭包(a) {i: 1}，正是因为预解析阶段递归扫描到c对i的引用，V8提前将i标记为闭包变量，在a执行时将其存入堆中，确保b和c后续执行时能正确访问。

内容的提问来源于stack exchange，提问作者江定玺