Estoy jugando con la sintaxis de Java, por lo que esta pregunta surge puramente por curiosidad. Este fragmento de código:
http://www.google.com Object val = 5 <- 4; no compila, porque una etiqueta ( http ) "debe ir seguida de una declaración". Las siguientes dos variantes se compilan:
http://www.google.com { Object val = 5 <- 4; }y
Object val; http://www.google.com val = 5 <- 4;En ambos casos, cambié de una declaración a una expresión. Esto me hace preguntarme qué es exactamente una "declaración" en Java, pero el documento dice:
Además de las sentencias de expresión, existen otros dos tipos de sentencias: sentencias de declaración y sentencias de flujo de control. Una instrucción de declaración declara una variable.
El JLS simplemente dice (en las etiquetas) que
Se declara que el Identificador es la etiqueta de la Declaración inmediatamente contenida.
No dice nada sobre "sentencias de expresión".
¿Me perdí algo, o es solo una especificación poco clara/incorrecta?
Si lee el capítulo 14 de JLS con un poco más de atención, encontrará que LocalVariableDeclarationStatement no es una declaración. No es muy intuitivo de ellos, ¿verdad?
Específicamente, en JLS 14.2 , vemos que:
Entonces, LocalVariableDeclarationStatement no es un descendiente de Statement en la jerarquía, sino un hermano. Ambos son tipos de BlockStatements.
Una etiqueta debe ir seguida de una Declaración verdadera, es decir, el subtipo específico de Declaración de bloque que no es una Declaración de declaración de variable local ni una Declaración de clase. Los diversos subtipos de Declaración se enumeran en 14.5 . No encontrará LocalVariableDeclarationStatement entre ellos, aunque encontrará ExpressionStatement como un subtipo de StatementWithoutTrailingSubstatement.