变量赋值执行顺序引发NPE：解析及JLS相关规则问询

场景复现 #

static class Foo {
  int x = 0;
  Foo() {}
}
    
static Foo foo = null;
    
public static void main(String[] args) {
  System.out.println("Before foo: " + foo);
  foo.x = setupFoo();
  System.out.println("After foo.x: " + foo.x);
}

static int setupFoo() {
  foo = new Foo();
  foo.x = 1;
  System.out.println("Setup foo.x: " + foo.x);
  return 2;
}

执行输出（基于OpenJDK Temurin-21.0.1+12）：

Before foo: null
Setup foo.x: 1
Exception in thread "main" java.lang.NullPointerException:
  Cannot assign field "x" because "Test.foo" is null

现象解析 #

你观察到的矛盾行为本质是Java赋值表达式的执行顺序规则导致的：

• 代码foo.x = setupFoo()中，Java会先计算左操作数foo的引用，此时foo是null，这个null引用会被暂存到操作数栈中。
• 接着执行右操作数的setupFoo()方法，方法内部将静态变量foo重新赋值为新的Foo实例，但这不会改变之前已经压入栈的null引用。
• 最后尝试用栈中的null引用给字段x赋值，直接触发NullPointerException。

对应你提供的字节码，main方法的执行流程清晰可见：

// main方法字节码关键步骤
0: getstatic     #7          // 先获取foo的引用（null）压栈
3: invokestatic  #13         // 调用setupFoo()，修改静态变量foo为非null
6: putfield      #17         // 用栈中保存的null引用给x赋值，抛出NPE

JLS规范依据 #

这个行为完全符合《Java语言规范》（JLS）§15.26.1的规定：

赋值表达式的执行步骤为：

1. 计算左操作数的表达式，保存其结果值；
2. 计算右操作数的表达式；
3. 必要时对右操作数结果进行类型转换以匹配左操作数类型；
4. 将右操作数的值赋给左操作数所引用的变量/字段。

核心规则是左操作数的计算必须早于右操作数，无论右操作数是否会修改左操作数对应的变量，左操作数的引用在右操作数执行前就已经确定并保存。

设计背后的原因 #

Java采用这种执行顺序主要有三点考量：

• 行为确定性：固定的执行顺序让开发者能精准预判代码行为，避免因顺序模糊导致的逻辑混乱。如果左操作数在右操作数之后计算，遇到右操作数修改左操作数的场景，行为会变得难以预测。
• 语法一致性：Java中大多数二元表达式（如a + b、a > b）都遵循“先左后右”的执行顺序，赋值表达式保持这一惯例，降低语言的学习和理解成本。
• 实现简洁性：先计算左操作数压栈、再处理右操作数、最后完成赋值的线性流程，在字节码层面更容易实现，也便于JVM进行优化。

内容的提问来源于stack exchange，提问作者Zabuzard