为什么增强的for循环在以分号结束时不失败？

Question

我正在学习Java认证，在一次模拟考试中，我看到了一个非常奇怪的for-loop实现。该练习显示了以下语法：

for (Days d: Days.values());

一开始，我认为这是一个语法错误，因为我一直知道“for循环”的语法需要大括号，或者，如果只有一条指令需要迭代，我们可以跳过大括号，并在循环之后将语句对齐。-因为我以前没见过以分号“；”结尾的For循环--

然后我试图找到一些关于它的留档，但不幸的是，我找不到任何解释为什么是合法代码声明。仅引用以下语法：

The syntax of enhanced for loop is:

for(declaration : expression)
{
   //Statements
}

奇怪的是，在所有这些之后，我测试了我的代码，令人惊讶的是它编译并运行正常。然后，根据我做的一些测试（玩代码），我发现它的工作原理类似于For循环，但带有大括号，因此，它后面的任何指令都只执行一次。（好像代码在循环之外）。但我不确定这是否是增强for循环中分号的正确解释。

请参阅完整示例：

package com.TestDays;
public class TestDays {
    public enum Days { MON, TUE, WED};
    public static void main(String[] args) {
    int x = 0;
    *for (Days d: Days.values());*
    Days[] d2 = Days.values();
    System.out.println(d2[2]);
    }

}

• 有人知道为什么允许使用这种语法吗？谢谢

Answer 1

你读的留档不是官方留档，因为作者会写：

增强的for语句的形式为for（声明：表达式）语句

这是因为不需要支架。

单个分号形成所谓的_空statement_，这使得您的代码片段在语法上有效。

Answer 2

请注意，文档中仅提及以下语法：

The syntax of enhanced for loop is:

for(declaration : expression)
{
   //Statements
}

引用您问题的“文档”来自TutorialPoint上的一页（我在2016年5月22日看到）。我不打算链接到它，但假设他们还没有纠正它（还没有），你应该能够找到它使用谷歌短语搜索。

这不是官方文件。Java的唯一官方文档是由Oracle（以及之前的Sun Microsystems）员工编写并由这些组织发布的文档。

TutorialsPoint没有立场。在这种情况下，他们只是弄错了Java语法。

根据Java8 JLS，增强的for循环的真正Java语法是¹

EnhancedForStatement:
    for ( {VariableModifier} UnannType VariableDeclaratorId : Expression ) 
         Statement

EnhancedForStatementNoShortIf:
    for ( {VariableModifier} UnannType VariableDeclaratorId : Expression ) 
         StatementNoShortIf

其中语句和语句noshortif包括空语句；i、 e.一个空分号。

^{1-语法规则引用自Java 8语法。“no short ifs”变体是关于消除嵌套的if语句的歧义，与此无关。在Java7JLS中，规范中有两个语法版本，一个有变体，一个没有变体}

Answer 3

https://docs.oracle.com/javase/specs/jls/se7/html/jls-18.html

for循环定义为：

  for ( ForControl ) Statement

是Java中的有效语句，也是语句块。这种形式的循环并不常见，但你可以这样做：

 int i = 2;
 for(; i < 100; i*=2);
 // i is now the smallest power of two greater than 100