Почему if/else if/else для простого логического значения, не передающего ошибку «недостижимого кода»

Question

Почему этот код не дает ошибку «недоступный код»? Поскольку логическое значение может быть истинным или ложным.

public static void main(String args[]) { 
    boolean a = false; 
    if (a == true) { 

    } else if (a == false) { 

    } else { 
     int c = 0; 
     c = c + 1; 
    } 
} 

Answer 1

От JLS 14.21. Unreachable Statements

Это ошибка времени компиляции, если оператор не может быть выполнено, так как он недоступен.

и

еще-оператор достижима тогда и только тогда, если-то-иначе оператор достижим.

Оператор if-then-else доступен. Таким образом, по определению компилятор считает, что else-statement доступен.

Примечание: Интересно, что следующий код также компилируется

// This is ok 
if (false) { /* do something */ } 

Это не верно для while

// This will not compile 
while (false) { /* do something */ } 

потому что определение достижимости для while отличается (курсив мой):

Скрытый оператор доступен, если atement достигает , а выражение условия не является постоянным выражением, значение которого ложно..

Answer 2

Что касается компилятора, то он дает только недостижимую ошибку кода, если есть возможность оставить область действия метода без КАЖДОГО выполнения части кода. В вашем случае да, блок else никогда не будет выполнен, но ожидая, что компилятор покажет ошибку, это похоже на то, что компилятор отлаживает ваш код для возможных логических ошибок. В качестве примера возьмем следующий код.

public static boolean method() 
{ 
    boolean flag = false; 
    if(flag == true) 
    { 
     return true; 
    } 
    else if(flag == false) 
    { 
     return false; 
    } 
    else 
    { 
     return true & false; //comment in this line to get error 
    } 


    //return true | false; comment out this line to get error 
}