Я знаю, что о Linq и его внутреннем устройстве написано очень много. Вдохновленный Jon Skeets EduLinq, я хотел демистифицировать то, что происходит за операторами Linq. Поэтому я попытался реализовать метод Linqs Select(), который на первый взгляд звучит довольно скучно. Но на самом деле я пытаюсь реализовать его без использования ключевого слова yield.
Вот что у меня получилось на данный момент:
class Program
{
static void Main(string[] args)
{
var list = new int[] {1, 2, 3};
var otherList = list.MySelect(x => x.ToString()).MySelect(x => x + "test");
foreach (var item in otherList)
{
Console.WriteLine(item);
}
Console.ReadLine();
}
}
public static class EnumerableEx
{
public static IEnumerable<R> MySelect<T, R>(this IEnumerable<T> sequence, Func<T, R> apply)
{
return new EnumerableWrapper<R, T>(sequence, apply);
}
}
public class EnumerableWrapper<T, O> : IEnumerable<T>
{
private readonly IEnumerable<O> _sequence;
private readonly Func<O, T> _apply;
public EnumerableWrapper(IEnumerable<O> sequence, Func<O, T> apply)
{
_sequence = sequence;
_apply = apply;
}
public IEnumerator<T> GetEnumerator()
{
return new EnumeratorWrapper<T, O>(_sequence, _apply);
}
IEnumerator IEnumerable.GetEnumerator()
{
return GetEnumerator();
}
}
public class EnumeratorWrapper<T, O> : IEnumerator<T>
{
private readonly IEnumerator<O> _enumerator;
private readonly Func<O, T> _apply;
public EnumeratorWrapper(IEnumerable<O> sequence, Func<O, T> apply)
{
_enumerator = sequence.GetEnumerator();
_apply = apply;
}
public void Dispose()
{
}
public bool MoveNext()
{
var hasItems = _enumerator.MoveNext();
if (hasItems)
Current = _apply(_enumerator.Current);
return hasItems;
}
public void Reset()
{
_enumerator.Reset();
}
public T Current { get; private set; }
object IEnumerator.Current
{
get { return Current; }
}
}
Кажется, это работает. Однако мне трудно проследить за потоком управления. Как вы можете видеть, я связываю цепочки с проекциями. Это приводит к тому, что в методе MoveNext() происходят странные вещи (странные для меня!). Если вы установите точки останова в каждой строке метода MoveNext(), вы увидите, что поток управления фактически прыгает между различными экземплярами и никогда не работает через метод в одной партии. Он прыгает так, как будто использует разные потоки или если бы мы использовали yield. Но в конце концов, это обычный метод, поэтому интересно, что там происходит?