Java中判断对象能否被回收的核心依据是可达性分析算法：从GC Roots（虚拟机栈局部变量、方法区静态/常量引用、本地方法栈JNI引用、synchronized锁定对象）出发，通过强引用链能到达的对象视为存活，否则标记为可回收；JVM用三色标记法（白/灰/黑）高效执行扫描，不可达对象若重写finalize()还可“自救”一次。
Java中判断一个对象能否被回收，核心依据是它是否还“可达”。可达性分析算法不是检查变量本身，而是从一组可信的起点出发，顺着引用关系追踪哪些对象还能被程序访问到。能被追到的就是存活对象，追不到的就标记为可回收。
什么是GC Roots？它们就是判定起点
GC Roots是一组必须保持活跃的引用，JVM认定它们绝不会被回收。所有从这些根出发、能通过引用链到达的对象，都被视为存活。常见的GC Roots包括：
- 虚拟机栈中局部变量表里正在使用的引用（比如方法参数、本地变量）
- 方法区中静态变量（static字段）所引用的对象
- 方法区中常量池里引用的对象（如字符串常量、类字面量）
- 本地方法栈中JNI（Native方法）持有的对象引用
- 被synchronized关键字锁定的对象（监视器对象）
如何理解“可达”与“不可达”
“可达”不等于“正在使用”，而是指存在一条从GC Roots出发、由强引用构成的路径，能走到该对象。只要路径存在，哪怕这个对象在业务逻辑中已无实际用途，JVM也认为它存活。
例如：
- 一个局部变量指向对象A，A又引用B，B再引用C —— A、B、C都可达
- 当局部变量被设为null，且A不再被其他任何GC Root路径连接，那么A及其直接/间接引用的B、C，若无其他路径支撑，就整体变为不可达
- 两个对象互相引用（如A.instance = B; B.instance = A），但二者都不被任何GC Root连接 —— 它们仍不可达，会被回收
三色标记：JVM内部如何高效执行可达性分析
在标记阶段，JVM用三种颜色管理对象状态，确保扫描不遗漏、不重复：
- 白色：尚未被访问，初始状态；标记阶段结束后仍是白色的，即为可回收对象
- 灰色：自身已被发现，但其引用的字段还未扫描完（正在处理中）
- 黑色：自身和所有引用字段都已扫描完毕，确认存活
标记过程从所有GC Roots开始，把它们涂成灰色入队；然后逐个取出灰色对象，将其引用的白色对象涂灰并入队，自身涂黑；直到灰色队列为空。最终，黑色对象存活，白色对象待回收。
注意finalize()带来的“延迟死亡”
即使一个对象被判定为不可达，JVM也不会立刻回收。如果它重写了finalize()方法且尚未执行过，该对象会被临时放入F-Queue队列，等待低优先级线程调用finalize()。此时对象有机会重新与某个GC Root建立强引用（如把自己赋给静态变量），从而“自救”一次。
但这个机会只有一次 —— finalize()执行后，对象再次不可达时，将被彻底回收，不再触发该方法。
