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

Почему вы не можете использовать параметр ref или out в лямбда-выражении?

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

CS1628 : невозможно использовать в ref или out параметр '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);
}

Эти два свойства производят определенный набор эффектов, которые сталкиваются с параметром 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;
        };
}

Просто имейте в виду, что Lambdas процедурно и математически более безопасны (из-за упомянутой выше рекламы ref value): вы можете открыть банку с червями. Тщательно продумайте этот синтаксис.

А может это?

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