interruttore Java su un enum non rilevare che tutti i casi sono coperti

Question

Ho una domanda utilizzando un Enum all'interno di un'istruzione switch in Java:

dichiaro un Enum in Java e utilizzare una variabile di quel tipo in uno switch dichiarazione, dove sono coperti tutti i possibili casi per i valori enumerati. Nell'esempio ogni caso inizializza una variabile che non è stato inizializzato prima del passaggio, ma il compilatore mi dà ancora un errore perché javac non riconosce che tutti i casi possibili sono coperti:

public class EnumSwitchTest { 

    public enum MyEnum { 
     FOO, 
     BAR 
    } 

    public static void main(String[] args) { 
     test(MyEnum.FOO); 
     test(MyEnum.BAR); 
    } 

    private static void test(MyEnum e) { 
     String msg; 
     switch (e) { 
      case FOO: 
       msg = "foo"; 
       break; 
      case BAR: 
       msg = "bar"; 
       break; 
     } 
     // Why does the compiler think it is possible to reach here 
     // and msg could still be uninitialized? 
     System.out.println("Enum is: " + e + " msg is: " + msg); 
    } 
} 

Perché il compilatore non in grado di rilevando che questo interruttore inizializzerà sempre msg (o genererà NullPointerException perché e è null)?

Quello che mi piacerebbe ottenere è un'istruzione switch, che gestisce tutti i casi ma genera un errore di compilazione se la classe Enum viene estesa in futuro ma non viene aggiunto alcun nuovo caso allo switch.

Answer 1

Immaginate se MyEnum fosse una classe separata. Quindi sarebbe possibile ricompilare la classe MyEnum e aggiungere nuovi valori, senza ricompilare EnumSwitchTest (quindi non ottenere alcun errore).

Quindi è possibile che un'altra classe chiami test con il nuovo valore.

Answer 2

Non conosco una soluzione che funziona con un'istruzione switch, ma è possibile utilizzare lo Enum Mapper project che fornisce un processore di annotazione che assicurerà in fase di compilazione che tutte le costanti enum siano gestite. Immagino che questo dia lo stesso risultato che stai chiedendo.

Inoltre supporta la ricerca inversa e i mapper paritial.