编译器未解析为预期的扩展方法

Question

我今天在尝试将内联 lambda 函数转换为闭包时注意到，这样我就可以在多个地方使用相同的 lambda。这将编译为正确的扩展方法：

appBuilder.Use((ctx, next) => {
    Console.WriteLine("Test");
    return next();
});

Use 是由以下定义的扩展：

public static IAppBuilder Use(this IAppBuilder app, Func<IOwinContext, Func<Task>, Task> handler);

现在，如果我做同样的事情，但将内联移动到一个变量：

Func<IOwinContext, Func<Task>, Task> handler = (ctx, next) => {
        Console.WriteLine("Test");
        return next();
    };
appBuilder.Use(handler);

编译器解析为该方法（不是扩展名）：

IAppBuilder Use(object middleware, params object[] args);

我在这里做了什么导致该方法更改签名？

提前致谢。

Answer 1

如果可能，实例方法（非扩展方法）获胜。

对于内联版本，它不能匹配，因为lambda本身没有类型；它不知道要创建什么委托类型，所以它不能将其转换为 object。因此，唯一可用的匹配是采用 Func<IOwinContext, Func<Task>, Task> 的扩展方法，因为 lambda 可以转换为具体的匹配委托类型。

一旦您为 lambda so 分配了一个局部变量：您就给了它一个类型——一个可以转换为对象的类型。所以现在实例方法是一个可行的候选者，并且：wins.

Answer 2

What am I doing here to cause that method to change signatures?

lambda 表达式没有类型，只能转换为兼容的委托和表达式树类型。

因此，带有 (object, params object[]) 参数的常规 IAppBuilder 方法 不适用于使用 lambda 表达式参数的调用 。届时，编译器将寻找扩展方法。

将其与带有 handler 变量的版本进行比较 - 在这一点上，您有一个参数是可转换为 object，并且参数数组没有值也可以...所以常规方法适用。

重要的是，如果编译器发现任何可用的非扩展方法，它会使用这些方法执行重载解析。扩展方法仅在没有非扩展方法适用时使用。

如果您有两个扩展方法或两个常规方法，重载解析将确定具有更具体参数的方法比 (object, params object[]) 方法更适合此调用...但事实并非如此;两者从未被比较过。

Answer 3

Lambda 在 C# 中非常不寻常，因为它们是非常几种实际上没有类型的表达式之一。他们依靠他们的上下文来知道他们的类型是什么。（另一个例子是 null。）

您可以采用完全相同的 lambda，并更改围绕它的代码，这将更改该 lambda 解析为的类型。如果你把它放在某个地方期待 Expression<T>，它会解析为一个表达式，如果你把它放在某个地方期待一个委托，它最终会成为一个委托（两者完全不同），并且它绑定的委托类型基于预期的委托类型，因此同一个 lambda 可以根据预期解析为完全不同类型的委托。

几乎没有其他行为是这样的；大多数表达式都只有一种类型，它们解析为一种类型，您可以在根本不查看上下文的情况下确定该类型是什么。

所以在你的第一个例子中，当你有：

(ctx, next) => {
    Console.WriteLine("Test");
    return next();
}

你不能单独确定类型。您需要查看该表达式的使用位置，以尝试找到 lambda 可以转换为的内容。该 lambda 无法转换为 object。编译器不知道它应该是一个表达式还是一个委托，或者它应该是哪个委托。但它可以将其转换为 Func<IOwinContext, Func<Task>, Task>，因为它是适当类型的委托。这就是使用的重载。

当您传入 handler 时，它不是 lambda，它只是委托的一个实例，并且与 任何其他对象 一样，可以转换为object，所以另一个重载是有效的，并且作为实例方法它 "wins" 当两者都有效时。

Answer 4

其他答案解释了为什么您的代码会这样运行。

这里有一个方法可以解决您的原始问题，能够重用 lambda：将其转换为本地函数：

Task Middleware(IOwinContextcontext, Func<Task> next)
{
    Console.WriteLine("test");
    return next();
}

app.Use(Middleware);

编译器未解析为预期的扩展方法

Compiler not resolving to expected extension method

.net

c#

lambda

owin

katana