V8 内存布局与堆栈管理深度解析

JavaScript 开发者通常不需要手动管理内存，但理解 V8 内部的内存分配策略，能帮助我们写出更高效、更少内存泄漏的代码。

一、V8 内存布局概览

V8 的内存主要分为 栈 (Stack) 和 堆 (Heap)。

---

二、栈内存 (Stack)

栈内存主要用于管理函数调用和基础数据类型。

1. 存储内容

• 基础数据类型: Number, Boolean, String (较短的), Symbol, undefined, null。
• 内存指针: 引用类型（对象、数组等）在堆内存中的地址。
• 执行上下文 (Execution Context): 包含变量环境、作用域链和 this 指向。

2. 特点

• LIFO (后进先出): 遵循函数调用的出入栈规则。
• 速度快: 由系统直接分配内存，空间连续。
• 空间受限: 如果嵌套调用过多，会报 Stack Overflow 错误。

---

三、堆内存 (Heap)

堆内存用于存储对象等复杂数据，是垃圾回收 (GC) 的主战场。

1. 内存分代结构

• 新生代 (New Space):
  • 空间小 (1-8 MB)，分为 From 和 To 两个半区。
  • 存储新创建的对象，生命周期短。
  • 使用 Scavenge 算法 快速回收。
• 老生代 (Old Space):
  • 空间大 (几百 MB 到 GB 级)，包含 Old Pointer Space 和 Old Data Space。
  • 存储常驻对象或从新生代晋升的对象。
  • 使用 Mark-Sweep (标记清除) 和 Mark-Compact (标记整理)。
• 大对象区 (Large Object Space): 存放超过其他页大小限制的大对象，不被 GC 移动。
• 代码区 (Code Space): 存放编译后的机器码。
• Map 区 (Map Space): 存放隐藏类 (Hidden Classes)。

2. 原始类型的特殊处理 (String & Smis)

• Smis (Small Integers): V8 将 31 位（或 32 位）以内的整数直接内联存储在指针中，不额外分配堆空间。
• String: 较短的字符串通常通过字符串池 (String Interning) 进行优化，避免重复存储。

---

四、面试高频问题

1. 为什么 JavaScript 中的基础类型存放在栈中，而对象存放在堆中？

回答：

• 性能: 栈内存结构简单，读写速度极快，适合存储大小固定且生命周期明确的基础类型。
• 灵活性: 对象的大小不固定且可能随时改变，堆内存非连续分配的特性更适合存储这类复杂数据。
• 共享: 多个变量可以指向堆中的同一个对象（地址引用），而基础类型通常是按值传递的。

2. 闭包中的变量存放在哪里？

回答：闭包中的变量不存放在栈中，而是存放在堆内存中。当函数返回后，其执行上下文从栈中弹出，但由于闭包的存在，被引用的变量无法释放，V8 会将其移动到堆中的一个名为 Closure 的特殊对象中，确保其生命周期得以延续。

3. 如何监控 V8 的内存使用情况？

回答：

• 浏览器端: 使用 Chrome DevTools 的 Memory 面板抓取堆快照 (Heap Snapshot)，或使用 performance.memory API。
• Node.js: 使用 process.memoryUsage() 查看 heapUsed、heapTotal 和 rss（常驻集大小）。

4. 什么是内存碎片？V8 是如何解决的？

回答：内存碎片是指内存空间中不连续的小空隙，导致大对象无法分配。V8 通过 标记整理 (Mark-Compact) 算法解决此问题，在老生代回收时，将存活对象向一端移动，从而清理出连续的内存空间。