C# varianza problema: Asignación Lista <Derived> como Lista <Base>

Question

Mira el siguiente ejemplo (parcialmente tomado de MSDN Blog):

class Animal { } 
class Giraffe : Animal { } 

static void Main(string[] args) 
{ 
    // Array assignment works, but... 
    Animal[] animals = new Giraffe[10]; 

    // implicit... 
    List<Animal> animalsList = new List<Giraffe>(); 

    // ...and explicit casting fails 
    List<Animal> animalsList2 = (List<Animal>) new List<Giraffe>(); 
} 

¿Es un problema de covarianza? ¿Esto se admitirá en la futura versión de C# y existen algunas soluciones inteligentes (utilizando únicamente .NET 2.0)?

Answer 1

Bueno, esto ciertamente no se apoya en C# 4. Hay un problema fundamental:

List<Giraffe> giraffes = new List<Giraffe>(); 
giraffes.Add(new Giraffe()); 
List<Animal> animals = giraffes; 
animals.Add(new Lion()); // Aargh! 

Mantener jirafas segura: decir no a la varianza inseguro.

La versión de matriz funciona porque las matrices hacen varianza de tipo de referencia de soporte, con comprobación del tiempo de ejecución. El objetivo de los genéricos es proporcionar tiempo de compilación tipo de seguridad.

En C# 4 habrá compatibilidad con varianza genérica segura, pero solo para interfaces y delegados. Por lo que será capaz de hacer:

Func<string> stringFactory =() => "always return this string"; 
Func<object> objectFactory = stringFactory; // Safe, allowed in C# 4 

Func<out T>es covariante en T porque T se utiliza sólo en una posición de salida. Compare eso con Action<in T> que es contravariant en T porque T sólo se utiliza en una posición de entrada allí, haciendo de este seguro:

Action<object> objectAction = x => Console.WriteLine(x.GetHashCode()); 
Action<string> stringAction = objectAction; // Safe, allowed in C# 4 

IEnumerable<out T> es covariante, así, haciendo de esta correcto en C# 4, como se ha señalado por otros:

IEnumerable<Animal> animals = new List<Giraffe>(); 
// Can't add a Lion to animals, as `IEnumerable<out T>` is a read-only interface. 

en términos de trabajar alrededor de este en su situación en C# 2, se necesitan para mantener una lista, o le gustaría ser feliz la creación de una nueva lista? Si eso es aceptable, List<T>.ConvertAll es tu amigo.