Посмотрите на следующий бесконечный 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блока.