C#10新特性之对lambda表达式和方法组的改进

我们对 lambda 的语法和类型进行了多项改进。我们预计这些将广泛有用,并且驱动方案之一是使 ASP.NET Minimal API 更加简单。

lambda 的自然类型

Lambda 表达式现在有时具有“自然”类型。这意味着编译器通常可以推断出 lambda 表达式的类型。

到目前为止,必须将 lambda 表达式转换为委托或表达式类型。在大多数情况下,您会在 BCL 中使用重载的 Func<...> 或 Action<...> 委托类型之一:.

Func<string, int> parse = (string s) => int.Parse(s);

但是,从 C# 10 开始,如果 lambda 没有这样的“目标类型”,我们将尝试为您计算一个:

var parse = (string s) => int.Parse(s);
您可以在您最喜欢的编辑器中将鼠标悬停在 var parse 上,然后查看类型仍然是 Func<string, int>。一般来说,编译器将使用可用的 Func 或 Action 委托(如果存在合适的委托)。否则,它将合成一个委托类型(例如,当您有 ref 参数或有大量参数时)。

并非所有 lambda 表达式都有自然类型——有些只是没有足够的类型信息。 例如,放弃参数类型将使编译器无法决定使用哪种委托类型:

var parse = s => int.Parse(s); // ERROR: Not enough type info in the lambda

lambda 的自然类型意味着它们可以分配给较弱的类型,例如 object 或 Delegate:

object parse = (string s) => int.Parse(s);   // Func<string, int>
Delegate parse = (string s) => int.Parse(s); // Func<string, int>

当涉及到表达式树时,我们结合了“目标”和“自然”类型。如果目标类型是LambdaExpression 或非泛型 Expression(所有表达式树的基类型)并且 lambda 具有自然委托类型 D,我们将改为生成 Expression<D>:

LambdaExpression parseExpr = (string s) => int.Parse(s); // Expression<Func<string, int>>
Expression parseExpr = (string s) => int.Parse(s);       // Expression<Func<string, int>>

方法组的自然类型

方法组(即没有参数列表的方法名称)现在有时也具有自然类型。您始终能够将方法组转换为兼容的委托类型:

Func<int> read = Console.Read;
Action<string> write = Console.Write;

现在,如果方法组只有一个重载,它将具有自然类型:

var read = Console.Read; // Just one overload; Func<int> inferred
var write = Console.Write; // ERROR: Multiple overloads, can't choose

lambda 的返回类型

在前面的示例中,lambda 表达式的返回类型是显而易见的,并被推断出来的。情况并非总是如此:

var choose = (bool b) => b ? 1 : "two"; // ERROR: Can't infer return type

在 C# 10 中,您可以在 lambda 表达式上指定显式返回类型,就像在方法或本地函数上一样。返回类型在参数之前。当你指定一个显式的返回类型时,参数必须用括号括起来,这样编译器或其他开发人员不会太混淆:

var choose = object (bool b) => b ? 1 : "two"; // Func<bool, object>

lambda 上的属性

从 C# 10 开始,您可以将属性放在 lambda 表达式上,就像对方法和本地函数一样。当有属性时,lambda 的参数列表必须用括号括起来:

Func<string, int> parse = [Example(1)] (s) => int.Parse(s);
var choose = [Example(2)][Example(3)] object (bool b) => b ? 1 : "two";

就像本地函数一样,如果属性在 AttributeTargets.Method 上有效,则可以将属性应用于 lambda。

Lambda 的调用方式与方法和本地函数不同,因此在调用 lambda 时属性没有任何影响。但是,lambdas 上的属性对于代码分析仍然有用,并且可以通过反射发现它们。