C# .NET en passant une collection d'objets InterfaceImplementingClass à une routine qui prend une collection d'objets Interface

Question

J'ai une routine

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

J'essaie alors d'appeler cette routine

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

Et il échoue avec une erreur de compilation. System.Guid implémente IFormattable, mais l'erreur que je reçois est

ne peut pas convertir 'System.Collections.Generic.List' à 'System.Collections.Generic.List'

NOTE : Vous obtiendrez la même erreur si vous utilisez simplement un tableau de Guids. Génériques n'est pas la cause ....

Mais! Compte tenu de cette

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

et ce

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

Il compile! Donc la question est pourquoi? Pourquoi suis-je capable de passer un objet Guid (qui implémente IFormattable) dans une routine qui accepte un objet de IFormattable, mais quand j'essaye de le développer en une collection (une liste générique, ou un tableau, ou n'importe quoi d'autre), je reçois une erreur de conversion?

J'ai eu beaucoup de temps à trouver une réponse, et j'ai pensé que ce serait le meilleur endroit où aller.

Answer 1

C'est toute cette chose de covariance dont tout le monde parle. Cela fonctionnera dans .NET 4.0.

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

Un peu plus de lecture:

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

Avez-vous essayé de déclarer list comme un objet List<IFormattable> au lieu d'un List<Guid>? Cela devrait vous permettre de dépasser l'erreur de compilation.

Answer 3

Le problème est qu'une liste <IFormattable> est non seulement une collection à partir de laquelle vous pouvez lire quelques IFormattables, il est aussi une collection à laquelle vous pouvez ajouter IFormattables. Une liste <Guid> répond à la première exigence, mais pas la seconde. Que faire si SomeRoutine était

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

Ce Int32 est un IFormattable, la méthode devrait pouvoir l'ajouter à la liste <IFormattable> qu'il a demandé. Cela ne fonctionnera pas si le compilateur vous laisse passer dans votre liste <Guid>.

Les nouvelles fonctionnalités de C# 4.0 auxquelles BFree se réfère vous permettront de dire au compilateur quand ces choses sont sûres.Vous pouvez dire soit

• Bien que j'ai demandé une référence IFormattable, je la lirai seulement. Si c'est vraiment une référence Guid alors je peux le traiter comme un IFormattable, et je ne vais pas essayer de lui assigner un Int32.
• Bien que j'ai demandé une référence IFormattable, je ne ferai qu'écrire dessus. Si c'est vraiment une référence d'objet alors je peux assigner mon IFormattable en toute sécurité, et peu importe si la valeur courante n'est pas IFormattable parce que je ne la lirai pas.

Answer 4

Ceci est un cas d'utilisation de génériques classique; essayez:

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

maintenant à l'intérieur SomeRoutine vous avez accès à tous les IFormattable membres, mais il fonctionnera avec:

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

Edit: J'ai plus blogged sur les différences entre 4,0 covariance et génériques pour ce scénario.