Зачем нужны скобки здесь? Java: "if (true) int i = 0;"

Question

public class Test{ 
    public void newMethod(){ 

     if(true)int i=0; 

    } 
} 

Приведенный выше код дает мне следующую ошибку

Test.java:4: error: '.class' expected 
     if(true)int i=0; 
       ^

Но если я это пишу, как этот

public class Test{ 
    public void newMethod(){ 

     if(true){ 
     int i=0; 
     } 

    } 
} 

тогда нет никакой ошибки!

Я знаю, что этот вопрос не помогает сообществу, но мне действительно интересно, почему мне нужно иметь скобки в этом утверждении. Я программировал в java в течение нескольких лет, и только сейчас я столкнулся с этой ошибкой.

Я использую JGrasp, кстати.

Answer 1

Вот мое понимание. Цитата из Chapter 14 of JAVA SE 7 specification:

14.2. Блоки

Блок представляет собой последовательность операторов, локальных деклараций классов и операторов локальных переменных в фигурных скобках.

Block: 
    { BlockStatementsopt } 

........  

BlockStatement: 
    LocalVariableDeclarationStatement 
    ClassDeclaration 
    Statement 

Так блок всегда в фигурных скобках { ... }.

14.4. Локальные заявления о декларации переменных

Локальный оператор объявления переменных объявляет одно или несколько локальных имен переменных .

LocalVariableDeclarationStatement: 
    LocalVariableDeclaration ; 

LocalVariableDeclaration: 
    VariableModifiersopt Type VariableDeclarators 

....... 

VariableDeclarator: 
    VariableDeclaratorId 
    VariableDeclaratorId = VariableInitializer 

.......

Каждый местный оператор объявления переменных немедленно содержащихся в блоке. Локальные инструкции описания переменных могут быть смешаны с свободно с другими видами операторов в блоке.

Теперь, что это значит, «немедленно содержится»?

Некоторые утверждения содержат другие утверждения как часть их структуры; такие другие утверждения являются подстановками инструкции. Мы говорим, что оператор S сразу содержит оператор U, если нет оператора T, отличного от S и U, такого, что S содержит T и T содержит U. В таким же образом некоторые утверждения содержат выражения (§15) как часть их структуры.

Давайте посмотрим на ваш пример:

public class Test{ 
    public void newMethod(){ 

     if(true)int i=0; 

    } 
} 

В этом случае мы имеем следующий блок:

{ 

      if(true)int i=0; 

} 

Внутри этого блока мы имеем If Statement:

if(true)int i=0; 

Этот оператор, в свою очередь, содержит локальный var iable declare:

int i=0; 

Таким образом, состояние нарушено. Напомним: Каждый локальный оператор объявления переменной немедленно содержится в блоке. Однако в этом случае объявление локальной переменной содержится в инструкции If, которая не является самим блоком, а содержит другой блок. Следовательно, этот код не будет компилироваться.

Единственное исключение для for цикла:

A local variable declaration can also appear in the header of a for statement (§14.14). In this case it is executed in the same manner as if it were part of a local variable declaration statement. 

(Вам может понадобиться перечитать его несколько раз, чтобы понять.)

Answer 2

Dark Falcon прав, если один оператор, следующий за тегом if, является объявлением переменной, тогда ничто не может использовать эту переменную, объявление будет ограничено по объему телу if, что было бы бесполезно, потому что что-либо после этого не было бы i в сфере охвата.

Если if (true)int i = 0; действительно работал (это означает, что объявление было видимым для последующих строк), это означало бы, что если бы была объявлена ​​переменная, это зависело бы от результата теста if, что было бы нехорошо.

КСТАТИ if (true) int i = 0; причины такой синтаксис ошибки в Eclipse:

Multiple markers at this line 
    - i cannot be resolved to a variable 
    - Syntax error on token "int", delete 

, помещая скобки вокруг компилирует, хотя она генерирует предупреждение:

the value of the local variable i is not used