本文通过分析一段典型的java引用赋值代码，详解对象可达性变化过程，明确指出在三次引用重定向后仅有一个对象因失去所有引用而符合垃圾回收条件。
本文通过分析一段典型的java引用赋值代码，详解对象可达性变化过程，明确指出在三次引用重定向后仅有一个对象因失去所有引用而符合垃圾回收条件。
在Java中，一个对象是否“有资格被垃圾回收（eligible for garbage collection）”，核心判断标准是：该对象是否还存在任何从GC Roots（如栈帧中的局部变量、静态变量等）可达的强引用路径。一旦对象不可达，它就成为垃圾回收的候选者。
我们来逐步追踪题干代码中三个Test对象的引用关系变化：
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 now points to C → s1→C, s2→B, s3→C
s3 = s2; // s3 now points to B → s1→C, s2→B, s3→B
s1 = s2; // s1 now points to B → s1→B, s2→B, s3→B
}
}关键点在于：每行赋值操作改变的是引用变量的指向，而非对象本身。我们用字母标记初始对象便于追踪：
- 初始：s1 → A，s2 → B，s3 → C
- s1 = s3; → s1 → C，s2 → B，s3 → C（此时A已无引用）
- s3 = s2; → s1 → C，s2 → B，s3 → B（A仍无引用；C仅被s1引用）
- s1 = s2; → s1 → B，s2 → B，s3 → B（此时A和C均完全失去任何引用）
⚠️ 注意：上述分析中，A在第一轮赋值后即已不可达，而C在第三轮赋值后也失去最后引用——因此，在第11行（s1 = s2;）执行完毕后，对象A和对象C均不可达，共两个对象可被回收。
立即学习“Java免费学习笔记（深入）”；
但等等——这与答案解析中“s1="B", s2="B", s3="C"”的结论矛盾？问题出在对s3 = s2和s1 = s2执行顺序的误读。
当用户要求为 Java 代码添加注释、修改注释、审查注释、整理注释格式，或要求按照代码注释规范处理 Java 文件时，使用本技能。本技能用于统一生成和维护 Java 类注释模板、按 Git 对比 release 判断版本号、补充每行代码上方中文块注释、调整注释空行规则，并保持 Java 文件 UTF-8 无 BOM 编码。典型触发场景包括：补充类注释、更新 @version、检查 @author 来源、整理行尾注释、把注释放到代码上一行、检查注释是否符合规范、构建前检查 Java 注释风格。
我们严格按顺序重演（带内存快照）：
| 步骤 | 代码 | s1 引用 | s2 引用 | s3 引用 | 可达对象 |
|---|---|---|---|---|---|
| 初始 | — | A | B | C | A, B, C |
| 1 | s1 = s3; | C | B | C | B, C（A失联） |
| 2 | s3 = s2; | C | B | B | B, C（A仍失联；C仍被s1引用） |
| 3 | s1 = s2; | B | B | B | B（A和C均失联） |
✅ 结论清晰：执行完 s1 = s2; 后，只有对象B被s1/s2/s3共同引用；对象A和对象C均已没有任何强引用指向它们。因此，两个对象（A 和 C）符合垃圾回收条件。
选项分析：
- A. 三个对象 → ❌（s2始终指向B，B一直可达）
- B. 两个对象 → ✅ 正确
- C. 一个对象 → ❌（常见误判：忽略C在s1重指向后的失联）
- D. 零个 → ❌
? 补充提醒：
- Java中对象创建在堆，引用变量存储在栈（或方法区/常量池等），赋值操作只复制引用值（地址），不复制对象；
- 局部变量作用域结束（如main方法返回）前，只要引用变量仍存活且指向某对象，该对象就不可回收；
- 此题未涉及null赋值或循环引用，无需考虑软/弱引用或可达性队列等高级机制。
综上，正确答案是：B. After line 11, two objects are eligible for garbage collection.
