Java：ラベルの後の許可された文

Question

私はJava構文で遊んでいるので、これは純粋に好奇心から生じる問題です。コードのこの作品：ラベル（http）が「文が続かなければならない」ので

http://www.google.com 
Object val = 5 <- 4; 

は、ないコンパイルを行います。次の二つの変異体は、コンパイルします：どちらの場合も

http://www.google.com 
{ Object val = 5 <- 4; } 

と

Object val; 
http://www.google.com 
val = 5 <- 4; 

を、私は式に宣言から切り替えます。 これは私が正確にJavaで「文」があるか疑問になりますが、doc 状態：宣言文と制御フロー文：式文に加えて

は、文の他の二つの種類があります。宣言文は変数を宣言します。

JLSだけ識別子がすぐに含まれるStatementのラベルとして宣言され

こと（ラベル上）と言います。

「表現文」については何も言及していません。

私は何かを見逃しましたか、これはちょうど不明瞭/間違った仕様ですか？

Answer 1

JLSの第14章を少し慎重に読んだ場合、LocalVariableDeclarationStatementはではなく、ステートメントになります。それほど直感的ではありませんか？

すなわち、JLS 14.2に、我々は参照：

• ブロックが実質的にゼロ以上BlockStatements
• から成るBlockStatementのいずれかである：
  • LocalVariableDeclarationStatement
  • ClassDeclaration
  • ステートメント

LocalVariableDeclarationStatementは、階層内のStatementの子孫ではなく、兄弟です。どちらもBlockStatementsのタイプです。

ラベルには真の文—、つまりLocalVariableDeclarationStatementでもClassDeclarationでもないBlockStatementの特定のサブタイプが続かなければなりません。 Statementのさまざまなサブタイプは、14.5にリストされています。 StatementWithoutTrailingSubstatementのサブタイプとしてExpressionStatementがありますが、その中にLocalVariableDeclarationStatementはありません。