Java判断对象是否可回收采用可达性分析算法而非引用计数法，因后者无法处理循环引用且有额外开销；JVM以GC Roots为起点遍历引用链判定存活，引用类型仅影响回收时机而非存活判定。
Java 中判断对象是否可被回收，核心在于“对象是否还存活”，而实现这一判断的两种主流思路，就是引用计数法和可达性分析算法。Java 虚拟机（JVM）实际采用的是后者，但理解前者有助于看清设计取舍。
引用计数法：直观但有硬伤
它给每个对象维护一个整数计数器：
- 每新增一处引用（比如变量赋值、参数传入），计数器 +1；
- 每失效一处引用（比如变量重新赋值、作用域退出），计数器 −1；
- 计数器归零时，对象即判定为“不可达”，可立即回收。
这种机制简单高效，Python、PHP、Flash Player 等确实用它。但它在 JVM 中被弃用，关键原因有两个：
循环引用无法处理
比如 A.instance = B，B.instance = A，之后 A 和 B 都不再被外部引用。此时二者计数器仍为 1，永远不为 0，导致内存泄漏。额外开销明显
每个对象都要多存一个计数字段（哪怕只占 2 字节），大量小对象下空间浪费显著；每次引用变更都要原子更新计数器，带来频繁的读写与同步成本。
可达性分析算法：JVM 的实际选择
JVM 以一组被称为 GC Roots 的对象为起点，沿着引用链向下遍历。能被访问到的对象视为“存活”，否则标记为“待回收”。
常见的 GC Roots 包括：
- 虚拟机栈中局部变量引用的对象
- 方法区中静态变量（static field）引用的对象
- 方法区中常量池引用的对象（如字符串字面量）
- 本地方法栈（JNI）中引用的对象
- 正在被 synchronized 锁住的对象
这个算法天然规避了循环引用问题：只要 A 和 B 都不再被任何 GC Root 间接引用，哪怕它们彼此引用，也会被一并回收。
引用类型影响的是回收时机，不是存活判定逻辑
Java 中的强、软、弱、虚引用，并不改变“是否可达”的基本判定——它们都基于可达性分析。区别在于：
- 强引用：只要可达，绝不回收；
- 软引用：内存不足时才尝试回收；
- 弱引用：下一次 GC 就回收（不管内存是否紧张）；
- 虚引用：仅用于跟踪对象被回收的时机，本身不阻止回收。
也就是说，引用类型是“可达性分析后的策略层”，不是“判定是否可达的底层机制”。
不复杂但容易忽略
