Java 10:用于增强循环的字节代码生成

Question

下面的示例描述了在Java 9之前生成以下代码行的过程。

List data = new ArrayList<>();for (String b : data); 

public class Test

{
  public Test() {}
  public static void main(String[] paramArrayOfString) throws IOException {
    ArrayList localArrayList = new ArrayList();
    String str;
    for (Iterator localIterator = localArrayList.iterator(); localIterator.hasNext(); str = (String)localIterator.next()) {}
}

在Java 10中，迭代器变量在循环的外部声明，并在操作结束后立即初始化为null值，这样GC就可以摆脱未使用的内存。

{
    Iterator iterator = data.iterator();
    for (; iterator.hasNext();) 
    {
        String b = (String)iterator.next();
    }
    b = null;
    iterator = null;
}

如何显式地设置引用空比引用在for循环结束时超出作用域更好。

来源：https://dzone.com/articles/features-in-java-10

另外，从注释中添加链接：https://bugs.openjdk.java.net/browse/JDK-8192858

Answer 1

编辑:已经存在一个相关的问题:提供更多信息的Java "for“语句实现防止垃圾收集。

在阅读了bug报告(https://bugs.openjdk.java.net/browse/JDK-8192858和https://bugs.openjdk.java.net/browse/JDK-8175883)之后，可以将此更改的原因总结如下：

javac生成的字节码中存在一个问题，导致在循环完成后保留对数组/迭代的引用。

因此，即使数组/ iterable显式为空，仍然存在对数组/迭代的引用，这意味着数组/ iterable在离开方法的作用域之前不符合垃圾收集的条件。

对于大型数组/可迭代性(如下面的示例所示)，这可能会导致OutOfMemoryError。

这里的用例演示了这一点(取自bug报告)：

public class IteratorInOneScope { 

    private static final int HALF_OF_MEMORY = (int) (Runtime.getRuntime().maxMemory() * 0.5); 

    public static void main(String[] args) { 
        byte[] data = new byte[HALF_OF_MEMORY]; 

        for (byte b : data); // <-- if you comment this line - the application finished successfully 
        data = null; // this expects to discard reference -> allow to release the memory 

        byte[] data2 = new byte[HALF_OF_MEMORY]; // the memory can't be allocated second time, if the "for" loop statement above is used 

        System.out.println("Success"); 
    } 
}

它编译成以下字节码：

 0: getstatic #2 // Field HALF_OF_MEMORY:I 
 3: newarray byte 
 5: astore_0 <==== array ref in slot #0 

 6: aload_0 
 7: astore_1 <==== array ref in slot #1 

 8: aload_1 
 9: arraylength 
10: istore_2 

11: iconst_0 
12: istore_3 

13: iload_3 
14: iload_2 
15: if_icmpge 29 

18: aload_1 
19: iload_3 
20: baload 
21: istore 4 
23: iinc 3, 1 
26: goto 13 

29: aconst_null 
30: astore_0 <== nulls slot #0 

31: getstatic #2 // Field HALF_OF_MEMORY:I 
34: newarray byte 
36: astore_1 
37: getstatic #3 // Field java/lang/System.out:Ljava/io/PrintStream; 
40: ldc #4 // String Success 
42: invokevirtual #5 // Method java/io/PrintStream.println:(Ljava/lang/String;)V 
45: return 

由于这个原因，JLS 14.14.2没有更新：

JLS 14.14.2只关注语句的语义，而不是垃圾收集行为。编译器可以自由地生成他们想要产生指定行为的任何字节码。因此，如果javac希望将一些未使用的局部变量设置为null，则可以自由地这样做。没有任何规范更改的必要，将其包含在规范中将是一个错误，因为它不会影响语句的语义。