不带大括号的 if 子句出现奇怪的编译器错误

Question

以下 Java 代码引发编译器错误：

if ( checkGameTitle(currGame) )
    ArrayList<String> items = parseColumns( tRows.get(rowOffset+1), currGame, time, method );

checkGameTitle 是一个公共静态函数，返回一个布尔值。这些错误都是“找不到符号”类型，符号为variable ArrayList、variable String和variable items。

但是，如果我添加{花括号}，则代码编译时不会出现错误。为什么会这样？没有它们的 if 子句是否存在歧义？

Answer 1

如果此时声明一个变量 items，则无法从任何地方访问它。因此，允许这种构造是没有意义的。

OTOH，当你打开一个块时，做同样的事情（一开始）仍然没有意义。但预计您稍后会想要扩展该块，并且它最终会有意义。

Answer 2

使用花括号，您可以创建一个可以包含声明的块。如果没有大括号，则只能有语句，不能有声明，例如您的示例

Answer 3

正因为我认为它在这些情况下总是有帮助的，所以这里 Java 语言规范的相关部分是 §14.4：

每个局部变量声明语句都立即包含在一个块中。局部变量声明语句可以与块中的其他类型的语句自由混合。

换句话说，局部变量声明只能作为独立声明出现在紧邻块“下方”的级别 ({})。它们不被视为语句 (§14.5)，它们是在if (....) 之后的内容。

Answer 4

问题是：

if ( condition )
    ArrayList<String> items = ...;

...本质上等同于：

if ( condition ) {
    ArrayList<String> items = ...;
}

您已经定义并初始化了 items，但是当您退出语句/块时，它会立即超出范围，因此您可以'实际上并没有用它来做任何事情。编译器正在警告您这一点。

Answer 5

您在 if 语句中定义变量 items，因此它无法在该范围之外的任何地方使用。

编辑：太慢了...

Answer 6

编译器错误是因为语言的规则没有明确指出“items”变量声明的范围。

例如，如果我有这样的代码块：

bool isTrue() {
  bool returnValue = false;
  if (cheese.isGreen()) {
    returnValue = true;
  }
  return returnValue;
}

很明显 returnValue 是整个方法中的有效变量。

如果我有这样的代码块：

bool isTrue() {
  if (cheese.isGreen()) {
    bool returnValue = true;
  }
  return returnValue;
}

很明显 returnValue 在“if 子句”之外无效。

但是如果我有这样的代码块：

bool isTrue() {
  if (cheese.isGreen())
    bool returnValue = true;
  return returnValue;
}

不清楚 returnValue 是否在 if 语句的范围内，或者 returnValue 是否在整个方法的范围内。这是由于Java语言语法的布局细节造成的。基本上，允许在任何块中声明新变量（因为块明确定义了变量的范围），但此 if 语句不包含块。

如果你假设Java默默地为你添加了这个块，那么范围就在“被遗忘的块”之内。如果您假设由于没有显式块来包含范围，则变量的范围与方法的其余部分处于同一级别。关于哪种观点“更”正确的争论比比皆是，因此这种做法的整个尝试都是被禁止的。

如果这对你来说很奇怪，并且你认为只有疯子才会认为变量是在隐含块的范围内定义的，请记住，在 Java 之前的语言中，范围将处于同一级别作为返回语句。是的，按照今天的标准来看，这是疯狂的语言，但它们仍然存在。