try-catch e le variabili finali

Question

Ho una domanda molto stupida per voi :)

Per esempio, ho seguito frammento di codice:

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 { 
     // ... 
    } 

} 

La domanda è all'interno: perché il compilatore si lamenta di questa linea ?

IntelliJ IDEA dice, che Variable 'status' might already have been assigned to.

Ma, come posso vedere, non raggiungiamo mai la linea (dove impostiamo status = "OK") in caso di situazione eccezionale. Quindi la variabile status sarà BAD e tutto dovrebbe essere ok. E se non abbiamo alcuna eccezione, allora otteniamo OK. E imposterai questa variabile solo una volta.

Qualche idea a riguardo?

Grazie per il vostro aiuto!

Answer 1

Il compilatore Java non vede quello che tu e io vediamo - che sia status sia impostato su "OK" o che sia impostato su "BAD". Si presuppone che status può essere impostato e viene generata un'eccezione, nel qual caso viene assegnato due volte e il compilatore genera un errore.

Per risolvere il problema, assegnare una variabile temporanea per il blocco try - catch e assegnare la variabile final una volta in seguito.

final String status; 
String temp; 

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

status = temp; 

Answer 2

Cosa succede se il codice che ha causato l'eccezione si è verificato dopostatus = "OK"? Il motivo per cui ottieni l'errore sembra abbastanza ovvio.

Prendete questo ad esempio:

final String status; 

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

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

Questo comporterebbe riassegnazione variabile, che è il motivo per cui si ottiene un errore.