foreach (Obj derivado en la nueva lista <Base>())

Question

¿Qué hace el siguiente código?

class Base { } 
class Derived : Base { } 
class Test 
{ 
    void Foo(List<Base> list) 
    { 
     foreach (Derived obj in list) 
     { 
      // ... 
     } 
    } 
} 

No esperaba que incluso compilara, pero lo hace.

Answer 1

El comportamiento que está observando está de acuerdo con la sección 8.8.4 La declaración forecech de la especificación del lenguaje C#. Esta sección define la semántica de la declaración foreach de la siguiente manera:

[...] Los pasos anteriores, si tiene éxito, sin ambigüedades producir un tipo de colección C, empadronador tipo E y elemento de tipo T. Un foreach enunciado de la forma

foreach (V v in x) embedded-statement 

A continuación se expande a:

{ 
    E e = ((C)(x)).GetEnumerator(); 
    try { 
     V v; 
     while (e.MoveNext()) { 
      // here the current item will be casted     
      v = (V)(T)e.Current; 
      embedded-statement 
     } 
    } 
    finally { 
     // Dispose e 
    } 
} 

La razón por la que los insertos del compilador esta conversión explícita es histórico. C# 1.0 no tenían tan genéricos con el fin de permitir que el código simple como esto

ArrayList list = new ArrayList(); 
list.Add(1); 
foreach (int i in list) 
{ 
    ... 
} 

se decidió dejar que el compilador introducir el elenco.

Answer 2

Absolutamente nada, pero lo hace de una manera muy ineficiente.

El orden de las operaciones es la siguiente:

1. instanciar una nueva lista, con cero elementos
2. iterar sobre esa lista recién instanciado, que tiene cero artículos
3. No convertir el objeto base a un Derivado objeto, porque la lista tiene cero elementos. Si la lista tuviera algún elemento, este paso daría lugar a una excepción en tiempo de ejecución.
4. No ejecuta el código en el bloque foreach, porque la lista tiene cero elementos.

Editar
Sobre la base de su edición, se corre el riesgo de una InvalidCastException si cualquier elemento de la lista que se pasa a Foo no ser en realidad un objeto Derived.

Edit2
¿Por qué compila? Debido foreach implica una conversión implícita a Object para cada elemento de la lista, y luego otra conversión explícita al tipo especificado en el bloque foreach, en este caso Derived

Answer 3

No sé por qué no esperar que esto compila. Considere esto, que es funcionalmente equivalente:

{ 
    List<Base> list = new List<Base>(); // creates new, empty list of Base 
    foreach (Derived obj in list) 
    { 
    // ... 
    } 
} 

¿Eso deja más claro lo que está sucediendo en su código?

EDITAR versión revisada.

Ahora lanzará InvalidCastException si su lista contiene algo que no es una instancia de Derived. Derivado 'es una' Base así que no hay problema con compilar esto.

Answer 4

Es equivalente a:

Enumerator<Base> enumerator = new List<Base>().GetEnumerator(); 
while (enumerator.MoveNext()) 
{ 
    Derived obj = (Derived) enumerator.Current; 
    // ... 
} 

medida que su lista está vacía, el bloque interno no se ejecuta.

Si fuera para contener elementos, entonces existe el riesgo de InvalidCastException en caso de que alguno de los elementos no sea del tipo Derived.

Answer 5

Técnicamente, Randolpho es correcto: su código no hace nada. Pero creo que estás llegando a un punto diferente.

casting los elementos de lista a Derived le dará acceso a las propiedades definidas en la clase Derived además de las propiedades definidas en la clase Base. Sin embargo, obtendrá errores si tiene elementos que no son del tipo Derived en la lista cuando accede a esas propiedades.

Salvo alguna otra necesidad, es mejor tener la lista definida como List<Derived>.

Answer 6

foreach incluye un elenco. Considere que se puede usar con enumeraciones de objetos sin plantillas. Casting de Base a Derived es válido, por lo que el código es válido, pero podría lanzar una excepción en el tiempo de ejecución.

Answer 7

lo mismo que

list.Cast<Derived>(); 

simplemente la conversión de tipos. en algún caso, puede obtener el error