Pourquoi je ne reçois pas d'erreur de syntaxe dans cet exemple de code?

Question

Juste en essayant quelques bases avec C# Lookup collection et trouvé, que cet exemple simple compiler amende, même IGrouping interface devrait avoir TElement défini comme int.

string txt = "Hello world!"; 
ILookup<char, int> occurrences = Enumerable.Range(0, txt.Length).ToLookup(i => txt[i], i => i); 

foreach (IGrouping<char, string> values in occurrences) 
    Console.WriteLine($"{values.Key}: {string.Join(", ", values)}"); 

Évidemment, je reçois une erreur d'exécution sur un cast invalide. Mais je m'y attendais, que ce travail pour le compilateur ...

Answer 1

Il semble ici est la règle que le compilateur utilise:

Si le compilateur peut voir que le type de valeur ou classe scellée ne pas mettre en œuvre ou hériter du type que le programmeur essaie de lancer , la distribution est illégale à la compilation.

(Merci à Jeppe Nielsen Stig pour mentionner ce dans les commentaires.)

Voici le résultat de la compilation foreach (XXXX values in occurrences) si vous utilisez l'une des options ci-dessous au lieu de XXXX dans votre exemple. Prêtez l'attention occurrences est du type ILookup<char, int> qui est dérivé de IGrouping<char, int>.

• public class MyClass { } Compile
• public sealed class MyClass { } Compile Erreur
• public sealed class MyClass : IGrouping<char, int> {...} Compile
• public sealed class MyClass : IGrouping<char, string> {...} Compile Erreur d'
• public struct MyStruct {} Compile Erreur d'
• public struct MyStruct : IGrouping<char, string> {...} Compile Erreur
• public struct MyStruct : IGrouping<char, int> {...} Compile

est ici un bon blog post par Krzysztof Cwalina qui décrit comment le typage de canard dans utilisé dans foreach:

opérateur foreach de C# utilise déjà la saisie de canard. Cela peut être surprenant pour certains, mais pour soutenir foreach en C#, vous n'avez pas besoin de mettre en œuvre IEnumerable! Tout ce que vous avez à faire est:

Fournir une méthode publique GetEnumerator qui ne prend aucun paramètre et renvoie un type qui a deux membres: a) une méthode MoveMext sans paramètre et retourner un booléen, et b) une propriété Current avec un getter qui renvoie un objet.