枚舉器和函數示波器

Question

爲什麼Enumerator不跟蹤同一個函數中的項目，但是如果MoveNext操作在其他函數中發生則不會跟蹤該項目？

例子：

public static void Test() 
    { 
     var array = new List<Int32>(new Int32[] { 1, 2, 3, 4, 5 }); 
     var e = array.GetEnumerator(); 
     e.MoveNext(); 
     e.MoveNext(); 
     Console.WriteLine(e.Current); // 2 
     Incremenet(e); 
     Console.WriteLine(e.Current); //2 
    } 

    static void Incremenet(IEnumerator<Int32> e) 
    { 
     Console.WriteLine("Inside " + e.Current); //2 
     e.MoveNext(); 
     Console.WriteLine("Inside " + e.Current); // 3 
     e.MoveNext(); 
     Console.WriteLine("Inside " + e.Current); //4 
    } 

我期待得到5在過去的CW，但我得到2，就像是從來沒有增加。當函數返回時，爲什麼Increment函數內的MoveNext被遺忘了？

乾杯。

Answer 1

List<T>的枚舉器類型List<T>.Enumerator不是class，而是struct。由於GetEnumerator暴露，返回類型爲List<T>.Enumerator，當您使用var，e的類型是List<T>.Enumerator，所以當你把它傳遞給Incremenet，它會自動爲boxed是一個IEnumerator<Int32>對象。這是你看到的奇怪行爲的原因。

如果鍵入e作爲IEnumerator<Int32>，拳擊，只要你得到的對象發生，所以這種奇怪的行爲不會發生：它的工作原理相同，你是否在Test或Increment運行其他代碼（我固定順便說一句，這不是「Incremenet」）。

public static void Test() 
{ 
    var array = new List<Int32> { 1, 2, 3, 4, 5 }; 
    IEnumerator<Int32> e = array.GetEnumerator(); // boxed here 
    e.MoveNext(); 
    e.MoveNext(); 
    Console.WriteLine(e.Current); // 2 
    Increment(e); 
    Console.WriteLine(e.Current); // now it's 4 
} 

static void Increment(IEnumerator<Int32> e) 
{ 
    Console.WriteLine("Inside " + e.Current); // 2 
    e.MoveNext(); 
    Console.WriteLine("Inside " + e.Current); // 3 
    e.MoveNext(); 
    Console.WriteLine("Inside " + e.Current); // 4 
} 

由於性能原因，它被暴露爲類型而不是IEnumerator<T>。 foreachis smart enough在這種情況下無需裝箱或虛擬調度，即可調用MoveNext和Current，並且可以毫無問題地處理值類型語義。正如你所看到的，它確實會造成混淆，因爲當你不十分關心你如何處理它時，因爲mutable structs are evil。

Answer 2

出於同樣的原因test在下面的測試用例增加後爲1。這是值類型的正常行爲。

static void Main(string[] args) 
    { 
     int test = 1; 
     Increment(test); 
     Console.WriteLine("After increment: " + test); 
    } 

    static void Increment(int test)//add ref and the original variable will also update 
    { 
     test += 1; 
     Console.WriteLine(test); 
    } 

正如Servy指出在技術上，該例子並不同之處在於局部變量test是不可變的。實際上，我們看到的行爲是因爲變量被複制到Increment方法。但是，我的觀點是，這種類型的行爲在值類型（屬性和局部變量）之間是一致的。爲進一步證明這一事實：

struct MutableStruct 
{ 
    public int EvilInt { get; set; }  
} 

class Program 
{   
    static void Main(string[] args) 
    { 
     var testStruct = new MutableStruct(); 
     testStruct.EvilInt = 1; 

     int test = 1; 
     Increment(test, testStruct); 
     Console.WriteLine("After increment: " + test + " and..." + testStruct.EvilInt);//both 1 
    } 

    static void Increment(int test, MutableStruct test2) 
    { 
     test2.EvilInt += 1; 
     test += 1; 
     Console.WriteLine(test + " and..." + test2.EvilInt);//both 2 
    } 
} 

正如我們在這裏看到的，這種行爲在值類型中是正常的。在地方不可變價值類型和可變結構的情況下，行爲都保持一致。