在JShell上执行时同一语句的不同行为

我正在研究一个问题，以便在彼此之间存储两个类的引用

例如：

class A { B b; A(B b){ this.b = b;} } class B { A a; B(A a){ this.a = a;} } public static void main(String...s){ A a = new A(new B(null)); aba = a; } 

现在，如果我使用以下语句而不是上面的初始化：

 A a = new A(new B(a)); 

我得到了以下错误，这很明显：

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

但是如果我在JShell上尝试相同，它就可以正常工作（只是为了确保variable a从未被初始化，我在执行语句之前检查了variable a ，确认它之前未初始化：

可能是我在这里遗漏了一些东西，但有些人可以帮助我理解为什么在JAVA中执行同一语句有两种不同的行为。

理解这个问题的一个简单方法是在Jshell允许使用以下语句，但在正常程序中不允许：

 var somevar = somevar; 

Answer 1

声明A a = new A(new B(a)); 不是局部变量的声明。

但首先，您所描述的问题可以简化为：

 jshell> int a = a; a ==> 0 

现在，这是怎么回事？

好吧，正如JEP 222的片段所说：

在JShell中，“变量”是存储位置并具有关联类型。 使用FieldDeclaration片段显式创建变量：

 int a = 42; 

或隐含地通过表达式（见下文）。 变量具有少量的字段语义/语法 （例如，允许使用volatile修饰符）。 但是，变量没有包含它们的用户可见类，并且通常会像局部变量一样查看和使用 。

所以，它们的行为有点像字段，有点像局部变量。

像字段一样，但与局部变量不同，没有初始化程序的声明将指定默认值，例如

 jshell> int b; b ==> 0 

但是，回到int a = a; 。 JEP 222的章节状态说：

JShell状态保存在JShell的实例中。 使用eval(...)方法在JShell中评估代码段，产生错误，声明代码或执行语句或表达式。 对于带有初始化程序的变量， 会发生声明和执行 。

因此，变量的声明和初始化程序的执行是两个单独的操作。

这意味着当执行初始化程序时，变量已经被声明，并且已经被赋值为默认值。

实际上， int a = a; 被评估为：

 jshell> int a; a ==> 0 jshell> a = a; a ==> 0 

这就是jshell REPL的设计方式。 这不是一个bug。

Answer 2

虽然我完全同意@Andreas上面的答案，但是初始化目前在JShell中工作的方式是预期的，我也有与@Dawood相同的观点，JShell应尽可能接近普通编译器，否则它有时可能不确定因此使用不安全。

对于这种特殊情况，我提出了Oracle的一个问题，它现在已被接受为官方错误。 您可以在此处跟踪有关此错误的更多信息

https://bugs.java.com/bugdatabase/view_bug.do?bug_id=JDK-8200567

希望在即将发布的JShell版本中尽快解决这个问题。