Интересные моменты в C#

В этой статье мы коротко пройдемся по особенностям foreach. Первый момент вы скорее всего знаете, второй момент вы скорее всего не знаете.

Предыдущая статья об особенностях C#.

Первый момент

На собеседованиях часто спрашивают — «Что необходимо сделать что бы ваш класс работал с foreach?». Ответ на этот вопрос обычно звучит так — «Реализовать IEnumerable». Ответ этот правильный, но не полный. В принципе, этого ответа на собеседовании достаточно и я ни разу не встречал чтобы кто то считал его неправильным. На самом деле, foreach использует «утиную типизацию». Для того чтобы наш класс работал в foreach достаточно иметь метод GetEnumerator возвращающий нечто имеющее метод MoveNext и свойство Current.

Запоминать эти методы не обязательно, если подсунуть свой неправильный класс в foreach компилятор честно подскажет чего конкретно не хватает в этом классе.

Примеры

Тестовый foreach:

class Program
{
        static void Main(string[] args)
        {
                var container = new Container();

                foreach (var item in container)
                {
                }
        }
}

Неправильный контейнер:

public class Container
{
}

Ошибка компилятора:

foreach statement cannot operate on variables of type 'Container' because 'Container' does not contain a public definition for 'GetEnumerator'

Добавим метод GetEnumerator в контейнер и класс энумератора.

Правильный контейнер:

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

Неправильный энумератор:

public class Enumerator
{
}

Ошибка компилятора:

foreach requires that the return type 'Enumerator' of 'Container.GetEnumerator()' must have a suitable public MoveNext method and public Current property

Добавим метод MoveNext и свойство Current в энумератор.

Правильный энумератор:

public class Enumerator
{
        public bool MoveNext()
        {
                return false;
        }

        public object Current
        {
                get { return null; }
        }
}

Теперь компилятор все устраивает.

Примечание:

Свойство Current может возвращать любой тип, как ref type так и value type. Собственно это и стало причиной использования «утиной типизации», во времена когда не было generics, для избежания ненужных boxing и unboxing.

Второй момент

На собеседовании встречаются вопросы про IDisposable и помимо общих вопросов про ручное управление ресурсами есть вопрос про то, в каких случаях компилятор может автоматически вызывать метод Dispose. Ответ все мы знаем — Dispose вызывается автоматически при использовании оператора using(). Ответ этот правильный, но неполный! Метод Dispose может вызывается в двух случаях, помимо using(), он вызывается в foreach для энумератора, если энумератор реализует IDisposable.

Примеры

Энумератор с Dispose:

using System;

public class Enumerator : IDisposable
{
        public bool MoveNext()
        {
                return false;
        }

        public object Current
        {
                get { return null; }
        }

        public void Dispose()
        {
                Console.WriteLine("Dispose");
        }
}

Теперь при запуске примера мы увидим строчку «Dispose» в консоли.

Для тех кому интересно, вот код который генерит компилятор для нашего случая:

Container container = new Container();
Enumerator enumerator = container.GetEnumerator();
try
{
        while (enumerator.MoveNext())
        {
                var element = enumerator.Current;
                // содержимое foreach
        }
}
finally
{
        IDisposable disposable = enumerator as IDisposable;
        if (disposable != null)
                disposable.Dispose();
}

Всем спасибо за внимание!

This entry passed through the Full-Text RSS service — if this is your content and you're reading it on someone else's site, please read the FAQ at http://ift.tt/jcXqJW.