为什么这个数组在Java8中只被计算一次，但是在Java9和Java10中却被计算了两次？

Java Debug封图.jpg

本文正在参加「Java主题月 – Java Debug笔记活动」，详情查看活动链接

问题描述

为什么array[idx++]+="a"在Java8中只增加一次idx，在Java9和Java10却是增加两次呢？

有一个Code Golfer@Kevin Cruijssen在一次挑战中写下了以下的代码：

import java.util.*;
public class Main {
  public static void main(String[] args) {
    int size = 3;
    String[] array = new String[size];
    Arrays.fill(array, "");
    for(int i = 0; i <= 100; ) {
      array[i++%size] += i + " ";
    }
    for(String element: array) {
      System.out.println(element);
    }
  }
}
复制代码

当我们将这段代码在Java 8运行时，会得到以下结果：

1 4 7 10 13 16 19 22 25 28 31 34 37 40 43 46 49 52 55 58 61 64 67 70 73 76 79 82 85 88 91 94 97 100 
2 5 8 11 14 17 20 23 26 29 32 35 38 41 44 47 50 53 56 59 62 65 68 71 74 77 80 83 86 89 92 95 98 101 
3 6 9 12 15 18 21 24 27 30 33 36 39 42 45 48 51 54 57 60 63 66 69 72 75 78 81 84 87 90 93 96 99 
复制代码

当我们将这段代码在Java 10运行时，会得到以下结果：

2 4 6 8 10 12 14 16 18 20 22 24 26 28 30 32 34 36 38 40 42 44 46 48 50 52 54 56 58 60 62 64 66 68 70 72 74 76 78 80 82 84 86 88 90 92 94 96 98 
2 4 6 8 10 12 14 16 18 20 22 24 26 28 30 32 34 36 38 40 42 44 46 48 50 52 54 56 58 60 62 64 66 68 70 72 74 76 78 80 82 84 86 88 90 92 94 96 98 100 102 
2 4 6 8 10 12 14 16 18 20 22 24 26 28 30 32 34 36 38 40 42 44 46 48 50 52 54 56 58 60 62 64 66 68 70 72 74 76 78 80 82 84 86 88 90 92 94 96 98 100 
复制代码

编号完全使用Java 10,那么在这里发生了什么？是Java 10中的bug吗？

在评论区中摘抄了一些回答

使用Java 9或更高版本（我们在Java 10中找到它时，会出现此问题。在Java 8上编译此代码，然后在Java 9或任何更高版本中运行，包括Java 11早期访问，给出了预期的结果。
这种代码是非标准的，但根据规范有效。这是由@Kevin Cruijssen在一个Golf挑战的讨论中发现，所以会遇到这样的奇怪情况。
@DidierL发现这个问题可以用更少且更合理的代码来复现：

class Main {
  public static void main(String[] args) {
    String[] array = { "" };
    array[test()] += "a";
  }
  static int test() {
    System.out.println("evaluated");
    return 0;
  }
}
/****************
在Java 8中编译时结果：
    evaluated
****************
****************
在Java 9和Java 10中编译时结果：
    evaluated
    evaluated
*****************/
复制代码

这个问题看起来像是因为表达式左边的副作用，使得字符串的连接和赋值运算符(+=)被限制了，如array[test()]+="a"，array[ix++]+="a"，test()[index]+="a"，或test().field+="a"。要启用字符串连接，则式子至少要有一边必须具有String类型。尝试在其他类型或构造上重现该问题失败。

唯一高赞回答

这是javac在JDK 9开始出现的错误(JDK 9对字符串连接进行了一些变化,我怀疑这是问题的一部分)，如javac团队在错误ID JDK-8204322下的确认。

就像array[i++%size] += i + " ";这行代码相应字节码：

  21: aload_2             // load the array reference
  22: iload_3             // load 'i'
  23: iinc          3, 1  // increment 'i' (doesn't affect the loaded value)
  26: iload_1             // load 'size'
  27: irem                // compute the remainder
  28: aload_2
  29: iload_3
  30: iinc          3, 1
  33: iload_1
  34: irem
  35: aaload
  36: iload_3
  37: invokedynamic #5,  0 // makeConcatWithConstants:(Ljava/lang/String;I)Ljava/lang/String;
  42: aastore
复制代码