Tidak dapat menggunakan parameter ref atau out dalam ekspresi lambda

Mengapa Anda tidak bisa menggunakan parameter ref atau out dalam ekspresi lambda?

Saya menemukan kesalahan hari ini dan menemukan solusi tetapi saya masih penasaran mengapa ini adalah kesalahan waktu kompilasi.

CS1628 : Tidak dapat menggunakan dalam parameter ref atau out 'parameter' di dalam metode anonim, ekspresi lambda, atau ekspresi permintaan

Berikut ini contoh sederhana:

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

Lambdas memiliki penampilan mengubah masa hidup variabel yang mereka tangkap. Misalnya ekspresi lambda berikut ini menyebabkan parameter p1 hidup lebih lama dari bingkai metode saat ini karena nilainya dapat diakses setelah bingkai metode tidak lagi di tumpukan

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

Properti lain dari variabel yang ditangkap adalah bahwa perubahan pada variabel juga terlihat di luar ekspresi lambda. Misalnya cetakan berikut 42

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

Kedua properti ini menghasilkan serangkaian efek tertentu yang terbang di hadapan parameter ref dengan cara berikut

• parameter ref mungkin memiliki masa hidup yang tetap. Pertimbangkan untuk melewatkan variabel lokal sebagai parameter ref ke suatu fungsi.
• Efek samping pada lambda perlu terlihat pada parameter ref itu sendiri. Baik di dalam metode dan di pemanggil.

Ini adalah properti yang agak tidak kompatibel dan merupakan salah satu alasan mereka tidak diizinkan dalam ekspresi lambda.

Di bawah tenda, metode anonim diimplementasikan dengan mengangkat variabel yang ditangkap (yang merupakan inti dari badan pertanyaan Anda) dan menyimpannya sebagai bidang dari kelas yang dihasilkan kompiler. Tidak ada cara untuk menyimpan parameter refatau outsebagai bidang. Eric Lippert membahasnya dalam entri blog . Perhatikan bahwa ada perbedaan antara variabel yang ditangkap dan parameter lambda. Anda dapat memiliki "parameter formal" seperti berikut ini karena mereka bukan variabel yang ditangkap:

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

Anda dapat tetapi Anda harus secara eksplisit mendefinisikan semua tipe demikian

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

Namun, tidak valid

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

Adalah benar

Karena ini adalah salah satu hasil teratas untuk "C # lambda ref" di Google; Saya merasa perlu mengembangkan jawaban di atas. Sintaks delegasi anonim yang lebih tua (C # 2.0) berfungsi dan mendukung tanda tangan yang lebih kompleks (juga penutupan). Delegasi Lambda dan anonim paling tidak telah berbagi implementasi yang dirasakan dalam backend compiler (jika mereka tidak identik) - dan yang paling penting, mereka mendukung penutupan.

Apa yang saya coba lakukan ketika saya melakukan pencarian, untuk menunjukkan sintaks:

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

Perlu diingat bahwa Lambdas lebih aman secara prosedural dan matematis (karena promosi nilai referensi yang disebutkan sebelumnya): Anda mungkin membuka sekaleng cacing. Pikirkan baik-baik ketika menggunakan sintaks ini.

Dan mungkin ini?

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