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

In JShell, a "variable" is a storage location and has an associated type. A variable is created explicitly with a FieldDeclaration snippet:
int a = 42;
or implicitly by an expression (see below). Variables have a small amount of field semantics/syntax (for example, the volatile modifier is allowed). However, variables have no user-visible class enclosing them and will be generally viewed and used like local variables.

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

像字段，但不像局部变量，没有初始化器的声明将分配一个默认值，例如

jshell> int b;
b ==> 0

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

The JShell state is held in an instance of JShell. A snippet is evaluated in a JShell with the eval(...) method, producing an error, declaring code, or executing a statement or expression. In the case of a variable with an initializer, both declaration and execution occur.

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

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

实际上，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 上执行时同一语句的不同行为

Different behaviour of same statement while executing on JShell

java

java-9

java-10

jshell