假设i=0，并且数组的所有元素都初始化为0A[i++]=A[i++]+2，这一行的求值顺序是什么

Question

我在《简明的书》中遇到了java中的这一行代码，我想知道编译器是如何划分这些代码的

a[i++] += 2;
a[i++] = a[i++] + 2;

Answer 1

如果左侧操作数是数组访问表达式(§15.10.3)，可能包含在一对或多对括号中，则：

首先，计算左侧操作数数组访问表达式的数组引用子表达式。如果此求值突然完成,则赋值表达式也会因为同样的原因突然完成；未计算（左侧操作数数组访问表达式的）索引子表达式和右侧操作数，也未进行赋值。

否则，计算左侧操作数组访问表达式的索引子表达式。如果此求值突然完成，则赋值表达式由于相同的原因突然完成，右侧操作数不会求值，也不会发生赋值。

^{https://docs.oracle.com/javase/specs/jls/se12/html/jls-15.html#jls-15.26.1}

我假设评估的顺序应该如下

a[i++] = a[i++] + 2;
  ^      ^ ^
  1      3 2
         ----------
             ^
             4
------
  ^
  5
--------------------
         ^
         6

我们可以通过运行这个片段来证明这一点

int[] a = {0, 10, 0, 0};
int i = 0;
a[i++] = a[i++] + 2;

System.out.println(Arrays.toString(a)); // [12, 10, 0, 0]
System.out.println(i);                  // 2