JavaScript中栈、调用栈与内存堆的概念区别及关联疑问

两种说法的差异本质 #

首先明确：ECMAScript规范没有强制规定JS引擎的内存存储结构，你看到的两种说法不存在绝对的对错，只是抽象层级和参考的引擎实现版本不同：

• 第一种是入门教程常用的简化抽象模型，平移了传统静态语言的内存划分逻辑，适合快速理解原始类型和引用类型的行为差异
• 第二种更贴近现代主流JS引擎（比如V8）的真实实现逻辑

很多入门材料里“原始值存栈、引用值存堆”的表述，本质是为了降低学习门槛做的简化，和引擎实际运行逻辑存在偏差。

调用栈与变量的关联规则 #

不管哪种模型，首先要纠正一个常见误解：调用栈本身存储的从来不是变量值，而是函数执行上下文的入口指针。
每次函数被调用时，引擎会生成对应的执行上下文压入调用栈顶，上下文里包含当前函数的词法环境、变量环境、this绑定三类核心信息，函数执行时对变量的所有读写操作，都是通过这个上下文指针找到对应的变量存储区完成的。

针对第一种简化模型，两者的关联逻辑非常直接：

• 每个压入调用栈的执行上下文，都会在栈内存里对应分配一块独立的栈帧空间，这块空间就是当前函数的专属变量存储区
• 函数内定义的数字、字符串等原始类型值直接存在这块栈帧空间里，对象、函数等引用类型的实体存在堆内存，对应的引用地址同样存在栈帧里
• 函数执行完成后，对应的执行上下文从调用栈弹出，关联的栈帧空间直接被回收，栈帧里存储的原始值、引用指针同步销毁；堆内存里的引用类型实体在没有任何引用指向时，会被垃圾回收器标记清理
• 这个模型下，执行上下文的指针直接指向对应栈帧的起始内存地址，引擎读取变量时只需要根据变量在栈帧内的固定偏移量，就能直接定位到对应的值，读取效率极高。

而现代JS引擎的实际实现（对应第二种说法）做了大量性能优化，不存在独立于调用栈的专门存储原始值的栈空间：

• 所有变量不管是原始类型还是引用类型，默认都会存储在堆上的Environment Record（环境记录）中，调用栈里的执行上下文只持有指向这个环境记录的指针
• 引擎会在编译阶段做逃逸分析：如果某个原始类型变量确定不会逃逸出当前函数作用域（比如不会被闭包捕获、不会作为返回值传递到函数外部），引擎会直接把它优化存储到寄存器或者对应栈帧的预留空间里，这时候才会出现“原始值存储在栈上”的情况
• 如果变量存在逃逸可能，哪怕是数字、布尔值这类原始类型，也会一直存在堆内存中，不会随函数栈弹出直接销毁，这也是闭包能持有外部函数变量的底层逻辑。

两种模型的适用场景不同：如果只是学习基础的传值逻辑、作用域规则，用第一种简化模型完全足够；如果要排查内存泄漏、分析闭包内存占用、做JS性能优化，需要参考现代引擎的真实实现逻辑。

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