不能在lambda表達式中使用ref或out參數

Question

爲什麼不能在lambda表達式中使用ref或out參數？

我今天遇到錯誤，發現一個解決方法，但我仍然好奇爲什麼這是一個編譯時錯誤。

這裏有一個簡單的例子：

private void Foo() 
{ 
    int value; 
    Bar(out value); 
} 

private void Bar(out int value) 
{ 
    value = 3; 
    int[] array = { 1, 2, 3, 4, 5 }; 
    int newValue = array.Where(a => a == value).First(); 
} 

Answer 1

Lambda表達式有改變，他們捕捉變量壽命的外觀。例如以下lambda表達式使參數p1到活不是作爲後的方法幀是不再在堆棧上

Func<int> Example(int p1) { 
    return() => p1; 
} 

捕獲變量的另一個特性是它的值可被訪問的當前方法幀更長對lambda表達式以外的變量的更改也是可見的。例如，下面的打印42

void Example2(int p1) { 
    Action del =() => { p1 = 42; } 
    del(); 
    Console.WriteLine(p1); 
} 

這兩個屬性產生一組特定的，其在飛行ref參數的面通過以下方式

• ref參數可以具有固定的壽命的效果。考慮將一個局部變量作爲ref參數傳遞給一個函數。
• lambda中的副作用需要在ref參數本身上可見。在方法和調用者中。

這些是有些不兼容特性，是他們在lambda表達式不允許的原因之一。

Answer 2

引擎蓋下，匿名方法是通過提升捕獲變量（這是你的問題的身體是關於什麼的），並存儲爲編譯器的領域實現生成的類。沒有辦法將ref或out參數存儲爲字段。 Eric Lippert在a blog entry中對此進行了討論。請注意，捕獲的變量和lambda參數之間存在差異。您可以有「形參」之類的下面，因爲它們沒有捕獲變量：

delegate void TestDelegate (out int x); 
static void Main(string[] args) 
{ 
    TestDelegate testDel = (out int x) => { x = 10; }; 
    int p; 
    testDel(out p); 
    Console.WriteLine(p); 
} 

Answer 3

由於這是Google上「C＃lambda ref」的最佳結果之一，我覺得我需要擴展上述答案。舊的（C＃2.0）匿名委託語法可以工作，並且它支持更復雜的簽名（以及閉包）。 Lambda和匿名代表至少在編譯器後端共享感知實現（如果它們不相同） - 最重要的是，它們支持閉包。

我試圖做的時候我做了搜索，展示的語法：

public static ScanOperation<TToken> CreateScanOperation(
    PrattTokenDefinition<TNode, TToken, TParser, TSelf> tokenDefinition) 
{ 
    var oldScanOperation = tokenDefinition.ScanOperation; // Closures still work. 
    return delegate(string text, ref int position, ref PositionInformation currentPosition) 
     { 
      var token = oldScanOperation(text, ref position, ref currentPosition); 
      if (token == null) 
       return null; 
      if (tokenDefinition.LeftDenotation != null) 
       token._led = tokenDefinition.LeftDenotation(token); 
      if (tokenDefinition.NullDenotation != null) 
       token._nud = tokenDefinition.NullDenotation(token); 
      token.Identifier = tokenDefinition.Identifier; 
      token.LeftBindingPower = tokenDefinition.LeftBindingPower; 
      token.OnInitialize(); 
      return token; 
     }; 
} 

只要記住，lambda表達式是程序上和數學上更安全（因爲前面提到的參考價值提升的）：你可能會打開一罐蠕蟲。使用這種語法時要認真思考。

Answer 4

你可以，但你必須明確定義所有的類型，因此

(a, b, c, ref d) => {...} 

是無效的，但是

(int a, int b, int c, ref int d) => {...} 

是有效