C# 9.0 新特性之 Lambda 弃元参数

阅读本文大概需要不到 1 分钟。

大家好,这是 C# 9.0 新特性短系列的第 5 篇文章。

弃元(Discards) 是在 C# 7.0 的时候开始支持的,它是一种人为丢弃不使用的临时虚拟变量。语法上它是用来赋值的,但它却不被分配存储空间,即没有值,所以不能从中读取值。弃元用 _(下划线) 表示,下划线是一个关键字,只能赋值,不能读取,例如:

在 C# 7.0 中,弃元的使用场景主要有下面四种:

  • 元组和对象的解构
  • 使用 is 和 switch 的模式匹配
  • 对具有 out 参数的方法的调用
  • 作用域内独立使用场景

针对这几个场景,用下面的几段代码演示一下。

场景一:元组/对象的解构

var tuple = (1, 2, 3, 4, 5);
(_, _, _, _, var fifth) = tuple;

场景二:使用 is/switch 的模式匹配

var obj = CultureInfo.CurrentCulture.DateTimeFormat;

switch (obj)
{
    case IFormatProvider fmt:
        Console.WriteLine($"{fmt} object");
        break;
    case null:
        Console.Write("A null object reference");
        break;
    case object _:
        Console.WriteLine("Some object type without format information");
        break;
}

if (obj is object _)
{
    ...
}

场景三:对具有 out 参数的方法的调用

var point = new Point(10, 10);
// 只要 x, 不关心 y
point.GetCoordinates(out int x, out _);

场景四:作用域内独立使用场景

void Test(Dto dto)
{
    _ = dto ?? throw new ArgumentNullException(nameof(dto));
}

理解了弃元,也了解了弃元的四种使用场景,那么对下面这个 C# 9.0 新支持的弃元使用场景就容易理解了。

C# 9.0 对弃元增加了一种场景支持:Lambda 参数,也包括匿名方法参数。示例:

// C# 9 之前
Func<int, int, int> zero = (a, b) => 0;
Func<int, int, int> func = delegate (int a, int b) { return 0; };

// C# 9
Func<int, int, int> zero = (_, _) => 0;
Func<int, int, int> func = delegate (int _, int _) { return 0; };

在 C# 9 之前,即便不使用的 Lambda 参数也需要给它命名。C# 9 支持弃元参数一方面简化了命名,另一方面也节省了内存分配。更重要的是它使得编程的意图更明确,让人一看就知道这个参数是不用的,增强了代码的可读性和可维护性。

参考:

[Discards – C# Guide] //dwz.date/bpuV