当未使用的对象仍在堆栈中时，是否可以将其用于垃圾回收？

Question

在下面的示例中，有两种功能上等效的方法：

public class Question {

    public static String method1() {
        String s = new String("s1");
        // some operations on s1
        s = new String("s2");
        return s;
    }

    public static String method2() {
        final String s1 = new String("s1");
        // some operations on s1
        final String s2 = new String("s2");
        return s2;
    }
}

但是在method1它们的first（）中，字符串“
s1”显然可用于return语句之前的垃圾回收。在second（method2）字符串中，“
s1”仍然可以访问（尽管从代码审查的角度来看，它不再使用了）。

我的问题是-jvm规范中是否有任何内容说明一旦在堆栈中未使用变量，便可以将其用于垃圾回收了？

编辑： 有时变量可以像完全渲染的图像一样引用对象，并且对内存有影响。

我问是出于实际考虑。我在一种方法中有大量的内存贪婪代码，并在考虑是否可以通过将这种方法分成几个小的方法来帮助JVM（一点点）。

我真的更喜欢无需重新分配代码的代码，因为它更易于阅读和推理。

更新 ：根据
jls-12.6.1：

Java编译器或代码生成器可能会选择设置将不再用于为null的变量或参数，以使此类对象的存储可以尽快收回

因此，看起来GC可能会声明仍然可见的对象。但是，我怀疑这种优化是在脱机编译期间完成的（这会增加调试的难度），并且很可能将由JIT完成。

Answer 1

否，因为您的代码可以想像地检索它并对其进行处理，并且抽象JVM不会考虑即将出现的代码。但是，一个非常非常非常聪明的优化JVM可能会分析前面的代码，并发现s1无法引用任何方法，并进行垃圾回收。但是，您绝对不能指望这一点。