Perché il compilatore ha lasciato questo slittamento?

Question

Eventuali duplicati:
Foreach can throw an InvalidCastException?

Si consideri il seguente blocco di codice

public class Base 
{ 
} 

public class DerivedLeft : Base 
{ 
} 

public class DerivedRight : Base 
{ 
} 

class Program 
{ 
    static void Main(string[] args) 
    { 
     List<Base> list = new List<Base> { new DerivedLeft(), new DerivedRight() }; 
     foreach (DerivedLeft dl in list) 
     { 
      Console.WriteLine(dl.ToString()); 
     } 
    } 
} 

Avviso il cast dalla base alla DerivedLeft nella dichiarazione foreach. Compilano bene (Visual Studio 2010), senza errori o avvisi. Ovviamente, nella seconda iterazione del ciclo otterremo una InvalidCastException. Se mi venisse posta una domanda sulla reazione del compilatore a tale codice, direi senza dubbio che il compilatore non lascerà passare inosservato questo e produrrà almeno un avvertimento. Ma a quanto pare non è così. Quindi, perché il compilatore ha permesso a questo scivolone?

Answer 1

Sta facendo un cast implicito. Scopri questo post sullo stesso argomento per una eccellente spiegazione di Jon Skeet:

Foreach can throw an InvalidCastException?

Answer 2

Perché la lista è di tipo List<Base> e la variabile dl nel ciclo foreach è di tipo DerivedLeft che ha Base come classe base. Quindi può può funzionare durante il runtime, ma non ha a. Il compilatore non sta verificando l'inizializzazione della tua lista.

Answer 3

Prevedendo al compilatore di generare un errore su questo è come mi aspettavo di generare un errore su questo:

Base b = new DerivedRight(); 
DerivedLeft d = (DerivedLeft)b;