JavaScript基本数据类型存储在栈内存还是堆内存

在讨论 JavaScript 变量存储时，许多初学者经常会听到这样一句简化的总结：“基本数据类型存放在栈内存，引用数据类型存放在堆内存”。这种说法有助于建立直观的概念，但严格来说并不全面。在现代 JavaScript 引擎（例如 Google V8）的实际实现中，基本数据类型具体存储在栈内存还是堆内存，取决于变量所处的生命周期、作用域以及是否发生了闭包引用。未被闭包捕获的函数局部变量通常分配在执行栈中，而全局变量、对象属性值以及被闭包捕获的基本类型变量，均会随宿主结构保存在堆内存中。

传统视角下的栈内存与堆内存对比

要准确理解变量分配的底层逻辑，首先需要区分计算机运行时环境中的两类主要内存区域：栈内存（Stack）与堆内存（Heap）。在 JavaScript 的执行机制中，调用栈（Call Stack）负责记录当前代码的执行位置和上下文环境，而堆内存则是一块结构自由的大容量存储空间，用于管理动态分配的复杂数据。

栈内存由操作系统或运行环境直接支持，其分配与释放随着函数调用栈帧（Stack Frame）的推入（Push）和弹出（Pop）同步进行，速度极高且开销极小。但由于栈内存的尺寸在初始化时由操作系统严格限定，不能存放大小不确定或生命周期超过调用周期的动态数据。相对地，堆内存不受调用栈帧生命周期的限制，任何需要长期留存或体积动态变化的对象都会由堆分配机制接管。

场景一：函数调用栈中的独立局部变量

在常规的函数执行流程中，如果不涉及内部函数向外暴露或异步引用，局部基本数据类型会被引擎分配在当前函数的调用栈帧内。以下面的简单求和函数为例：

function calculateSum(a, b) {
  let offset = 10;
  let total = a + b + offset;
  return total;
}

let result = calculateSum(5, 20);

当执行到 calculateSum(5, 20) 时，V8 引擎为该函数创建栈帧。形参 a、b 以及局部变量 offset、total 均属于确定占用固定字节的数值类型。引擎可以在栈指针下移时直接在预留槽位中存入对应的具体数值。函数返回结果后，整个栈帧瞬间被重置并销毁，无需垃圾回收器介入。

场景二：闭包捕获与堆内存逃逸

一旦引入闭包，局部基本类型的生命周期就会发生改变。如果一个函数内部声明的基本类型变量被内层函数引用，且内层函数在外部继续被持有，该变量就不能随着父级函数的出栈而销毁。这种现象在编译器中被称为“逃逸”（Escape）。

function createCounter() {
  let count = 0; // 虽然是基本数据类型 (number)，但会被内部函数捕获
  return function() {
    count++;
    return count;
  };
}

const counter = createCounter();
console.log(counter()); // 输出: 1
console.log(counter()); // 输出: 2

在上面的代码中，createCounter 执行完毕后，其本身的调用栈帧已经弹出。然而后续调用 counter() 依然能正确读取并修改 count。如果 count 依然只存在于已经弹出的栈帧中，内存就会遭到覆写破坏。

现代 JavaScript 引擎在语法分析与词法作用域解析阶段，就能够静态推导变量是否被内层函数引用。如果发生逃逸，V8 引擎会在堆内存中分配一个专门的 Context 对象，将这个基本类型变量直接放入该堆对象中。此时，该基本类型的物理存储位置正是堆内存，而非栈内存。

场景三：对象属性与全局作用域中的基本类型

除了闭包逃逸之外，还有两类极其常见的基本类型同样直接寄生在堆内存中：

1. 作为对象属性的基本类型

当声明一个对象并将基本类型赋值给其属性时，对象本身作为引用类型必然分配在堆中：

let user = {
  id: 1001,           // 基本类型 (number)
  name: "Alice",      // 基本类型 (string)
  isActive: true      // 基本类型 (boolean)
};

在 V8 引擎中，user 变量在栈中保存的是指向堆内存中 JSObject 实例的指针。而 id、name、isActive 作为该对象的内部字段或在“形状”（Shape/Hidden Class）偏移表控制的存储区域内，与该对象作为一个整体存在于堆内存中。

2. 全局环境下的基本类型

在浏览器环境中通过 var site = "CodeTech" 声明的全局变量，会被直接挂载在 window 全局对象上。即便使用 let 或 const 声明全局变量，它们也不会被推入普通函数调用栈，而是记录在全局执行上下文的词法环境记录（Global Environment Record）中，该记录同样常驻于堆内存。

V8 引擎底层优化：Smi 与字符串常量池

深入到现代 JavaScript 引擎的底层细节，存储策略还会受到进一步的性能优化调度：

• Smi（Small Integer，小整数优化）：在 64 位 V8 系统中，针对范围在 -2^31 到 2^31 - 1 的 32 位带符号整数，引擎采用指针标记（Pointer Tagging）技术。指针的最低有效位为 0 代表小整数，此时不需要为数值单独开辟堆内存槽位，直接将数值内联编码在指针字长内传递。
• 字符串与常量池：虽然字符串在规范中属于基本数据类型，但在 V8 内部，较长的字符串由堆中的 SeqString 等 C++ 数据结构表示；重复出现的字符串字面量还会经过驻留（Interning）处理放入全局字符串常量池中，多个变量共同复用同一个堆内存引用。

判断基本类型存储位置的规则总结

为了在实际排查内存问题或回答架构原理时给出准确判断，可以按照以下决策链路来判定基本类型的存储归属：