Switch on Nullable Boolean: case passa a null quando il valore è true

Question

Mi rendo conto che il modo corretto per gestire i tipi nullable consiste nell'utilizzare la proprietà HasValue. Ma vorrei sapere perché la seguente istruzione switch si interrompe sul caso nullo invece che sul valore predefinito. Utilizzo di VS2015 C# 4.0. Un altro computer che utilizza VS2010 C# 4.0 non ha lo stesso problema.

private void Testing() 
    { 
     bool? boolValue = true; 

     switch (boolValue) 
     { 
      case null: 
       break; //even though value is true, code runs here 

      default: 
       break; 
     } 
    } 

Edit: comportamento si osserva con qualsiasi Nullable se solo case Null e default è specificato.

Answer 1

Questa non è una risposta, sto solo condividendo il codice IL generato da VS2013 e VS2015.

originale codice C#:

public void Testing() 
{ 
    bool? boolValue = true; 

    switch (boolValue) 
    { 

     case null: 

      Console.WriteLine("null"); 

      break; 

     default: 
      Console.WriteLine("default"); 

      break; 
    } 
} 

VS2013 IL (decompilato):

public void Testing() 
{ 
    bool? boolValue = new bool?(true); 
    bool valueOrDefault = boolValue.GetValueOrDefault(); 
    if (boolValue.HasValue) 
    { 
     Console.WriteLine("default"); 
    } 
    else 
    { 
     Console.WriteLine("null"); 
    } 
} 

VS2015 IL (decompilato):

public void Testing() 
{ 
    bool? flag = new bool?(true); 
    bool? flag2 = flag; 
    bool? flag3 = flag2; 
    if (flag3.HasValue) 
    { 
     bool valueOrDefault = flag3.GetValueOrDefault(); 
    } 
    Console.WriteLine("null"); 
} 

Answer 2

Ciò sta andando essere una risposta molto breve : Hai appena colpito Roslyn bug #4701, segnalato due settimane fa.

Il traguardo è impostato su 1,1, quindi al momento è necessario aggirare questo problema con una clausola if separata, in attesa del prossimo aggiornamento del compilatore.