Java: Dozwolone instrukcje po etykietach

Question

Używam Java Syntax, więc to pytanie powstaje wyłącznie z ciekawości. Ten fragment kodu:

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

robi nie kompilacji, ponieważ etykieta (http) „muszą być przestrzegane przez oświadczenia”. Poniższe dwa warianty należy skompilować:

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

i

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

W obu przypadkach, przeszedłem od deklaracji do wyrażenia. To sprawia, że ​​zastanawiam się, co dokładnie jest „oświadczenie” w Javie, ale doc stany:

Oprócz sprawozdania ekspresyjnych, istnieją dwa inne rodzaje sprawozdań: sprawozdania deklaracji oraz rachunku przepływów sterowania. Deklaracja deklarująca deklaruje zmienną.

JLS prostu mówi (na etykietach), które

identyfikator jest uznany za etykieta natychmiast zawartych Statement.

Nie mówi nic o "wyrażeniach wyrażeń".

Czy coś mi umknęło, czy jest to tylko niejasna/niepoprawna specyfikacja?

Answer 1

Jeśli czytasz rozdział 14 JLS nieco ostrożniej, okaże się, że LocalVariableDeclarationStatement to nie Oświadczenie. Niezbyt intuicyjny z nich, prawda?

szczególności, w JLS 14.2 widzimy, że:

• blokowym zasadniczo zawiera zero lub większą liczbę BlockStatements
• BlockStatement jednym z:
  • LocalVariableDeclarationStatement
  • ClassDeclaration
  • Oświadczenie

Tak więc LocalVariableDeclarationStatement nie jest potomkiem Statement w hierarchii, ale raczej rodzeństwem. Oba są typami BlockStatements.

Po etykiecie musi znajdować się prawdziwe oświadczenie —, które jest podtypem BlockStatement, który nie jest ani LocalVariableDeclarationStatement, ani ClassDeclaration. Różne podtypy Oświadczenia są wymienione w 14.5. Nie znajdziesz wśród nich LocalVariableDeclarationStatement, ale znajdziesz ExpressionStatement jako podtyp StatementWithoutTrailingSubstatement.