C# 7 的新語法:模式匹配

這篇文章介紹的是 C# 7 新增的 pattern matching 語法。

C# 7 增加了「模式匹配」(pattern matching)的語法,可用來判斷某個變數或陳述式的「長相」是否符合特定條件,以決定程式要走哪一條執行路徑——這樣說也許太抽象了,待會兒看到範例程式會比較清楚了。

C# 7 在模式匹配這個部分,目前僅支援 is 和 switch 陳述式。從微軟的技術文件來看,未來應該會在這方面繼續強化。接著就來看看這個新語法有何特別之處。

is 陳述式

在 C# 7 之前,如果要判斷某變數是否是某種型別,常會使用 is 運算子:
void Print(object obj)
{
    if (obj == null)    // 若物件為空,便直接返回。
        return;
    if (obj is string)  // 若物件是個字串,就輸出字串長度。
    {
        var s = obj as string;
        Console.WriteLine($"{s.Length}");
    }
}
C# 7 可以這樣寫:
void Print(object obj)
{
    if (obj is null)    // C# 7
        return;
    if (obj is string s) // C# 7
    {
        Console.WriteLine($"{s.Length}");
    }
}
這裡有兩處改寫(註解中標示 C# 7 的地方):
  • 第 3 行:判斷物件是否為 null,現在也可以用 is 了。儘管這算不上什麼大躍進,但的確提供了多一種選擇,讓我們可以一致地使用 is 來判斷物件的「長相」。
  • 第 5 行:這一行就完成了兩件事,即 (1) 判斷 obj 的型別是否為 string;(2) 將物件轉型並指派給新宣告的變數 s
註:如果是判斷「不為 null」的場合,我還是比較喜歡寫成 (obj != null),而不是 (!(obj is null))。當然這只是個人喜好的問題。
值得注意的是,以此方式宣告的區域變數,其有效存取範圍是「在外層包住它的那個區塊」。也就是說,底下的寫法完全沒有問題:
void Print(object obj)
{
    if (!(obj is string s)) 
        return;
    Console.WriteLine(s); // 這裡仍可使用變數 s。
}
此範例的 .NET Fiddle 連結:https://dotnetfiddle.net/ywmqtI

switch 陳述式

上一節的範例程式碼使用了兩個 if 陳述式,而一旦要判斷的條件很多,使用 switch 會比較好。而且,switch 陳述式還可以使用 when 子句來進一步提供其他條件。範例如下:
void Print(object obj)
{
    switch (obj) 
    {
        case null:          // (1)
            return;
        case string s:      // (2)
            Console.WriteLine($"{s.Length}");
            break;
        case DateTime date: // (3)
            Console.WriteLine(date.Year);
            break;
        case int[] numbers when numbers.Length > 0: // (4)
            foreach (int n in numbers)
                Console.WriteLine(n);
            break;
        case Box box when (box.Width > 0 && box.Width == box.Height)
            // (5) 
            break;
        default:
            Console.WriteLine(obj.ToString());
            break;
    }
}
依註解中標示的編號說明:
  1. 跟 is 一樣,在 switch 裡面也可以判斷變數是否為 null
  2. 若 obj 是 string,就轉型成 string 並指派至新宣告的變數 s
  3. 若 obj 是 DateTime,就轉型成 DateTime 並指派至新宣告的變數 date
  4. 這裡使用了 when 子句:只有當 obj 是個整數陣列,而且該陣列的長度大於零的時候,才會執行這個 case 區塊裡面的程式碼。
  5. 只是再多一個 when 子句的例子,並沒有什麼特殊之處。
此範例的 .NET Fiddle 連結:https://dotnetfiddle.net/uRct75
現在讓我們來看一個稍微特別的情況。底下的程式碼在執行時會進入哪一個 case 區塊?
    string str = null;
    switch (str)
    {
        case string s:
            Console.WriteLine("字串");
            break;
        case null:
            Console.WriteLine("null");
            break;
    }
執行結果是輸出字串 “null”,也就是執行了第二個 case 區塊。這是因為,儘管表面上來看,str 的型別是 string,但是骨子裡它什麼東西都不是;它是個 null。在判斷第一個 case 條件時,其作用等同於使用 as 轉型操作:
if ((null as string) != null) // 結果為 false。
{
    Console.WriteLine("字串");
}
由於 null 無法轉型為其他型別,因此 null as string 的轉型仍為 null。於是,這個條件判斷式的結果為 false
另外,底下是個錯誤示範:
switch (obj) 
{
    case string s1:
        break;
    case string s2 when s2.Length > 5: // 編譯失敗!
        break;
}
這是因為第一個 case 的條件涵蓋了第二個 case,亦即第二個 case 永遠不可能執行到。編譯器會幫你挑出這個有問題的寫法。


沒有留言:

技術提供:Blogger.
回頂端⬆️