C# passando una collezione di oggetti InterfaceImplementingClass ad una routine che prende una raccolta di interfaccia .NET oggetti

Question

Ho una routine di

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

Allora provo a chiamare questa routine

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

E viene a mancare con un errore in fase di compilazione. System.Guid implementa IFormattable, ma l'errore che ottengo è

non può convertire da 'System.Collections.Generic.List' a 'System.Collections.Generic.List'

NOTA : Otterrai lo stesso errore se utilizzi solo una serie di Guids. Generici NON è la causa ....

Ma! Dato questo

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

e questo

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

Compila! Quindi la domanda è PERCHÉ? Perché sono in grado di passare un oggetto Guid (che implementa IFormattable) in una routine che accetta un oggetto di IFormattable, ma quando provo ad estenderlo a una raccolta (un elenco generico, o un array o qualsiasi altra cosa), ottengo un errore di conversione?

Ho avuto un momento di trovare una risposta, e ho pensato che questo sarebbe il posto migliore dove andare.

Answer 1

Questa è l'intera cosa di covarianza di cui tutti parlano. Funzionerà in .NET 4.0.

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

Alcuni di più la lettura:

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

Hai provato dichiarando list come oggetto invece di un List<Guid>List<IFormattable>? Questo dovrebbe farti superare l'errore di compilazione.

Answer 3

Il problema è che un elenco <IFormattable> non è solo una raccolta da cui è possibile leggere alcuni IFormattables, è anche una raccolta a cui è possibile aggiungere IFormattables. Un elenco <Guida> soddisfa il primo requisito, ma non il secondo. E se fosse SomeRoutine

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

Questo è un Int32 IFormattable, in modo che il metodo dovrebbe essere in grado di aggiungerlo alla lista <IFormattable> che chiedeva. Non funzionerà se il compilatore ti consente di passare il tuo elenco <Guid>.

Le nuove funzionalità di C# 4.0 a cui fa riferimento BFree consentiranno di dire al compilatore quando queste cose sono sicure.Si può dire sia

• Anche se ho chiesto un riferimento IFormattable, lo leggerò solo. Se è davvero un riferimento Guid, posso tranquillamente trattarlo come un IFormattable e non cercherò di assegnargli un Int32.
• Anche se ho chiesto un riferimento IFormattable, scriverò solo su di esso. Se è veramente un riferimento all'oggetto, posso tranquillamente assegnare il mio IFormattable a questo, e non importa se il valore corrente non è un IFormattable perché non lo leggerò.

Answer 4

Questa è una classica custodia per uso generico; provare:

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

Ora all'interno SomeRoutine si ha accesso a tutti i IFormattable membri, ma che possa funzionare con:

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

Edit: Ho inoltre blogged sulle differenze tra 4,0 covarianza e generici per questo scenario.