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] http://dwz.date/bpuV