哪些对象可以作为 GC Roots：可达性分析的起点

面试题：哪些对象可以作为 GC Roots？

GC Roots 是可达性分析的起点。

JVM 从 GC Roots 出发，沿着对象之间的引用关系进行遍历，判断对象是否可达。如果一个对象无法从任何 GC Roots 到达，就会成为垃圾回收的候选对象。

常见的 GC Roots#

例如方法中的局部变量引用。

1
public void test() {
2
    Object obj = new Object();
3
}

当 test() 方法执行时，局部变量 obj 引用着一个对象。如果该引用在当前执行状态下仍然有效，并且能够从 GC Roots 到达这个对象，那么该对象就不会因为没有其他引用而被判定为垃圾。

注意：方法中的局部变量引用是否仍然有效，需要结合实际执行状态判断，并不是所有曾经出现过的局部变量都永远是 GC Roots。

例如：

1
class Cache {
2
    static Object data = new Object();
3
}

data 是静态字段，引用着一个对象。当该静态字段仍然有效，并且能够从 GC Roots 到达这个对象时，对象就可以保持存活。

如果静态字段被清空，且对象没有其他可达路径，它就可能成为垃圾。

JNI 是 Java Native Interface，即 Java 本地接口。

Java 可以通过 JNI 调用 C、C++ 等本地代码。本地代码可能持有 Java 对象的引用，这些有效引用也可能成为 GC Roots。

理解即可，普通 Java 后端开发中不需要深入 JNI 实现细节。

JVM 内部某些重要的数据结构也可能持有对象引用，例如与类加载、运行时状态或同步机制有关的内部结构。

这类引用是否属于 GC Roots，取决于具体 JVM 实现和运行状态。面试初期知道存在这一类即可，不必死记内部细节。

1
class Demo {
2
    static Object global = new Object();
3

4
    public void test() {
5
        Object local = new Object();
6
    }
7
}

可以这样理解：

注意：示例用于说明引用关系。实际 GC Roots 的识别会考虑 JVM 运行状态，不应简单地把源代码中每一个局部变量或静态字段都视为永远有效的根。

不完全正确。只有当引用本身有效，并且能够从 GC Roots 到达对象时，对象才能通过这条路径保持可达。

错误。静态字段可以被重新赋值或清空。如果对象失去所有 GC Roots 可达路径，就可能成为垃圾。

错误。

1
class Node {
2
    Node next;
3
}

如果对象 A 和对象 B 互相引用，但没有任何 GC Roots 能够到达它们，可达性分析仍然可以判定它们不可达。

问：哪些对象可以作为 GC Roots？

答：

常见的 GC Roots 包括 Java 虚拟机栈中有效的引用、静态字段引用的对象、JNI 中持有的有效引用，以及 JVM 内部某些重要数据结构持有的引用。

JVM 以这些根对象为起点进行可达性分析，沿着引用关系遍历对象。如果某个对象无法从任何 GC Roots 到达，就会成为垃圾回收的候选对象。

方法执行结束后，局部变量引用的对象一定会立即被回收吗？

答案：不一定。如果对象仍然能通过其他有效引用从 GC Roots 到达，它就不会因为方法结束而变成不可达对象；即使已经不可达，也不意味着立即回收。

静态字段引用的对象一定不会被回收吗？

答案：不一定。静态字段可以被清空或重新赋值；如果对象没有其他可达路径，就可能成为垃圾回收的候选对象。

两个对象互相引用，但没有任何 GC Roots 能够到达它们，它们可以被回收吗？

答案：可以。可达性分析能够识别这种不可达的循环引用。