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

Question

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

例如:

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));
a.b.a = 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.