C# pasar una colección de objetos InterfaceImplementingClass a una rutina que lleva una colección de interfaz .NET objetos

Question

que tienen una rutina

public void SomeRoutine(List<IFormattable> list) { ... } 

entonces trato de llamar a esta rutina

List<Guid>list = new List<Guid>(); 
list.Add(Guid.NewGuid()); 
SomeRoutine(list); 

y falla con un error en tiempo de compilación. System.Guid implementa IFormattable, pero el error que consigo es

no se puede convertir de 'System.Collections.Generic.List' a 'System.Collections.Generic.List'

NOTA : Obtendrá el mismo error si solo usa una matriz de Guids. Los genéricos NO son la causa ...

¡Pero! Dada esta

public void SomeRoutine2(IFormattable obj) { ... } 

y esto

Guid a = Guid.NewGuid(); 
SomeRoutine2(a); 

Compila! Entonces la pregunta es ¿POR QUÉ? ¿Por qué puedo pasar un objeto Guid (que implementa IFormattable) a una rutina que acepta un objeto de IFormattable, pero cuando intento expandirlo a una colección (una lista genérica, una matriz o cualquier otra cosa), obtengo un error de conversión?

Me ha costado encontrar una respuesta, y pensé que sería el mejor lugar para ir.

Answer 1

Esto es toda la covarianza de la que todos hablan. Funcionará en .NET 4.0.

Ver aquí: http://blogs.msdn.com/charlie/archive/2008/10/28/linq-farm-covariance-and-contravariance-in-visual-studio-2010.aspx

leer un poco más:

http://www.infoq.com/news/2008/08/GenericVariance;jsessionid=188695B18864997E8D360E0EEED5983E

http://blogs.msdn.com/lucian/archive/2008/10/02/co-and-contra-variance-how-do-i-convert-a-list-of-apple-into-a-list-of-fruit.aspx

Answer 2

Ha intentado declarar list como un objeto en lugar de una List<Guid>List<IFormattable>? Eso debería hacerte pasar el error de compilación.

Answer 3

El problema es que una Lista <IFormattable> no es solo una colección de la que puede leer algunos IFormattables, también es una colección a la que puede agregar IFormattables. Una lista <Guid> cumple con el primer requisito, pero no el segundo. ¿Y si era SomeRoutine

public void SomeRoutine(List<IFormattable> list) 
{ 
    list.Add(5); 
} 

Eso es un Int32 IFormattable, por lo que el método debe ser capaz de añadir a la Lista de <IFormattable> que pidió. Eso no funcionará si el compilador le permite pasar su lista <Guid>.

Las nuevas características de C# 4.0 a las que se refiere BFree le permitirán decirle al compilador cuándo estas cosas son seguras.Puedes decir

• Aunque pedí una referencia IFormattable, solo la leeré. Si realmente se trata de una referencia Guid, puedo tratarlo como IFormattable de forma segura, y no intentaré asignarle un Int32.
• Aunque pedí una referencia IFormattable, solo le escribiré. Si realmente es una referencia de Objeto, entonces puedo asignarle de manera segura mi IFormattable, y no importa si el valor actual no es un IFormattable porque no lo leeré.

Answer 4

Este es un clásico caso de uso de genéricos; Proveedores:

public static void SomeRoutine<T>(IList<T> list) where T : IFormattable 
{ ... } 

Ahora dentro SomeRoutine tiene acceso a todos los miembros IFormattable, pero va a trabajar con:

List<Guid>list; ... 
SomeRoutine(list); // note no need to specify T 

Editar: Tengo, además, blogged en las diferencias entre 4.0 y covarianza para los genéricos este escenario