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的Snippets所说：

在JShell中，“变量”是存储位置并具有关联类型。使用 FieldDeclaration 代码段显式创建变量：
int a = 42;
或隐式表达式（见下文）。变量具有少量字段语义/语法 （例如，允许使用volatile修饰符）。但是，变量没有用户可见的类封闭它们，通常会像局部变量 一样被查看和使用。

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

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

jshell> int b;
b ==> 0

但是，回到int a = a;。 JEP 222的State部分说：

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

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

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

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

jshell> int a;
a ==> 0

jshell> a = a;
a ==> 0

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

Answer 2

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

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

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

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

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

2 个答案: