這個委託爲什麼不在循環內部工作？

Question

可能重複：
C#: using the iterator variable of foreach loop in a lambda expression - why fails?

我讀在MSDN C＃參考，我發現這個..

http://msdn.microsoft.com/en-us/library/0yw3tz5k.aspx

末註釋中有一條評論通過albionmike 這是這樣的..

When you "catpure" a variable from an outer scope, some counter-intuitive things happen. 
If you run this, you will get an IndexOutOfRange exception during the call f(). 
If you uncomment the two commented out lines of code, it will work as expected. 
Hint: Captured Outer Variables have reference rather than value semantics 

// Console Project 
using System; 
using System.Collections.Generic; 
using System.Text; 


namespace EvilDelegation 
{ 
    delegate void PrintIt(); 

    class Program 
    { 

     static void Main(string[] args) 
     { 
      string[] strings = { "zero", "one", "two", "three", "four" }; 
      PrintIt f = null; 
      for (int i = 0; i < strings.Length; ++i) { 
       if (i == 2 || i == 3) { 
        // Can you see why this would not work? 
        f = delegate() { Console.WriteLine(strings[i]); }; 

        // But this does... 
        //int k = i; 
        //f = delegate() { Console.WriteLine(strings[k]); }; 

       } 
      } 
      f(); 
     } 
    } 
} 

我不明白，爲什麼拳頭一個不行，第二個會呢？在第四行，他說：Captured Outer Variables have reference rather than value semantics。
好的，很好。但是在for循環中，我們將i定義爲int，這當然是一個值類型，那麼int類型如何保存一個引用？如果i不能持有參考，這意味着它存儲的價值，如果它存儲的價值，那麼我不明白爲什麼第一個不會工作，第二個會？
我在這裏錯過了什麼？

編輯：我認爲最初的作者有一個錯字，調用f（）應該在if循環中。請在回答時考慮這一點。

編輯2：好的，如果有人可能會說，這不是一個錯字，讓我們考慮它是。我想知道在if條款內撥打f()的情況。兩者都會在這種情況下運行，還是隻有沒有評論的那個？

Answer 1

這是因爲關閉的語義。當一個閉包在其外部範圍內引用一個局部變量時，它會捕獲對變量的引用，而不是變量中包含的值。

在這種情況下，匿名委託delegate() { Console.WriteLine(strings[i]); }被捕獲參照的i變量;也就是說，該變量是在匿名函數和聲明i的範圍之間共享的。當i在一個上下文中改變時，它在另一個上也改變。

例如（see it run）：

using System; 

class Foo { 
    static void Main() { 
     int i = 0; 
     Action increment = delegate { ++i; }; 

     Console.WriteLine(i); 

     ++i; 
     Console.WriteLine(i); 

     increment(); 
     Console.WriteLine(i); 

     ++i; 
     Console.WriteLine(i); 

     increment(); 
     Console.WriteLine(i); 
    } 
} 

這將輸出：

0 
1 
2 
3 
4 

在C＃，本地的壽命延長到包括所有引用它們的封閉件的壽命。這使得一些非常有趣的技巧，可能會得罪的C/C++開發人員的感情：

static Func<int> Counter() { 
    int i = 0; 
    return delegate { return i++; }; 
} 

Answer 2

您正在訪問修改的閉包。您的委託僅在被調用時才被評估，並且已經捕獲了循環變量i。在訪問時，退出循環後，其值將等於strings.Length。但是，通過在循環中引入局部變量k，您將爲該循環的迭代捕獲特定變量k，並且結果是正確的。

如果呼叫是在循環內進行的，如您在下面的註釋中所建議的那樣，那麼將在循環前進時評估i的值，並且將具有「正確」值。

Answer 3

這由（不幸）的設計只是。當您在代理中使用循環變量i時，它將以此方式捕獲，並且當您到達f()呼叫時，i將具有其最終價值。

根據Eric Lippert的this blog post而不是for變量（這是您的示例中的變量），它將很快更改爲foreach變量。

增加：

下面是與foreach代替for一個例子：

string[] strings = { "zero", "one", "two", "three", "four" }; 

    var list = new List<PrintIt>(); 

    foreach (var str in strings) 
    { 
    PrintIt f = delegate { Console.WriteLine(str); }; // captures str 
    list.Add(f); 
    } 
    var f0 = list[0]; 
    f0(); 

在我的.NET版本（.NET 4.0，C＃4）最後一行打印 「四個一」。據我瞭解，即將推出的.NET版本（.NET 4.5，C＃5，Visual Studio 2012）將打印「零」。 重大更改...

當然，delegate { Console.WriteLine(str); }相當於delegate() { Console.WriteLine(str); }在這種情況下，這相當於() => { Console.WriteLine(str); }。