java - 为什么没有 OutOfMemoryError

Question

我不明白为什么这段代码没有OutOfMemoryError

public static void main(String[] args) {
    Object[] ref = new Object[1];
    while (true) {
        ref[0] = new Object[]{ref};
        ref = (Object[]) ref[0];
    }
}

对于我来说，上面提到的代码必须按以下方式工作:

Start:
   ref = new Object[1];
Loop:
   ref[0] = new Object []{ new Object[1] }
   ref = new Object []{ new Object[1] }
   ref[0] = new Object []{ new Object []{ new Object[1] } }
   ref = new Object []{ new Object []{ new Object[1] } }

我的意思是每个新对象的链接都被保存，垃圾收集器无法删除未使用的对象，因此必须存在 OutOfMemoryError。但是如果运行代码，它将工作很长时间...

我不明白或哪里错了？请解释一下。

Answer 1

这里没有内存泄漏。

考虑以下步骤:

1. Object[] ref = new Object[1];
   内存:ref --> array 1
2. ref[0] = new Object[]{ref};
   内存:ref --> array 1 --> array 2 --> array 1
3. ref = (Object[]) ref[0];
   内存:ref --> array 2 --> array 1 --> array 2 --> ...
4. ref[0] = new Object[]{ref};
   内存:ref --> array 2 --> array 3 --> array 2 --> ...
   此时，array 1不再被引用，可以被GC回收。
5. ref = (Object[]) ref[0];
   内存:ref --> array 3 --> array 2 --> array 3 --> ...
6. ref[0] = new Object[]{ref};
   内存:ref --> array 3 --> array 4 --> array 3 --> ...
   此时，array 2不再被引用，可以被GC回收。

... 循环继续。在每个循环之后，有一个数组不再被引用并且可以进行垃圾回收。只要 GC 正常工作，您就永远不会耗尽内存。

编辑:更正了数组在内存中的链接方式的细节。感谢 Javier 指出这一点。