Quartz 4

00-为什么需要区分堆和栈？

7 min read

现在你应该知道了原始类型的数据值都是直接保存在“栈”中的，引用类型的值是存放在“堆”中的。不过你也许会好奇，为什么一定要分“堆”和“栈”两个存储空间呢？所有数据直接存放在“栈”中不就可以了吗？

答案是不可以的。这是因为 JavaScript 引擎需要用栈来维护程序执行期间上下文的状态，如果栈空间大了话，所有的数据都存放在栈空间里面，那么会影响到上下文切换的效率，进而又影响到整个程序的执行效率。比如文中的 foo 函数执行结束了，JavaScript 引擎需要离开当前的执行上下文，只需要将指针下移到上个执行上下文的地址就可以了，foo 函数执行上下文栈区空间全部回收

在编程语言的内存管理中，“栈（Stack）“和”堆（Heap）“是两个核心概念。对于 JavaScript 开发者来说，原始类型存于栈中，引用类型存于堆中的现象可能已广为人知。但为什么需要这种看似复杂的二分设计？本文将从计算机科学底层原理出发，解析这种设计背后的深层逻辑。

一、栈与堆的本质差异

1.1 栈的特性

  • 线性有序结构：遵循先进后出（FILO）原则
  • 自动内存管理：函数调用自动创建栈帧，返回时自动回收
  • 固定大小数据：存储已知大小的原始类型（Number, Boolean等）
  • 高速访问：内存分配仅需移动栈指针（纳秒级操作）
function calculate() {
  let a = 1;     // 栈存储
  let b = 2.5;   // 栈存储
  return a + b;
}

1.2 堆的特性

  • 非线性动态结构：自由分配的内存池
  • 手动/GC管理：通过引用计数、标记清除等算法回收
  • 动态大小数据：存储对象、数组等引用类型
  • 相对低速：需要搜索可用内存块（微秒级操作）
function createObj() {
  const obj = {   // 堆存储
    id: Math.random(),
    data: new Array(1000)
  };
  return obj;
}

二、区分存储的核心原因

2.1 执行上下文的高效切换

当函数调用发生时：

  1. 创建新的栈帧（包含局部变量、参数、返回地址）
  2. 函数返回时立即销毁当前栈帧

关键优势：栈指针的移动即可完成内存回收，时间复杂度 O(1)

// 假设所有数据都存于栈中
function process() {
  const megaData = new Array(10_000_000); // 巨大数组
  // 函数返回时需要回收10MB栈空间...
}
 
// 实际执行时的堆存储
function optimizedProcess() {
  const megaData = new Array(10_000_000); // 堆存储
  // 返回时仅回收8字节引用
}

2.2 数据生命周期的差异管理

  • 栈数据：严格遵循函数调用周期
  • 堆数据：可能被多个上下文共享引用
function parent() {
  const childObj = {}; // 堆分配
  
  function child() {
    // 即使child执行结束，childObj仍存在
    childObj.lastAccess = Date.now();
  }
  
  child();
  return childObj; // 对象生命周期超出函数范围
}

2.3 内存使用效率优化

  • 栈空间限制：通常为MB级（Chrome每个栈约1MB）
  • 堆空间弹性：可占用GB级内存（受物理内存限制）
数据类型典型大小存储位置
Number8字节栈
1000层递归调用8KB栈
4K图片数据3-5MB堆
3D模型数据500MB+堆

2.4 避免内存碎片化

  • 栈的线性分配：严格顺序操作，无内存碎片
  • 堆的动态分配：需复杂算法处理碎片（如分代回收）

三、设计权衡的深层逻辑

3.1 性能与灵活性的平衡

  • 栈的极致速度：适合高频创建/销毁的小数据
  • 堆的灵活存储：适合需要跨上下文共享的大数据

3.2 安全性的考量

  • 栈溢出防护：固定大小预防无限递归
  • 堆隔离机制：通过引用访问避免内存越界

3.3 现代语言的演进趋势

  • WASM的线性内存：显示堆栈分离的重要性
  • 值类型提案：优化大数据的栈存储（如Records/Tuples）

四、从引擎视角看内存管理

以V8引擎为例：

  1. 创建新的执行上下文
  2. 分配固定大小的栈帧
  3. 对象分配流程：
    • 优先在新生代分配
    • 晋升到老生代
    • 大对象直接进大对象空间

V8内存管理示意图

五、总结：二分法的哲学启示

  1. 关注点分离：各司其职提升整体效率
  2. 时空权衡：用空间换时间（堆）与用时间换空间（栈）
  3. 分层设计：计算机体系结构的普适规律

思考延伸：随着硬件发展（如持久化内存），未来是否会出现新的内存管理模式？但栈与堆的核心理念，仍将持续影响系统设计。

通过这种设计，JavaScript引擎在保证高效执行的同时，实现了对复杂数据结构的灵活管理。理解这种底层机制，有助于开发者编写更高效、更健壮的代码。

Graph View