Java中对象垃圾回收的判定：三行引用赋值后有多少对象可被回收？-java教程-PHP中文网

Java中对象垃圾回收的判定：三行引用赋值后有多少对象可被回收？

本教程通过分析一段典型java引用赋值代码，详解对象可达性与垃圾回收 eligibility 的判断逻辑，明确指出执行完三步引用重定向后，仅1个对象因完全不可达而符合gc条件。

本教程通过分析一段典型java引用赋值代码，详解对象可达性与垃圾回收 eligibility 的判断逻辑，明确指出执行完三步引用重定向后，仅1个对象因完全不可达而符合gc条件。

在Java内存管理中，一个对象是否“有资格被垃圾回收”（eligible for garbage collection），唯一判定标准是该对象是否还存在任何从GC Roots（如主线程栈帧中的局部变量）可达的强引用路径。只要没有任何强引用指向它，它就成为GC候选者——与对象是否“被命名”、是否“曾被引用过”或“是否内容重复”无关。

我们逐行分析题干代码：

public class Test {
    public static void main(String[] args) {
        Test s1 = new Test(); // 创建对象A，s1 → A
        Test s2 = new Test(); // 创建对象B，s2 → B
        Test s3 = new Test(); // 创建对象C，s3 → C
        s1 = s3;              // s1 现在 → C（A失去s1引用）
        s3 = s2;              // s3 现在 → B（C失去s3引用）
        s1 = s2;              // s1 现在 → B（C彻底失去所有引用！）
    }
}

为清晰追踪，我们用字母标记三个堆对象：

初始：s1 → A，s2 → B，s3 → C
s1 = s3; → s1 → C，此时：s1→C, s2→B, s3→C（A仅剩0引用，但注意：此时尚未执行完全部语句）
s3 = s2; → s3 → B，此时：s1→C, s2→B, s3→B（A仍无引用；C仅由s1指向）
s1 = s2; → s1 → B，执行完毕后最终状态：
- s1 → B
- s2 → B
- s3 → B

✅ 对象B：被s1、s2、s3三个变量同时引用 → 可达，不可回收
❌ 对象A：自第4行s1 = s3起再无任何引用指向它 → 自始不可达，全程 eligible
❌ 对象C：在第5行s3 = s2后，仅s1指向它；但在第6行s1 = s2后，s1也不再指向C → 此时C也完全失去所有强引用 → 自第6行执行完毕起 eligible

⚠️ 关键纠正：题干答案解析中称“s3='C'”是错误的——第5行 s3 = s2 已使 s3 指向 B；第6行 s1 = s2 并未改变 s3，因此最终 s3 → B，而非 C。原答案混淆了中间状态与最终状态。

因此，执行完第6行（即题干所指“line 11: s1 = s2”之后）：