为什么在检查数组引用表达式是否为null之前要计算Java数组索引表达式？

Question

根据JLS，数组访问表达式的运行时计算行为如下：

1. 首先，计算数组引用表达式。如果此计算突然完成，则数组访问由于相同的原因突然完成，并且不计算索引表达式。
2. 否则，将计算索引表达式。如果此计算突然完成，则数组访问也会出于相同的原因突然完成。
3. 否则，如果数组引用表达式的值为null，则抛出NullPointerExcture。

所以这段代码将打印：java。lang.NullPointerException，索引=2

class Test3 {
    public static void main(String[] args) {
        int index = 1;
        try {
            nada()[index = 2]++;
        } catch (Exception e) {
            System.out.println(e + ", index=" + index);
        }
    }

    static int[] nada() {
        return null;
    }
}

问题是：为什么我们需要首先计算index=2表达式，而不只是在数组引用被计算为null时抛出NullPointerExcture？或者换句话说——为什么顺序是1,2,3，而不是1,3,2？

Answer 1

基本的字节码操作是（对于int[]）

ALOAD array_address
ILOAD index
IALOAD array_element_retrieval

IALOAD执行空指针检查。实际上，代码要复杂一些：

1. 计算数组地址
2. 计算指数
3. 我装载

所以答案是：在加载数组地址后，它需要一个额外的检查操作，以预期数组访问。

直接实现的行为。

Answer 2

这是因为在生成的字节码中没有显式的空检查。

nada()[index = 2]++;

被翻译成以下字节码：

// evaluate the array reference expression
  INVOKESTATIC Test3.nada ()[I
// evaluate the index expression
  ICONST_2
  DUP
  ISTORE 1
// access the array
// if the array reference expression was null, the IALOAD operation will throw a null pointer exception
  DUP2
  IALOAD
  ICONST_1
  IADD
  IASTORE

Answer 3

数组访问表达式有两个子表达式：

数组访问表达式包含两个子表达式，数组引用表达式（左括号前）和索引表达式（括号内）。

这两个子表达式在数组访问表达式本身之前求值，以便对表达式求值。

对两个子表达式求值后

nada()[index = 2]++;

变成

null[2]++;

现在才计算表达式并抛出NullPointerException。

这与Java中大多数表达式的计算是一致的（我能想到的唯一反例是短路运算符，如

例如，如果进行以下方法调用：

firstMethod().secondMethod(i = 2);

首先计算firstMethod（）和i=2，然后如果firstMethod（）计算为null，则抛出NullPointerException。