ไม่สามารถใช้พารามิเตอร์ ref หรือ out ในการแสดงออกแลมบ์ดา

ทำไมคุณไม่สามารถใช้พารามิเตอร์ ref หรือ out ในนิพจน์แลมบ์ดา

ฉันเจอข้อผิดพลาดในวันนี้และพบวิธีแก้ปัญหา แต่ฉันก็ยังสงสัยว่าทำไมนี่เป็นข้อผิดพลาดแบบรวบรวมเวลา

CS1628 : ไม่สามารถใช้ในพารามิเตอร์ 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();
}

แลมบ์ดามีลักษณะของการเปลี่ยนแปลงอายุการใช้งานของตัวแปรที่จับได้ ตัวอย่างเช่นการแสดงออกแลมบ์ดาต่อไปนี้ทำให้พารามิเตอร์ p1 อยู่ได้นานกว่าเฟรมเมธอดปัจจุบันเนื่องจากสามารถเข้าถึงค่าได้หลังจากเฟรมเมธอดไม่อยู่บนสแต็กอีกต่อไป

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

คุณสมบัติอีกประการของตัวแปรที่จับได้คือการเปลี่ยนแปลงตัวแปรนั้นสามารถมองเห็นได้นอกนิพจน์แลมบ์ดา ตัวอย่างเช่นพิมพ์ต่อไปนี้ 42

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

คุณสมบัติทั้งสองนี้สร้างชุดของเอฟเฟกต์บางอย่างซึ่งบินไปหาหน้าของพารามิเตอร์อ้างอิงด้วยวิธีต่อไปนี้

• พารามิเตอร์อ้างอิงอาจมีอายุการใช้งานที่แน่นอน พิจารณาส่งตัวแปรโลคัลเป็นพารามิเตอร์ ref ไปยังฟังก์ชัน
• ผลข้างเคียงในแลมบ์ดาจะต้องมองเห็นได้บนพารามิเตอร์การอ้างอิงเอง ทั้งภายในวิธีการและในผู้โทร

เหล่านี้เป็นคุณสมบัติที่เข้ากันไม่ได้และเป็นหนึ่งในเหตุผลที่พวกเขาไม่ได้รับอนุญาตในการแสดงออกแลมบ์ดา

ภายใต้ประทุนนั้นจะมีการใช้วิธีการที่ไม่ระบุชื่อโดยการยกตัวแปรที่ถูกจับ (ซึ่งเป็นสิ่งที่ร่างกายของคุณถามเกี่ยวกับ) และเก็บไว้เป็นฟิลด์ของคอมไพเลอร์ที่สร้างคลาส ไม่มีวิธีในการจัดเก็บrefหรือoutพารามิเตอร์เป็นเขตข้อมูล เอริค 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) => {...}

ถูกต้อง

เนื่องจากนี่เป็นหนึ่งในผลลัพธ์ยอดนิยมสำหรับ "C # lambda ref" บน Google; ฉันรู้สึกว่าฉันต้องขยายคำตอบข้างต้น ไวยากรณ์ของผู้รับมอบสิทธิ์แบบไม่ระบุชื่อรุ่นเก่า (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;
        };
}

เพียงจำไว้ว่า Lambdas นั้นปลอดภัยกว่าในการดำเนินการและทางคณิตศาสตร์ (เนื่องจากการส่งเสริมค่าอ้างอิงที่กล่าวถึงก่อนหน้านี้): คุณอาจเปิดเวิร์มกระป๋องได้ คิดให้รอบคอบเมื่อใช้ไวยากรณ์นี้

และอาจเป็นเช่นนี้?

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