Почему я не получаю синтаксическую ошибку в этом примере кода?

Question

Просто попробуйте некоторые основы с C# Lookup collection и обнаружите, что этот простой пример компилируется отлично, даже Интерфейс IGrouping должен иметь . Элемент установлен как 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)}"); 

Очевидно, что я получаю ошибку во время выполнения при недействительном литье. Но я ожидал, что это работа для компилятора ...

Answer 1

Кажется, здесь есть правило, которое использует компилятор:

Если компилятор может видеть, что тип значения или запечатанный класс не реализовать или наследовать тип, который программист пытается передать в/из, литье является незаконным во время компиляции.

(Благодаря Jeppe Стиг Nielsen за упоминание этого в комментариях.)

Вот результат компиляции foreach (XXXX values in occurrences), если вы используете одну из следующих вариантов вместо XXXX в вашем примере. Обратите внимание: occurrences имеет тип ILookup<char, int>, который получен из IGrouping<char, int>.

• public class MyClass { } компилирует
• public sealed class MyClass { } время компиляции Ошибка
• public sealed class MyClass : IGrouping<char, int> {...} Собирает
• public sealed class MyClass : IGrouping<char, string> {...} ошибка времени компиляции
• public struct MyStruct {} ошибка времени компиляции
• public struct MyStruct : IGrouping<char, string> {...} ошибка времени компиляции
• public struct MyStruct : IGrouping<char, int> {...} Компилирует

Вот хороший блог post по Кшиштоф Квалина, который описывает, как утка, набрав в используемом в Еогеаспе:

Еогеаспа оператора C#»s уже использует утку печатать. Это может быть удивительно для некоторых, но для поддержки foreach в C# вам не нужно реализовывать IEnumerable! Все, что вам нужно сделать, это:

Обеспечить публичный метод GetEnumerator, который не принимает никаких параметров и возвращает тип, который имеет два элемента: а) метод MoveMext, который не принимает никаких параметров и возвращает логическое значение, и б) недвижимости Current с получатель, который возвращает объект.