Java标签不规则(可能是bug？)

Question

如果我们看一下 Java standard §14.7，我们看到语句可能有标签前缀，例如:

LabeledStatement:

     Identifier : Statement

理论上，标签应该能够标记任何后续语句。因此，例如，以下内容会相应地进行编译:

public class Test {
    public static void main(String[] args) {
    hello:
        return;
    }

}

直觉上，这也可以编译:

public class Test {
    int i;
    public static void main(String[] args) {
        Test t = new Test();
    label:
        t.i = 2;        
    }
}

但是下面的代码不编译:

public class Test {
    public static void main(String[] args) {
    oops:
        int k = 3;  
    }
}

即使这样做(注意范围括号):

public class Test {
    public static void main(String[] args) {
    oops:
        {
            int k = 3;
        }
    }
}

所以问题取决于声明是否是陈述。根据标准(和 online documentation ):

In addition to expression statements, there are two other kinds of statements: declaration statements and control flow statements. A declaration statement declares a variable.

我在 OSX 和 Windows 上的 Java 7 和 8 中都注意到了这种行为。这是错误还是我误解了标准？

Answer 1

表达式

int k = 3; 

是一个local variable declaration statement .

statement用于标签语句的语法中

LabeledStatement:

  Identifier : Statement

不包含局部变量声明语句。因此，您不能直接在带标签的语句中使用它们。

局部变量声明语句可以在blocks内使用可以在带标签的语句中使用。