同一语句在JShell与Java编译中的行为差异及循环引用疑问

这个问题挺有意思的，我来给你掰扯清楚背后的原因～首先先明确你的场景：

你定义了两个互相持有引用的类：

class A { B b; A(B b){ this.b = b;} }
class B { A a; B(A a){ this.a = a;} }

用分步初始化的写法A a = new A(new B(null)); a.b.a = a;是完全正常的，但换成A a = new A(new B(a))时，普通Java编译器会报错：

Main.java:19: error: variable a might not have been initialised
A a = new A(new B(a));

但在JShell里执行这条语句却能正常运行，核心差异在于两者的变量初始化规则不同：

1. 普通Java编译报错的本质：严格的初始化顺序检查 #

Java语言规范（JLS）对变量初始化有明确要求：变量在被读取（引用）之前，必须完成明确的初始化。

当你写A a = new A(new B(a))时，执行顺序是这样的：

• 第一步：声明变量a，但此时它还没有被赋值（没有指向任何对象实例）
• 第二步：计算右边的表达式，首先需要执行new B(a)——这里要读取a的值，但a还没被赋值（还没把new A(...)的结果赋给它）
• 普通Java编译器会严格校验这个顺序，发现a在被引用时处于未初始化状态，因此直接抛出编译错误，阻止这种可能的非法引用。

而你最初的分步写法之所以合法，是因为：

• 先创建B实例（传入null），再创建A实例并赋值给a（此时a完成初始化）
• 之后再把a赋值给a.b.a，这时候读取a是合法的，编译器不会有异议。

2. JShell能运行的原因：宽松的变量占位机制 #

JShell是Java的交互式REPL环境，它的变量处理逻辑和普通编译模式完全不同：

• 在JShell中，当你输入一条变量赋值语句时，JShell会先创建变量的占位（即变量已经存在，初始值为null），然后再执行右边的赋值表达式。
• 所以当执行A a = new A(new B(a))时，new B(a)里的a是已经存在的变量（只是当前值为null），而不是“未初始化的变量”。JShell不会像普通编译器那样严格执行“使用前必须初始化”的规则，因此这条语句可以正常执行。

⚠️ 注意：JShell只是允许这条语句执行，并没有让引用自动正确绑定——此时B实例的a字段在构造时被赋值为null，等整个语句执行完，a才会被赋值为新创建的A实例，但a.b.a仍然是null，这和你分步初始化后a.b.a = a的结果是不一样的。

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