为什么匿名方法中不允许使用 out 参数？

Question

这不是调用来自匿名方法的带有 ref 或 out 参数的方法

我想知道为什么匿名方法中不允许使用 out 参数。不允许 ref 参数对我来说更有意义，但 out 参数就没那么有意义了。

你对此有何看法

Answer 1

从某些方面来说，这是一个骗局。 Out 参数是 ref 参数。 C# 语言使用的值只是有一个额外的属性。不允许它们的原因与 ref 参数完全相同。

这里的问题源于在匿名方法内使用匿名方法外部声明的值的影响。这样做将捕获 lambda 内的值，并在必要时任意将其生命周期延长到当前函数的生命周期之外。这与具有固定生命周期的 out 参数不兼容。

例如，想象一下 out 参数引用堆栈上的局部变量。 lambda 可以在未来的任意点执行，因此可以在该堆栈帧不再有效时执行。那么 out 参数意味着什么？

Answer 2

这基本上与匿名委托/lambda 表达式的参数是捕获变量这一事实有关，而捕获 ref/out 变量则不然。在 C#/CLR 中没有任何意义，因为它内部需要 ref/out fields 。另外，请注意，我将这两个关键字配对，因为它们实际上是相同的。

如果您想要完整的解释，Eric Lippert 在他的博客上详细讨论了这个设计点。 （特别请参阅底部附近的段落。）

Answer 3

out 和 ref 参数之间的唯一区别是 out 参数将应用一个 [out] 标记它。就 CLR 而言，它们是同一件事。

为了实现它，编译器必须生成不受支持的 ref 字段。

如果您考虑一下，您就会意识到允许匿名方法使用 out 参数是没有意义的。

下面的代码会做什么？

static Func<object, object> Mess(out object param) {
    param = "Original";
    return i => param = i;
}
static Func<object, object> MessCaller() {
    object local;
    return Mess(out local);
}
static vouid Main() {
    Console.WriteLine(MessCaller()("New"));
    //The local variable that the lambda expression writes to doesn't exist anymore.
}

Answer 4

我在开发一些错误处理代码时遇到了这个难题。我想将引用（输出）传递给将被记录的错误消息。这使我的匿名方法有机会执行多次检查，每次检查都根据需要设置错误消息。

我最终为匿名方法编写了一个新的包装器，其工作方式有所不同。但我认为对某人可能有价值的是，我可以简单地创建一个具有 out 参数的私有方法，并定义一个委托，然后让我的代码使用它。希望这可以帮助/启发某人。

    protected delegate void OutStringDelegate(int divider, out string errorText);
    protected void codeWrapper(int divider, OutStringDelegate del)
    {
        string ErrorMessage = "An Error Occurred.";

        try
        {
            del(divider, out ErrorMessage);
        }
        catch
        {
            LogError(ErrorMessage);
        }
    }
    public void UseWrapper(int input)
    {
        codeWrapper(input, codeToCall);
    }
    private int somePrivateValue = 0;
    private void codeToCall(int divider, out string errorMessage)
    {
        errorMessage = "Nice Error Message here!";
        somePrivateValue = 1 / divider; // call me with zero to cause error.
    }
    private void LogError(string msg)
    {
        Console.WriteLine(msg);
    }