带大括号的语句无效

Question

有人能告诉我为什么这在 Java 中有效：

for (int i= 1; i<11; i++){
       Movie movie = randomMovie();
}

这不是吗？

for (int i= 1; i<11; i++)
      Movie movie = randomMovie();

我不明白，因为对我来说它似乎是完全相同的东西，但是当我放上花括号时，它突然变得正确。

Answer 1

检查这是否有效。

Movie movie = null;
for (int i= 1; i<11; i++)
      movie = randomMovie();

Answer 2

因为 Java 语法禁止后者。 相关的语法规则是：

BasicForStatement:
    for ( [ForInit] ; [Expression] ; [ForUpdate] ) Statement 

Statement:
    StatementWithoutTrailingSubstatement
    LabeledStatement
    IfThenStatement
    IfThenElseStatement
    WhileStatement
    ForStatement

StatementWithoutTrailingSubstatement:
    Block
    EmptyStatement
    ExpressionStatement
    AssertStatement
    SwitchStatement
    DoStatement
    BreakStatement
    ContinueStatement
    ReturnStatement
    SynchronizedStatement
    ThrowStatement
    TryStatement

请注意，以上不包括LocalVariableDeclarationStatement 。

您可以在JLS 第 19 章中找到 Java 的完整句法语法。

---

给你一个假设性的问题。 假设以下代码是有效的 Java：

for (int i = 1; i < limit; i++)
     Movie movie = randomMovie();
System.out.println("The last movie is " + movie);

movie变量的范围是什么？

答案是必须立即超出范围¹ 。 这使它成为一个无用的声明，在println调用中的用法是一个编译错误。

我相信这就是他们指定 Java 语法不允许这样做的原因。 声明是无用的，很可能是一个错误，应该通过编译错误引起程序员的注意。

（通过同样的论点，声明在

for (int i = 1; i < 11; i++){
     Movie movie = randomMovie();
}

也是一个错误。 但是在语言语法中对此做一些事情会很困难。）

---

^{1 - 替代方案站不住脚。 在像 Java 这样的静态检查语言中，不会出现范围内变量仅存在于较早的执行路径中的情况。 如果limit为零， movie的价值会是多少？}