¿Por qué el compilador deja esto resbalar?

Question

Duplicar posible:
Foreach can throw an InvalidCastException?

Considere el siguiente bloque de código

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()); 
     } 
    } 
} 

Aviso al elenco de la base a DerivedLeft de instrucción foreach. Esto compila bien (Visual Studio 2010), sin ningún error o incluso advertencia. Obviamente, en la segunda iteración de bucle obtendremos una InvalidCastException. Si me hicieran una pregunta sobre la reacción del compilador a dicho código, diría, sin duda, que el compilador no dejará que esto pase desapercibido y producirá al menos una advertencia. Pero aparentemente no es así. Entonces, ¿por qué el compilador deja pasar esto?

Answer 1

Está haciendo un lanzamiento implícito. Echa un vistazo a este post sobre el mismo tema para una excelente explicación de Jon Skeet:

Foreach can throw an InvalidCastException?

Answer 2

Debido a que la lista es de tipo List<Base> y la variable dl en el bucle foreach es de tipo DerivedLeft que tiene base como clase base. Por lo tanto, puede funcionar durante el tiempo de ejecución, pero no tiene en. El compilador no está verificando la inicialización de su lista.

Answer 3

Esperando que el compilador generará un error en esto es como esperar que para elevar un error en esto:

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