Java垃圾回收通过可达性分析算法判断对象存活：从GC Roots（如虚拟机栈局部变量、静态变量、常量池引用、JNI全局引用、活跃线程及锁对象）出发，沿强引用链搜索，可达即存活，不可达则标记为可回收。

Java 垃圾回收（GC）判断对象是否可达，核心是可达性分析算法：从一组固定的起点（GC Roots）出发，沿着强引用链向下搜索；能被任何一条引用链触达的对象，即为“可达”，视为存活；否则标记为不可达，进入回收候选。

哪些对象算 GC Roots？

GC Roots 是 JVM 认为“必须存活、绝不能被回收”的锚点，主要包括：

• 虚拟机栈中正在使用的局部变量、方法参数所引用的对象（注意：方法执行结束 → 栈帧弹出 → 这些变量立即失效）
• 方法区（元空间）中的静态变量、常量池里的字符串常量等引用的对象
• 本地方法栈中 JNI 的全局引用（JNI 局部引用在 native 方法返回后自动释放，不构成稳定 Root）
• 正在运行的 Java 线程本身，以及它持有的锁对象（如 synchronized 持有的 monitor 对象）

怎么才算“能被触达”？

“可达”只看强引用链是否存在，不看代码写法或对象是否显式置 null：

Java 接口排错助手

在调试 Java 后端 API 故障时使用此技能，尤其适用于以下任务：分析日志、跨 Controller、Service 和 Mapper 层追踪请求、定位异常根因、检查 SQL 执行或参数流转，以及生成简洁的诊断结论与修复方案。

下载

• 只要存在至少一条从某个 GC Root 出发、全部由强引用组成的路径连到该对象，它就存活
• 循环引用（如 A ⇄ B）不影响判定——若外部无 GC Root 连入整个环，整组对象仍不可达
• final 字段初始化完成后不可变，但若字段值被设为 null，原引用链即被切断
• 集合中移除元素（如 list.remove(obj)）后，若再无其他强引用，该对象立刻失去 Root 支撑

不可达 ≠ 立刻回收

一次不可达判定只是回收流程的起点，后续还有：

• 第一次标记：进入“待回收队列”，检查是否重写了 finalize()（已弃用）或注册了 Cleaner
• 第二次标记：若对象在第一次标记期间重新与 GC Root 建立强引用（极少见），可“自救”一次；否则正式列为可回收
• 真正回收时机由 JVM 决定——取决于堆内存压力、GC 策略（如 G1 的 Region 回收）、配置参数等，开发者无法强制

本质上，JVM 不是在找“垃圾”，而是在标记“活人”。所有没被标记的，才是 GC 要清理的目标。这个过程天然规避循环引用问题，也解释了为什么简单地写 obj = null 并不能保证对象马上消失。

Java免费学习笔记：立即使用
解锁 Java 大师之旅：从入门到精通的终极指南