JavaScript V8与C++栈堆内存对比：堆存引用的访问疑问

首先明确：V8的栈内存和堆内存是完全独立的两个内存区域，绝不会合并成同一空间，这一点和C++的内存模型底层逻辑一致，只是V8对上层开发者隐藏了很多细节。

一、为什么V8会把引用放到堆里？ #

在C++里，局部变量默认在栈上，只有动态分配的对象在堆上；但V8会通过逃逸分析判断变量的生命周期：

• 如果变量只在当前函数作用域内使用，没有被外部函数、异步任务（比如setTimeout）或者全局作用域引用，V8会把它留在栈上，和C++的局部变量逻辑一致。
• 一旦变量发生逃逸（比如被闭包捕获、被异步回调引用），V8会把这个变量（包括它对对象的引用）转移到堆中的闭包环境对象或者函数上下文对象里，因为栈内存会在函数执行完毕后被销毁，而逃逸的变量需要存活更久。

二、函数作用域如何访问堆中的引用？ #

V8的每个函数执行时都会创建一个执行上下文（Execution Context），这个上下文会被压入调用栈。执行上下文里维护着一条作用域链：

1. 首先会指向当前栈上的局部变量表；
2. 如果在局部变量表里找不到目标变量，就会顺着作用域链往上找——链上的每一个节点，都是指向堆中某个环境对象的引用（比如外层函数的闭包环境、全局上下文）。

举个简单的闭包例子：

function outer() {
  let test = { name: "V8" }; // 被inner引用，发生逃逸
  return function inner() {
    console.log(test.name);
  };
}
const fn = outer();
fn(); // 能访问到test

当outer执行完毕后，栈上的outer执行上下文会被销毁，但test已经被转移到堆里的闭包环境中。inner的执行上下文持有这个闭包环境的引用，所以调用fn()时，会通过作用域链找到堆里的test引用，进而访问到堆中的对象数据。

这个逻辑和C++里通过栈上的指针访问堆内存类似——只不过V8的作用域链是自动维护的，不需要开发者手动管理指针，底层依然是通过栈上的执行上下文持有堆中环境对象的引用，间接访问堆里的变量。

三、补充：V8的栈堆分工 #

• 栈内存：存储函数调用栈、执行上下文、未逃逸的局部变量（包括基本类型值和未逃逸的对象引用），特点是分配/销毁速度快，由V8自动管理（函数执行完即回收）。
• 堆内存：存储所有对象数据、逃逸的变量（包括引用）、闭包环境、全局变量等，由V8的垃圾回收器（GC）负责回收。

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