JavaScript 引擎分配内存并不需要开发者显式调用释放接口，但理解堆的运作方式依然重要。V8 作为 Chrome 和 Node.js 的核心引擎，采用自动内存管理机制，将内存划分为栈和堆两个主要区域。栈上保存基本类型值和指向堆对象的引用，堆上保存所有对象、数组、函数以及闭包环境。V8 的堆不是一块连续的无差别区域，而是由多个空间组成，不同空间使用不同的回收策略。如果开发者不了解这些策略，就可能写出频繁触发垃圾回收、造成内存膨胀甚至泄漏的代码。
堆内存中的对象生命周期差异很大。有些对象只在函数栈帧内存在几毫秒，有些则贯穿整个应用运行周期。V8 在设计上利用了这种弱分代假设，把堆划分为新生代和老生代。新生代存放存活时间短的对象，使用复制算法快速回收；老生代存放存活时间长的对象，使用标记清除和标记整理算法。这种分代设计能够把回收开销集中在最可能产生垃圾的区域，避免每次对整个堆进行全量扫描。
一、V8 的堆空间划分与对象分配策略
V8 的堆由多个子空间组成，包括新生代空间、老生代空间、大对象空间、代码空间以及 Map 空间等。新生代空间又被分成两个半空间：From 空间和 To 空间。新对象默认先进入 From 空间，当 From 空间写满后触发一次 Scavenger 回收。存活对象会被复制到 To 空间，然后 From 和 To 角色互换。没有被复制的对象视为垃圾，直接释放。
新生代的默认容量通常较小，在 64 位系统上大约为 16MB，其中一半用于对象分配，另一半闲置用于复制。这种半空间复制算法的代价是浪费一半空间，但换来极快的分配和回收速度。对象的晋升条件一般与年龄和空间利用率有关。一个对象经过两次 Scavenger 回收后仍存活，就会被晋升到老生代。如果 To 空间使用率超过一定比例，例如 25%，也会触发晋升，避免复制压力过大。
老生代空间比新生代大得多，负责存放长期存活的对象。老生代的回收不像新生代那样频繁，主要采用标记清除和标记整理。大对象空间则直接存放体积超过阈值的大数组、大字符串或大 ArrayBuffer。大对象如果进入新生代，会迅速把半空间写满，导致频繁回收，因此 V8 会把这类对象直接分配到大对象空间，并在老生代回收时一并处理。代码空间保存即时编译生成的机器码，Map 空间保存表示对象布局的隐藏类描述符。
对象分配不是简单地调用一次内存分配函数。V8 在新生代中使用碰撞指针分配：维护一个指向当前可用内存地址的指针，分配 N 字节就把指针向后移动 N 字节。因为新生代对象连续存放，这种分配方式非常高效，几乎等同于一条加法指令。只有当指针越过当前半空间边界时，才会触发垃圾回收或晋升操作。
二、分代垃圾回收：Scavenger 与 Mark-Compact
Scavenger 是 V8 新生代使用的回收算法，基于半空间复制。它的核心步骤是：从根对象开始，例如全局对象、栈上的引用、当前执行上下文，递归地标记所有可达对象，并把这些对象复制到 To 空间。复制完成后，From 空间的所有对象都变成不可达，可以直接释放整个 From 空间内存。Scavenger 天然具有整理效果，因为复制过程会把存活对象紧密排列在 To 空间中，不会产生内存碎片。
复制算法需要处理跨代引用。老生代中的某个对象可能持有新生代对象的引用，比如一个长期存在的缓存对象引用了一个新建的临时对象。如果 Scavenger 只从新生代内部根查找，就会漏掉这些引用。V8 通过写屏障解决这个问题。当 JavaScript 代码执行写操作，例如 oldObject.child = newObject，V8 会记录这条引用，把 oldObject 加入一个包含跨代引用的集合。在 Scavenger 回收时，这些被记录的老生代对象也会被当作根，从而正确地复制新对象。
老生代的垃圾回收使用标记清除和标记整理。标记清除首先从根对象开始，遍历整个对象图，标记所有可达对象。然后清除阶段扫描整个老生代，把没有标记的对象空间加入空闲链表。标记整理则在标记完成后把存活对象向一端移动，解决标记清除可能产生的大量内存碎片。V8 在实际执行中会结合使用这两种策略，在碎片较少时只做标记清除，空间过于碎片化时执行整理。
为了降低标记过程对主线程的阻塞，V8 引入了并发标记和增量标记。并发标记把标记阶段放在后台线程执行，主线程仍然可以运行 JavaScript。增量标记把标记拆分成多个小步骤，每个步骤只标记一部分对象，然后让主线程执行一小段脚本，再继续标记。清除阶段同样可以惰性执行，当空闲链表需要更多空间时再逐个页面清理。这些优化显著减少了长任务式的停顿，但无法完全消除停顿，例如在最终整理阶段仍可能需要暂停主线程。
// 示例：大量短生命周期对象会频繁触发新生代 Scavenger 回收
function createManyObjects() {
for (let i = 0; i < 100000; i++) {
// 每次循环创建临时对象，函数结束后即可回收
const temp = { index: i, data: new Array(10).fill(i) };
// 临时对象没有被外部引用，Scavenger 会直接丢弃
}
}
createManyObjects();
这段代码在函数执行期间不断分配新对象，这些对象在函数返回后不再可达。新生代回收器会在 From 空间写满时运行，几乎不需要复制任何存活对象，因此回收速度极快。如果把这些临时对象意外保存到全局数组中，它们就会存活更久，最终晋升到老生代，回收成本也会随之上升。
三、隐藏类与内存布局的优化
V8 使用隐藏类来描述对象的属性布局。当创建一个对象时，V8 会为该对象关联一个隐藏类，隐藏类记录了属性的顺序、类型以及属性值在对象中的偏移量。例如对象 { a: 1, b: 2 } 和 { a: 3, b: 4 } 共享同一个隐藏类，因为它们的属性结构相同。访问属性 obj.a 时，V8 不需要进行哈希查找，而是通过隐藏类直接定位到内存偏移量。
隐藏类提升了属性访问速度，但也带来了一些约束。动态添加或删除属性会导致隐藏类发生变化。不同顺序添加相同属性也会生成不同的隐藏类。比如先添加 a 再添加 b 的对象，与先添加 b 再添加 a 的对象，隐藏类不同。如果代码中频繁以不同顺序初始化对象，V8 会生成大量隐藏类，增加 Map 空间的内存占用，并降低内联缓存的命中率。因此建议在构造函数中一次性声明所有属性，并保持属性添加顺序一致。
// 隐藏类友好的写法：构造函数一次性初始化属性
class Point {
constructor(x, y) {
this.x = x;
this.y = y;
}
}
// 隐藏类不友好的写法：先创建空对象再动态添加属性
function createPoint(x, y) {
const p = {};
p.x = x;
p.y = y;
return p;
}
内联缓存是 V8 优化属性访问的另一项技术。当函数第一次执行 obj.a 时，V8 记录下 obj 的隐藏类和属性偏移量。后续再次执行相同代码时，如果对象的隐藏类匹配，就直接使用缓存的偏移量读取属性。如果隐藏类不匹配，内联缓存会降级为多态或普通查找。频繁改变对象形状会让内联缓存不断失效，影响性能。
Map 空间的大小也会受到隐藏类数量的影响。每个新的属性组合或属性删除都会产生新的隐藏类。内存快照中如果看到大量 Map 对象，通常说明程序存在动态属性滥用。把对象属性定义在构造函数或类字段中，可以减少 Map 数量，从而降低 Map 空间占用，也减轻老生代回收的标记负担。
四、内存泄漏排查与 WeakRef 的实际应用
内存泄漏在 V8 中通常表现为堆内存持续增长，垃圾回收无法回收已经不再使用的对象。常见原因包括全局变量意外持有对象引用、闭包捕获了大对象、事件监听器未被移除、定时器未清理、以及 DOM 节点被 JavaScript 对象引用但已从文档中删除。闭包泄漏尤其隐蔽，因为闭包会持有外部函数作用域中所有用到的变量，如果闭包本身被长期保存，这些变量也会一直存活。
排查内存泄漏时可以使用 Chrome DevTools 的 Memory 面板生成堆快照。通过对比两次快照之间的对象数量增长，可以定位哪些对象没有被释放。也可以使用 process.memoryUsage() 在 Node.js 中观察堆使用变化。Node.js 还支持通过 --expose-gc 参数手动触发垃圾回收，配合堆快照分析哪些对象在手动回收后仍然存活。
WeakRef 和 FinalizationRegistry 是 ECMAScript 提供的弱引用能力，可以用来观察对象何时被回收。WeakRef 不会阻止垃圾回收器回收其目标对象。FinalizationRegistry 则允许注册一个回调，当目标对象被回收后异步触发。不过 WeakRef 的回收时机不确定，不能依赖它做关键业务逻辑。它的典型用途是实现缓存：当被缓存对象在其他地方不再使用时，缓存项可以自动失效。
// 使用 WeakRef 创建弱引用缓存，避免强引用导致泄漏
const cache = new Map();
function getValue(key) {
const ref = cache.get(key);
if (ref) {
const value = ref.deref();
if (value !== undefined) {
return value;
}
}
const value = computeExpensiveValue(key);
cache.set(key, new WeakRef(value));
return value;
}
const registry = new FinalizationRegistry((heldValue) => {
console.log('对象已被回收:', heldValue);
});
let obj = { name: 'temp' };
registry.register(obj, 'temp-object');
obj = null; // 解除强引用，之后 obj 可能被垃圾回收
需要注意的是，WeakRef 的 deref 方法可能返回 undefined，因此必须在使用前进行判断。FinalizationRegistry 回调执行时机也不确定，可能在事件循环的微任务检查点之后运行。如果回调中再次引用了被回收的目标对象，可能会产生新的强引用，反而阻止回收。弱引用适合缓存清理和诊断，不适合替代显式资源管理。
另一个容易忽略的泄漏来源是外部资源引用。比如 setInterval 回调捕获了一个大数组，即使外层已经不再需要这个数组，定时器仍然持有它。在 Node.js 中，EventEmitter 的事件监听器如果没有设置最大监听器数量限制，也可能因为大量匿名函数监听同一个事件而积累引用。排查这类问题时，应首先检查全局作用域、定时器队列和监听器注册表。
五、编写 GC 友好代码的实践建议
理解 V8 的内存模型之后，可以主动调整代码风格来降低垃圾回收压力。尽量复用对象而不是频繁创建临时对象，特别是在循环和动画帧回调中。比如在 requestAnimationFrame 循环里，如果每帧都创建新的数组或对象，会导致新生代不断触发 Scavenger。可以预先分配缓冲区，并在每帧中重复使用。对于大数组和大字符串，避免每次拼接都生成新对象，使用 Array 预分配和 join 方法。
避免在热路径中使用动态属性。在构造函数或类字段中一次性声明属性，保持对象形状稳定。删除属性应当使用 delete 时谨慎，因为它会让对象进入字典模式，隐藏类优化失效。如果确实需要移除属性，可以考虑将属性值设为 null 或 undefined，而不是删除属性本身。不过大量 null 字段仍会占用内存，需要根据对象大小权衡。
对于大对象或大缓存，应合理设置淘汰策略。可以使用 WeakMap 替代 Map 来存储对象到数据的映射，这样当对象本身不再被引用时，WeakMap 中的条目会自动被回收，不会产生额外泄漏。对于通用缓存，结合 TTL 过期和 LRU 算法定期清理。极端场景下还可以通过 SharedArrayBuffer 或外部内存来减轻 V8 堆的压力，但这类方案复杂度较高。
最后，性能优化不必过早。现代 V8 的垃圾回收器已经高度自动化，大多数业务代码无需手动干预。关键是在出现内存增长、页面卡顿或 Node.js 进程内存超出限制时，能够通过堆快照和回收策略定位问题。掌握新生代复制、老生代标记清除、隐藏类和写屏障这些机制，可以更准确地解释观察到的内存行为，而不是盲目猜测或随意改写代码。
JavaScript引擎V8内存管理垃圾回收修改时间：2026-08-27 15:03:40