Foreach peut lancer une exception InvalidCastException?

Question

Imaginer le code suivant:

class foreach_convert 
{ 
    public static void method2() 
    { 
     List<IComparable> x = new List<IComparable>(); 
     x.Add(5); 

     foreach (string s in x) 
     { 
      //InvalidCastException in runtime 
     } 
    } 
} 

Je me demande, pourquoi est-ce comportement foreach donc ... pas C# -comme? Ce qui se passe ici est une distribution implicite à une sous-classe, qui est sujette aux erreurs et semble être bannie dans tous les autres endroits de la langue. Ou n'ai-je pas raison?

P.S. La raison pour laquelle je demande est que j'ai eu un bug dans le code similaire dans mon projet, où je l'habitude de parcourir une collection personnalisée à partir d'une bibliothèque externe, appelée SomeTypeCollection, mais en fait fourni une collection d'éléments de type base et aurait pu contenir des éléments de SomeOtherType. Ma faute, mais ni la langue, ni le compilateur fourni des indices/avertissements explicites, ce qui est inhabituel pour C# ...

Answer 1

repensez à avant génériques ... foreach dû jeter pour que vous puissiez faire des choses sensibles comme:

foreach (string x in names) 
{ 
    // ... 
} 

au lieu de:

foreach (object tmp in names) 
{ 
    string x = (string) tmp; 
    // ... 
} 

Ce dernier est juste dégueu, l'OMI. Fournir un casting implicite est différent du reste du langage, mais le rend beaucoup plus facile à utiliser dans la grande majorité des cas.

Je soupçonne que si C# avait génériques et méthodes d'extension pour commencer (afin que nous puissions utiliser OfType et Cast) que foreach ne serait pas spécifié exactement de la même manière.

Notez qu'il y a encore plus d'étrangeté dans foreach: le type ne doit pas implémenter IEnumerable du tout. Tant qu'il a une méthode GetEnumerator qui retourne quelque chose qui à son tour a MoveNext() et Current, le compilateur C# est heureux. Cela signifiait que vous pouviez implémenter un "itérateur fortement typé" (pour éviter la boxe) avant les génériques.

Answer 2

Avec C# 3 j'utilise var - donc j'obtiens les avertissements du compilateur.

Answer 3

foreach fonctionne sur IEnumerable, qui renvoie des objets de type objet. Pour chaque article, l'objet sera casté au type que vous avez fourni.

Sauf si vous utilisez var en C# 3.0. Ensuite, le type sera pris de IEnumerable<T>, si elle est implémentée par la collection.