JavaScript调用栈是否存储在堆内存中？

针对你提出的两个关联疑问，首先直接澄清两个根本性的认知偏差：

• JavaScript“一切皆为对象”是语言层面的语义设计，不是运行时的内存分配规则
  这句话的实际含义是：JS中除了少数严格的原始值（如undefined、null、数字、布尔值）外，函数、数组、普通对象都具备对象的特性，哪怕是原始值，在访问属性时也会被自动包装为临时对象。这个描述是对语言封装特性的总结，和引擎底层把内存分配在哪个区域没有直接绑定关系，完全不能推导出“所有内存都在堆里”的结论。按照这个错误逻辑推导，连C++里存在堆上的可调用对象，都要把执行栈整个搬到堆内存里才能运行，显然和实际的程序运行逻辑相悖。
• JS的调用栈本身就是存储在进程栈区的结构，不存在“调用栈存在堆里”的情况
  目前所有主流JS引擎（V8、SpiderMonkey、JavaScriptCore）的实现中，调用栈都是直接利用操作系统为进程分配的栈内存空间维护的，和C/C++等原生语言使用的程序栈属于同一块内存区域，完全不属于堆内存的管辖范围。

很多人搞混边界，本质是没搞清楚两块内存各自存储的内容：

• 栈内存上的调用栈帧，仅存储函数执行期间的轻量数据：包括当前函数执行到的指令位置、传入的原始类型参数、局部原始值、指向堆内存对象的引用指针、词法环境的外层作用域引用。这些数据的生命周期完全和函数调用周期绑定，函数执行结束出栈时，对应栈帧的内存会被直接释放。
• 堆内存存储所有生命周期不严格跟随函数调用的对象：包括函数本身、通过new创建的实例、数组、普通对象、被闭包长期引用的变量等。这些对象的大小不确定、存活周期无法预判，由引擎的垃圾回收机制负责清理。

这个错误认知基本来自对几个特殊实现场景的过度推导：

• 部分简化教程会笼统描述“JS内存分栈、堆两区”，但没有说明这个“栈区”就是进程本身的栈内存，反而容易让新手误以为这是JS引擎在堆内存里模拟出来的一套栈结构。
• 当函数的执行上下文被闭包引用、无法在函数执行结束时从栈上销毁时，V8等引擎会把这个栈帧对应的上下文结构迁移到堆内存中（也就是“堆上上下文”），但这只是特定场景下的内存迁移，不是调用栈本身的存储位置。
• 把“函数是对象、对象存在堆里”的点过度延伸，误以为函数调用的整套栈式执行逻辑也要全部跑在堆上，完全忽略了语言抽象层和底层运行时实现的分层边界。

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