Java局部变量什么时候可以使用GC？

Question

给定以下程序：

import java.io.*;
import java.util.*;

public class GCTest {

    public static void main(String[] args) throws Exception {
        List cache = new ArrayList();
        while (true) {
            cache.add(new GCTest().run());
            System.out.println("done");
        }
    }

    private byte[] run() throws IOException {
        Test test = new Test();
        InputStream is = test.getInputStream();
        ByteArrayOutputStream baos = new ByteArrayOutputStream();
        byte[] buff = new byte[256];
        int len = 0;
        while (-1 != (len = is.read())) {
            baos.write(buff, 0, len);
        }
        return baos.toByteArray();
    }

    private class Test {
        private InputStream is;

        public InputStream getInputStream() throws FileNotFoundException {
            is = new FileInputStream("GCTest.class");
            return is;
        }

        protected void finalize() throws IOException {
            System.out.println("finalize");
            is.close();
            is = null;
        }
    }
}

您是否希望在run方法中的while循环仍在执行且局部变量test仍在范围内时调用finalize？

更重要的是，此行为在任何地方都有定义吗？Sun有什么声明它是实现定义的吗？

这与以前人们在主要关注内存泄漏的SO上提出此问题的方式相反。在这里，我们让GC积极地对变量感兴趣的变量进行GC处理。您可能会因为测试仍在“范围内”而不会被GC，所以您可能会期望这样做。

作为记录，似乎有时测试“有效”（即最终命中了OOM），有时失败，具体取决于JVM的实现。

BTW不能捍卫这段代码的编写方式，这只是工作中出现的一个问题。

Answer 1

如果对象仍然在范围内，则不会对其进行垃圾回收，但是，如果代码中实际上并未进一步使用该变量（因此您看到的是不同的行为），即使在以下情况下，JIT编译器也可能会将其超出范围：您阅读源代码后，该变量似乎仍在“范围内”。

我不明白为什么您不在乎是否在代码中不再引用对象，但是如果您要确保对象保留在内存中，最好的方法是直接在类的字段中引用它们，甚至在静态领域也更好。如果静态字段引用了该对象，则不会收集垃圾。

编辑：这是您正在寻找的显式文档。

>我假设一个对象 在 本地引用超出范围 之前 无法死亡。

不能假定。Java规范和JVM规范都不对此提供保证。

仅仅因为变量在范围内，并不意味着它指向的对象是可到达的。通常情况下，范围内变量指向的对象是可访问的，但您的情况并非如此。编译器可以在jit时确定哪些变量已死，并且在oop-
map中不包含此类变量。由于可以从任何活动变量中访问“ nt”所指向的对象，因此可以进行收集。