4

我正在解决一个问题，将两个类的引用相互存储

例如：

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;
4

2 回答 2

10

该语句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 的一个实例中。使用该方法在 JShell 中评估片段eval(...)，产生错误，声明代码或执行语句或表达式。对于带有初始化程序的变量，声明和执行都会发生。

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

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

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

jshell> int a;
a ==> 0

jshell> a = a;
a ==> 0

这就是 jshell REPL 的工作方式。这不是一个错误。

于 2018-03-31T07:51:16.133 回答
1

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

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

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

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

于 2018-04-17T23:32:53.020 回答