С# `foreach` поведение - Уточнение?

Ответ 1

MyEnumerator не имеет необходимых общедоступных методов

Да, это так - вернее, если бы Current были общедоступными. Все, что требуется, это то, что он имеет:

• Публичное, читаемое свойство Current
• Открытый MoveNext() метод без аргументов типа, возвращающих bool

Отсутствие public здесь было просто еще одной опечаткой, в основном. Как бы то ни было, пример не делает то, что он подразумевал (предотвращает бокс). Он использует реализацию IEnumerable, потому что вы используете new MyIntegers() as IEnumerable - поэтому тип выражения IEnumerable, и он просто использует интерфейс повсюду.

Вы утверждаете, что он не реализует IEnumerable, (который является System.Collections.IEnumerable, btw), но он делает это, используя явную реализацию интерфейса.

Проще всего протестировать такие вещи без реализации IEnumerable:

using System;

class BizarreCollection
{
    public Enumerator GetEnumerator()
    {
        return new Enumerator();
    }

    public class Enumerator
    {
        private int index = 0;

        public bool MoveNext()
        {
            if (index == 10)
            {
                return false;
            }
            index++;
            return true;
        }

        public int Current { get { return index; } }
    }
}

class Test
{
    static void Main(string[] args)
    {
        foreach (var item in new BizarreCollection())
        {
            Console.WriteLine(item);
        }
    }
}

Теперь, если вы сделаете Current private, он не будет компилироваться.

Ответ 2

Ссылка на System.IEnumerable на MSDN - это не что иное, как опечатка в спецификации старого языка, такой интерфейс не существует, я считаю, что он должен ссылаться на System.Collections.IEnumerable.

Вы действительно должны прочитать спецификацию языка версии С#, которую вы используете, доступна языковая спецификация С# 5.0 здесь.

Некоторая дополнительная информация о том, почему не удается выполнить этот пример, приводит к ошибке, а не к возврату к использованию System.Collections.IEnumerable:

В спецификации для foreach (раздел 8.8.4) вы увидите, что правила немного изменились (некоторые сокращения были сокращены для краткости):

• Выполните поиск элемента по типу X с идентификатором GetEnumerator и без аргументов типа. Если поиск элемента не приводит к совпадению или вызывает неоднозначность или создает совпадение, которое не является группой методов, проверьте перечислимый интерфейс, как описано ниже. Рекомендуется, чтобы предупреждение выдавалось, если поиск элемента производит что-либо, кроме группы методов, или нет совпадения.
• Выполните разрешение перегрузки с помощью полученной группы методов и пустого списка аргументов. Если разрешение перегрузки не приводит к каким-либо применимым методам, приводит к двусмысленности или приводит к одному наилучшему методу, но этот метод является либо статическим, либо не общедоступным, проверьте перечислимый интерфейс, как описано ниже. Рекомендуется выдавать предупреждение, если разрешение перегрузки создает что-либо, кроме однозначного метода публичного экземпляра или не применимых методов.
• Если тип возврата E метода GetEnumerator не является типом класса, структуры или интерфейса, возникает ошибка и дальнейших шагов не предпринимается.
• Поиск элемента выполняется на E с идентификатором Current и no type. Если поиск элемента не дает совпадения, результатом является ошибка, или результат - это что-либо, кроме свойства публичного экземпляра, которое разрешает чтение, возникает ошибка и дальнейших шагов не предпринимается.
• Тип коллекции - X, тип перечислителя - E, а тип элемента - тип свойства Current.

Итак, с первой точки пули мы найдем public MyEnumerator GetEnumerator(), вторая и третья пули пройдут без ошибок. Когда мы добираемся до четвертого пункта, никакой публичный член с именем Current не доступен, что приводит к ошибке, которую вы видите без приведения, эта точная ситуация никогда не дает компилятору возможность поиска перечислимого интерфейса.

При явной передаче экземпляра в IEnumerable все требования удовлетворяются, поскольку тип IEnumerable и связанный с ним IEnumerator удовлетворяют всем требованиям.

Также из документации:

Вышеупомянутые шаги, если они успешны, однозначно создают тип коллекции C, тип перечислителя E и тип элемента T. Оператор foreach формы

foreach (V v in x) embedded-statement

затем расширяется до:

{
    E e = ((C)(x)).GetEnumerator();
    try {
        while (e.MoveNext()) {
            V v = (V)(T)e.Current;
            embedded-statement
        }
    }
    finally {
        … // Dispose e
    }
}

Таким образом, при явном приведении в IEnumerable вы получите следующее:

• C = System.Collections.IEnumerable
• x = new MyIntegers() as System.Collections.IEnumerable
• E = System.Collections.IEnumerator
• T = System.Object
• V = System.Object

{
    System.Collections.IEnumerator e = ((System.Collections.IEnumerable)(new MyIntegers() as System.Collections.IEnumerable)).GetEnumerator();
    try {
        while (e.MoveNext()) {
            System.Object element = (System.Object)(System.Object)e.Current;
            Console.WriteLine(element);
        }
    }
    finally {
        System.IDisposable d = e as System.IDisposable;
        if (d != null) d.Dispose();
    }
}

Это объясняет, почему использование литых работ.