try-catch i zmienne końcowe

Question

Mam bardzo głupie pytanie dla ciebie :)

Na przykład, mam następujący fragment kodu:

class MyClass { 

    public static void main (String[] args) { 

     final String status; 

     try { 
      method1(); 
      method2(); 
      method3(); 
      status = "OK"; 
     } catch (Exception e) { 
      status = "BAD"; // <-- why compiler complains about this line?? 
     } 

    } 

    public static void method1() throws Exception { 
     // ... 
    } 

    public static void method2() throws Exception { 
     // ... 
    } 

    public static void method3() throws Exception { 
     // ... 
    } 

} 

Pytanie jest wewnątrz: dlaczego kompilator narzeka na tej linii ?

IntelliJ IDEA mówi, że Variable 'status' might already have been assigned to.

Ale, jak widzę, nigdy nie docieramy do linii (gdzie ustawiamy status = "OK") w przypadku wyjątkowej sytuacji. Więc zmienna status będzie BAD i wszystko powinno być w porządku. A jeśli nie mamy żadnego wyjątku, otrzymamy OK. I ustawimy tę zmienną tylko RAZ raz.

Jakieś przemyślenia na ten temat?

Dzięki za pomoc!

Answer 1

Kompilator Java nie widzi, co ty i ja widzimy - że albo status zostanie ustawione na "OK" lub zostanie ustawione na "BAD". Zakłada się, że status można ustawić i wyjątek jest zgłaszany, w którym to przypadku zostanie przypisany dwukrotnie, a kompilator generuje błąd.

Aby to obejść, przypisz tymczasową zmienną do bloku try - catch i przypisz raz zmienną final.

final String status; 
String temp; 

try { 
    method1(); 
    method2(); 
    method3(); 
    temp = "OK"; 
} catch (Exception e) { 
    temp = "BAD"; 
} 

status = temp; 

Answer 2

Co się stanie, jeśli kod, który spowodował wyjątek, wystąpił pod numerem postatus = "OK"? Przyczyna pojawienia się błędu wydaje się dość oczywista.

Weź to na przykład:

final String status; 

try { 
    status = "OK": 
    causeException(); 
}catch(Exception e) { 
    status = "BAD"; 
} 

void causeException() throws Exception() { 
    throw new Exception(); 
} 

Spowodowałoby realokacja zmienną, dlatego pojawi się błąd.