Không thể sử dụng tham số ref hoặc out trong biểu thức lambda

Tại sao bạn không thể sử dụng tham số ref hoặc out trong biểu thức lambda?

Tôi đã gặp lỗi hôm nay và tìm thấy một cách giải quyết nhưng tôi vẫn tò mò tại sao đây là lỗi thời gian biên dịch.

CS1628 : Không thể sử dụng tham số hoặc tham số 'tham số' bên trong một phương thức ẩn danh, biểu thức lambda hoặc biểu thức truy vấn

Đây là một ví dụ đơn giản:

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 có sự xuất hiện của việc thay đổi thời gian tồn tại của các biến mà chúng nắm bắt được. Ví dụ, biểu thức lambda sau đây làm cho tham số p1 tồn tại lâu hơn khung phương thức hiện tại vì giá trị của nó có thể được truy cập sau khi khung phương thức không còn trên ngăn xếp

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

Một thuộc tính khác của các biến được bắt là các thay đổi đối với biến cũng được hiển thị bên ngoài biểu thức lambda. Ví dụ như các bản in sau 42

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

Hai thuộc tính này tạo ra một tập hợp hiệu ứng nhất định bay vào mặt tham số ref theo các cách sau

• tham số ref có thể có tuổi thọ cố định. Xem xét chuyển một biến cục bộ làm tham số ref cho hàm.
• Các tác dụng phụ trong lambda sẽ cần phải được nhìn thấy trên chính tham số ref. Cả trong phương thức và trong người gọi.

Đây là một số thuộc tính không tương thích và là một trong những lý do chúng không được phép trong các biểu thức lambda.

Trong phần mềm này, phương thức ẩn danh được triển khai bằng cách nâng các biến bị bắt (đó là nội dung câu hỏi của bạn) và lưu trữ chúng dưới dạng các trường của lớp tạo trình biên dịch. Không có cách nào để lưu trữ một refhoặc outtham số như một trường. Eric Lippert đã thảo luận về nó trong một mục blog . Lưu ý rằng có một sự khác biệt giữa các biến được bắt và các tham số lambda. Bạn có thể có "tham số chính thức" như sau vì chúng không phải là biến được bắt:

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

Bạn có thể nhưng bạn phải xác định rõ ràng tất cả các loại

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

Không hợp lệ, tuy nhiên

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

Có giá trị

Vì đây là một trong những kết quả hàng đầu cho "C # lambda ref" trên Google; Tôi cảm thấy tôi cần phải mở rộng các câu trả lời trên. Cú pháp đại biểu ẩn danh cũ hơn (C # 2.0) hoạt động và nó hỗ trợ các chữ ký phức tạp hơn (cũng như các bao đóng). Các đại biểu ẩn danh của Lambda và ít nhất đã chia sẻ việc thực hiện nhận thức trong phần phụ trợ của trình biên dịch (nếu chúng không giống nhau) - và quan trọng nhất, chúng hỗ trợ các bao đóng.

Những gì tôi đã cố gắng làm khi tôi thực hiện tìm kiếm, để thể hiện cú pháp:

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

Chỉ cần lưu ý rằng Lambdas an toàn về mặt thủ tục và toán học (vì quảng cáo giá trị ref được đề cập trước đó): bạn có thể mở một hộp giun. Hãy suy nghĩ cẩn thận khi sử dụng cú pháp này.

Và có lẽ đây?

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