Недостижимый код работает нормально - как?

вы должны вернуться в попробовать.

Что делать, если есть исключение, и он непосредственно идет, чтобы поймать. Следовательно, он не является недостижимым с точки зрения компилятора и успешно компилируется.

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

кроме того, согласно JLS 14.21:

оператор достижимого разрыва выходит из оператора, если в пределах разрыва target, либо нет операторов try, чьи блоки try содержат оператор break, или есть операторы try, чьи блоки try содержат оператор break и все предложения finally тех, кто пытается заявления могут завершаться нормально.

см выход ниже, когда у вас есть возврат в обоих try и catch:

jshell>  public class Test1 {
   ...>     public static void main(String[] args) {
   ...>         try {
   ...>             return;
   ...>
   ...>         } catch (Exception e) {
   ...>             return;
   ...>
   ...>         }
   ...>
   ...>         System.out.println("I am unreachable??!!!");
   ...>     }
   ...> }
|  Error:
|  unreachable statement
|          System.out.println("I am unreachable??!!!");
|          ^------------------------------------------^

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

оператор post try будет считаться доступным, если:

1) Try has a return statement with catch and finally not having return statement
2) Try does not have a return statement with catch having or not having return statement and finally not having return statement
3) Try, catch and finally not having return statement

пытаясь дать более упрощенную причину проблемы, код доступен, в случае возникновения исключения в блоке try. В этом случае элемент управления далее переходит к блоку catch, а затем к блоку finally. После окончательного блокирования будет выполнен конкретный оператор.

try {
            return;                                 //line 1

        } catch (Exception e) {
            System.out.println("catch");            //line 2

        } finally {
            System.out.println("finally");          //line 3
        }
        System.out.println("I am unreachable??!!"); //line 4

это означает, что есть 2 случая, следовательно, 2 потока:

1. строка 1 - > строка 3 - > возврат (в случае отсутствия исключения)
2. строка 1 (исключение происходит) - > строка 2 - > строка 3 - > строка 4 (в случае, если try получает исключение)

линия станет недостижимой, только если мы не оставим никакой возможности, в которой контроль идет туда. Есть 2 способа для этого:

1. возврат из блока catch
2. возвращение из блока finally.

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

try {
            return;                                 //line 1

        } catch (Exception e) {
            System.out.println("catch");            //line 2
            return;                                 //return control
        } finally {
            System.out.println("finally");          //line 3
            return;                                 //or return from here
        }
        System.out.println("I am unreachable??!!"); //line 4    

Я надеюсь, что теперь это дает четкое представление о фактической причине проблемы.

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

согласно языку Java, последний println не является недостижимым оператором. Хотя, глядя на код, легко (для умного человека) понять, что он никогда не может быть выполнен.

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