不能在lambda表达式中使用ref或out参数

为什么不能在lambda表达式中使用ref或out参数?

我今天遇到了这个错误，并找到了一个解决方案，但我仍然好奇为什么这是一个编译时错误。

CS1628:不能在匿名方法、lambda表达式或查询表达式中使用in 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();
}
113923 次浏览
小开

在底层，匿名方法是通过提升捕获变量(这就是你的问题主体)并将它们存储为编译器生成的类的字段来实现的。没有办法将ref或out参数存储为字段。Eric Lippert在博客条目中讨论过。注意，捕获的变量和lambda参数之间是有区别的。你可以有如下的“形式参数”，因为它们不是被捕获的变量:

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);
}
小开
最佳答案

lambda的外观是改变它们捕获的变量的生命周期。例如，下面的lambda表达式导致参数p1到生活比当前方法帧更长，因为在方法帧不再在堆栈上之后可以访问它的值

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

捕获变量的另一个属性是，对变量的更改在lambda表达式之外也是可见的。例如，下面的代码输出42

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

这两个属性产生了一组特定的效果，它们以以下方式与ref形参冲突:

  • ref参数可能有固定的生存期。考虑将局部变量作为ref形参传递给函数。
  • lambda中的副作用需要在ref参数本身上可见。在方法内部和调用方内部。

这些属性有些不兼容，也是lambda表达式中不允许使用它们的原因之一。

小开

因为这是“c# lambda ref”在谷歌上的顶级结果之一;我觉得我有必要对上述答案进行进一步阐述。旧的(c# 2.0)匿名委托语法是有效的，它确实支持更复杂的签名(以及闭包)。Lambda和匿名委托至少在编译器后端共享可感知的实现(如果它们不相同的话)——最重要的是，它们支持闭包。

当我做搜索时，我试图做的是演示语法:

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值提升):您可能会打开一个棘手的问题。使用此语法时请仔细考虑。

小开

可以，但必须显式地定义所有类型

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

无效，但是

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

是有效的

小开

也许这个呢?

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

提交答案