Неможливо використовувати параметр ref або out у лямбда-виразах

Чому ви не можете використовувати параметр ref або out у лямбда-виразі?

Сьогодні я зіткнувся з помилкою і знайшов вирішення, але мені все одно було цікаво, чому це помилка під час збирання.

CS1628 : Неможливо використовувати параметр 'параметр' у параметрі відмови чи виходу всередині анонімного методу, лямбда-виразу чи виразу запиту

Ось простий приклад:

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 можуть мати фіксований термін експлуатації. Розглянемо передачу локальної змінної як параметр ref до функції.
• Побічні ефекти в лямбда повинні бути видні на самому параметрі ref. Як у межах методу, так і в абонента.

Це дещо несумісні властивості і є однією з причин їх заборони в лямбда-виразах.

Під кришкою анонімний метод реалізується шляхом підняття захоплених змінних (про що йдеться у вашому питанні) та зберігання їх у полях класу, створеного компілятором. Немає способу зберігати параметр refабо outпараметр як поле. Ерік Ліпперт обговорив це у публікації в блозі . Зауважте, що існує різниця між захопленими змінними та лямбда-параметрами. Ви можете мати такі "формальні параметри", як наступні, оскільки вони не захоплюються змінними:

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

Пам’ятайте лише про те, що лямбдас є безпечнішими з точки зору процедур та математики (через вищезгадане просування посилань): ви можете відкрити балончиків. Ретельно подумайте, використовуючи цей синтаксис.

А може це?

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