ラムダ式ではrefまたはoutパラメータを使用できません

ラムダ式でrefまたはoutパラメーターを使用できないのはなぜですか？

今日エラーに遭遇し、回避策を見つけましたが、なぜこれがコンパイル時エラーであるのかまだ知りませんでした。

CS1628：匿名メソッド、ラムダ式、またはクエリ式内で参照または出力パラメーター 'parameter'を使用できません

以下に簡単な例を示します。

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();
}

ラムダは、キャプチャする変数の有効期間を変更するように見えます。例えば、次のラムダ式は、パラメータP1がせるライブ方法フレームがスタックにもはやされた後、その値にアクセスできないように、より長い現在の方法フレームより

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

キャプチャされた変数の別のプロパティは、変数への変更がラムダ式の外側にも表示されることです。たとえば、次の印刷42

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

これらの2つのプロパティは、次の方法で参照パラメーターに直面して飛行する特定の効果のセットを生成します。

• refパラメーターは、有効期間が固定されている場合があります。ローカル変数をrefパラメーターとして関数に渡すことを検討してください。
• ラムダの副作用は、refパラメーター自体に表示される必要があります。メソッド内と呼び出し元の両方。

これらはやや互換性のないプロパティであり、ラムダ式で許可されない理由の1つです。

内部的には、匿名メソッドは、キャプチャされた変数（質問本体がすべてについて）をホイストし、それらをコンパイラー生成クラスのフィールドとして格納することによって実装されます。refまたはoutパラメータをフィールドとして保存する方法はありません。Eric Lippert がブログエントリでそれについて議論しました。キャプチャされた変数とラムダパラメータには違いがあることに注意してください。キャプチャされた変数ではないため、次のような「仮パラメータ」を持つことができます。

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);
}

できますが、すべてのタイプを明示的に定義する必要があります。

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

しかし無効です

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

有効です

これはGoogleでの「C＃lambda ref」の上位の結果の1つなので、上記の答えをさらに詳しく説明する必要があると思います。以前の（C＃2.0）匿名デリゲート構文は機能し、より複雑な署名（およびクロージャー）をサポートします。ラムダと匿名のデリゲートは少なくとも、コンパイラバックエンドで認識された実装を共有しています（同一でない場合）-そして最も重要なことに、クロージャをサポートしています。

構文を示すために、検索を実行するときに私がしようとしていたこと：

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;
        };
}

ラムダは手続き的および数学的に安全であることを覚えておいてください（前述の参照値の昇格のため）。ワームの缶を開く可能性があります。この構文を使用するときは注意深く検討してください。

そして多分これ？

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

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