Switch + Enum = Non tutti i percorsi di codice restituiscono un valore

Question

Sono solo curioso di sapere perchè questo codice ...

enum Tile { Empty, White, Black }; 
    private string TileToString(Tile t) 
    { 
     switch (t) 
     { 
      case Tile.Empty: 
       return "."; 
      case Tile.White: 
       return "W"; 
      case Tile.Black: 
       return "B"; 
     } 
    } 

Lanci quell'errore. Non è possibile per t assumere qualsiasi altro valore, vero? Il compilatore non dovrebbe essere abbastanza intelligente da capirlo?

Answer 1

No, è possibile utilizzare qualsiasi valore int convertito in Tile. Prova questo:

Tile t = (Tile) 5; 
string s = TileToString(t); 

un enum è un insieme di nomi per i numeri, in modo efficace ... ma né il compilatore né il CLR impone che un valore del tipo enum ha un nome. È un dolore, ma è così ...

Vorrei suggerire un caso predefinito che ha generato ArgumentException (o eventualmente ArgumentOutOfRangeException).

Answer 2

switch (t) 
{ 
    case Tile.Empty: 
     return "."; 
    case Tile.White: 
     return "W"; 
    case Tile.Black: 
     return "B"; 
    default: throw new NotSupportedException(); 
} 

Come Jon ha sottolineato, il valore è integrale - un enum può essere lanciato da qualsiasi valore integrale. Hai solo bisogno di gestire il valore predefinito.

Answer 3

Ciò è dovuto al fatto che se il valore per t non corrisponde a nessuno dei casi di commutazione, esso cadrà fuori dallo switch e pertanto il metodo non restituirà un valore. Tuttavia, hai dichiarato che restituirà una stringa. È necessario aggiungere un default in uno switch o un null ritorno:

enum Tile { Empty, White, Black }; 
    private string TileToString(Tile t) 
    { 
     switch (t) 
     { 
      case Tile.Empty: 
       return "."; 
      case Tile.White: 
       return "W"; 
      case Tile.Black: 
       return "B"; 
     } 
     return null; 
    } 

Answer 4

Aggiungere il caso di default:

enum Tile { Empty, White, Black }; 
    private string TileToString(Tile t) 
    { 
     switch (t) 
     { 
      case Tile.Empty: 
       return "."; 
      case Tile.White: 
       return "W"; 
      case Tile.Black: 
       return "B"; 
      default: 
       return "."; 
     } 
    } 

Answer 5

Jon è naturalmente del tutto corretto che un enum può avere qualsiasi valore del suo sottostante digita, quindi lo switch non è esaustivo e pertanto esiste un percorso di codice che non restituisce. Tuttavia,, non è un'analisi completa del problema. Anche se il parametro fosse esaustivo, avresti comunque ricevuto l'errore.

Provalo:

int M(bool b) 
{ 
    switch(b) 
    { 
     case true : return 123; 
     case false: return 456; 
    } 
} 

O

int M(byte b) 
{ 
    switch(b) 
    { 
     case 0: case 1: case 2: ... all of them ... case 255: return 123; 
    } 
} 

In entrambi i casi, si otterrà lo stesso "punto raggiungibile fine a se il metodo non-vuoto" errore.

Questa è semplicemente una svista nella sezione "Verifica di raggiungibilità" della specifica C#. Definiamo il punto finale di un'istruzione switch come raggiungibile se non ha una sezione predefinita, punto. Non esiste una dispensa speciale per gli interruttori che consumano in modo esaustivo ogni possibile valore del loro input. È un caso d'angolo che i designer di lingue hanno mancato, e non è mai stato abbastanza prioritario per risolverlo.

Per gli altri tre numeri interessanti di analisi delle istruzioni switch, vedere:

http://ericlippert.com/2009/08/13/four-switch-oddities/