V8如何处理闭包中的栈分配变量？内存释放与环境构建疑问

问题背景与示例 #

我查阅了多篇资料，得知V8会将数字等原始类型分配在栈上，且垃圾回收（GC）仅针对堆内存分配生效。但当栈分配变量与闭包结合时，应由谁负责释放这类栈分配变量？

示例代码：

function foo() {
    const b = 5;

    return function bar(x) {
        return x * b
    }
}

// 调用foo()时，变量`b`被分配在栈上，bar函数的代码存在堆中
const bar = foo()
// 此时按栈的逻辑，`b`应该被释放

// 但这里调用bar()还会用到`b`，所以它不能被释放
bar()

具体疑问：
调用foo()时，变量b被分配在栈上，bar函数的代码存于堆中；当const bar = foo()执行后，理论上b应被释放，但后续调用bar()时仍会用到b，此时b不应被释放。这一机制是如何运作的？若b存于栈中，bar函数如何指向它？[[Environment]]又是如何构建的？

解答 #

你对V8的栈分配理解存在偏差——V8不会把所有原始类型都固定分配在栈上，它会根据变量是否被外部引用（比如闭包捕获）动态调整分配位置：

• 当foo函数执行时，V8的编译器会扫描代码，发现内部的bar函数引用了变量b，这时候它不会把b分配在栈上，而是将b打包进一个闭包上下文对象（词法环境实例）中，这个对象会被分配到堆内存里。
• 当foo执行完毕返回bar函数时，bar的内部隐藏属性[[Environment]]会指向这个堆上的闭包上下文对象。此时foo的调用栈虽然会被销毁，但因为bar还引用着这个上下文对象，GC不会回收它。
• 当你调用bar()时，bar会通过[[Environment]]找到堆上的闭包上下文，进而访问到变量b的值。只有当bar函数本身不再被任何引用（比如执行bar = null），这个闭包上下文对象才会被GC标记为可回收，最终释放内存。

关于[[Environment]]的构建：
它是函数的内部隐藏属性，在函数创建时自动完成关联——当bar在foo内部被定义时，V8会将当前foo的词法环境（包含b的上下文）绑定到bar的[[Environment]]上。如果函数没有引用外部变量，这个属性可能会被编译器优化掉，但一旦存在闭包捕获，就会指向堆上的上下文对象。

内容的提问来源于stack exchange，提问作者allevo