.NET IEnumerator 在屈服 block 中时不会在 MoveNext 上前进

Question

下面的代码(用于在 LinqPad 中运行)旨在将“foo/skip/bar”字符串解析为项目对象，跳过“skip”位，生成“foo”和“bar”的项目对象。运行时，会生成 2 个“条形”项目。

在 TryGetChild 方法中，当找到“skip”时，枚举数将从“skip”向前移动到“bar”。但是，当执行返回到调用方法时，枚举器又回到“跳过”状态。

我认为这是一些yield block 的奇怪之处，就好像我在Main()中进行分割并将枚举器传递到Walk()中一样，它可以正常工作。有人能解释一下枚举器是如何返回的吗？是否正在创建新的？

编辑:这是我在代码中发现的看似奇怪的情况的非常简化的版本。我问这个问题是出于好奇，而不是寻找我已经找到的解决方法。

/* output from program

enumerator moved to foo
enumerator moved to skip
enumerator moved to bar
enumerator moved to bar

Item [] (3 items)  

foo
bar     
bar
*/     


static void Main()
{
    Walk("foo/skip/bar").ToArray().Dump();
}

private static IEnumerable<Item> Walk(string pathString)
{
    var enumerator = pathString.Split('/').ToList().GetEnumerator();
    var current = new Item() { S = "" };
    while (enumerator.MoveNext())
    {
        Console.WriteLine("enumerator moved to " + enumerator.Current);
        yield return current.TryGetChild(enumerator);
    }
}
class Item
{
    public string S { get; set; }

    public Item TryGetChild(IEnumerator<string> enumerator)
    {
        if (enumerator.Current == "skip")
        {
            enumerator.MoveNext(); //iterator moves on to 123
            Console.WriteLine("enumerator moved to " + enumerator.Current);
        }
        return new Item() { S = enumerator.Current };
    }
}

Answer 1

您看到此行为的原因是 List<T>.GetEnumerator()返回 List<T>.Enumerator 的实例，这是一个结构。因此，您将值类型传递给 TryGetChild()方法，并且该类型的任何突变(包括 MoveNext() 所做的突变)将不会反射(reflect)在调用者中。