Компилятор жалуется на «отсутствующий оператор возврата», даже если невозможно достичь условия, при котором оператор возврата будет отсутствовать.

Question

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

public int foo() { 
    if (true) { 
     return 5; 
    } 
} 

Учитывая, что Java compiler can recognize infinite loops, почему он не справиться с этой ситуацией, а? Связанный вопрос подсказывает, но не содержит подробностей для этого конкретного случая.

Answer 1

JLS 14.21, Unreachable Statements является раздел, который имеет дело с этим:

если заявление, имеет ли он или нет в еще часть, обрабатывается в необычной манере. По этой причине это обсуждается отдельно в конце этого раздела.

В конечном счете это связано с обработкой условной компиляции. Рассмотрим этот метод:

public int foo() { 
    if (DEBUG) { 
     return 5; 
    } 
} 

Если DEBUG является static final boolean true; вы можете подумать, что компилятор должен быть достаточно умен, чтобы понять метод всегда будет возвращать 5. Но если он изменен на false, код не действует.

Метод должен быть действительным для всех путей через метод без изменения исходного кода, что позволяет оптимизировать компиляторы для исключения байт-кода без изменений источника, независимо от значения флага.

very end of the linked JLS section подробно останавливается.

Answer 2

Причина, почему компилятор жалуется должен делать с этой ключевой точкой из Section 14.21 of the Java Language Specification, обсуждая недостижимые заявления:

для специальной обработки while, do исключения, и for заявления, состояние которых выражение имеет постоянный значение true, значения выражений не учитываются при анализе потока.

Обратите внимание, что if является не один из операторов, который имеет специальную обработку true постоянных условий. Причина, по которой исключена эта специальная обработка, заключается в том, чтобы позволить использовать if как форму условной компиляции, как объяснил Дэйв Ньютон в своем ответе.