Посмотрите на следующий бесконечный цикл while в Java.Это приводит к ошибке времени компиляции для оператора ниже.
while(true) {
System.out.println("inside while");
}
System.out.println("while terminated"); //Unreachable statement - compiler-error.
Следующий тот же бесконечный цикл while, однако работает нормально и не выдает никаких ошибок, в которых я только что заменилусловие с логической переменной.
boolean b=true;
while(b) {
System.out.println("inside while");
}
System.out.println("while terminated"); //No error here.
Кроме того, во втором случае оператор после цикла явно недостижим, потому что логическая переменная b верна, но компилятор вообще не жалуется,Почему?
Редактировать: Следующая версия while застревает в бесконечном цикле как очевидный, но не выдает ошибок компилятора для оператора ниже, даже если ifусловие в цикле всегда равно false, и, следовательно, цикл никогда не может вернуться и может быть определен компилятором во время самой компиляции.
while(true) {
if(false) {
break;
}
System.out.println("inside while");
}
System.out.println("while terminated"); //No error here.
while(true) {
if(false) { //if true then also
return; //Replacing return with break fixes the following error.
}
System.out.println("inside while");
}
System.out.println("while terminated"); //Compiler-error - unreachable statement.
while(true) {
if(true) {
System.out.println("inside if");
return;
}
System.out.println("inside while"); //No error here.
}
System.out.println("while terminated"); //Compiler-error - unreachable statement.
Редактировать: То же самое с if и while.
if(false) {
System.out.println("inside if"); //No error here.
}
while(false) {
System.out.println("inside while");
// Compiler's complain - unreachable statement.
}
while(true) {
if(true) {
System.out.println("inside if");
break;
}
System.out.println("inside while"); //No error here.
}
Следующееверсия while также застревает в бесконечном цикле.
while(true) {
try {
System.out.println("inside while");
return; //Replacing return with break makes no difference here.
} finally {
continue;
}
}
Это потому, что блок finally всегда выполняется, даже если оператор return встречается до него внутри самого блока try.