所有能使用模式的地方

模式常出現於 Rust 中數個位置,而你已經不經意使用了很多模式了!此段落會介紹所有模式能有效出現的地方。

match 分支

如同第六章所討論過的,我們可以在 match 表達式中的分支使用模式。正式來說,match 表達式的定義為 match 關鍵字加上一個要配對的數值,然後會有一或數個包含模式的分支,以及如果數值配對到該分支模式之後要執行的表達式,如以下所示:

match VALUE {
    PATTERN => EXPRESSION,
    PATTERN => EXPRESSION,
    PATTERN => EXPRESSION,
}

舉例來說,以下是範例 6-5 的變數 xOption<i32> 進行配對:

match x {
    None => None,
    Some(i) => Some(i + 1),
}

在此 match 表達式中的模式有 NoneSome(i),顯示在每個箭頭的左方。

match 表達式有個要求就是它們必須是徹底的(exhaustive),所有 match 表達式數值可能的結果都必須涵蓋到。其中一個確保你有考慮到所有可能性的方式是在最後一個分支使用捕獲模式,命名一個能配對任何數值的變數就絕不會失敗,因此可以涵蓋剩餘的情況。

還有一個特定模式 _ 可以獲取任意可能情況,但它不會綁定到變數中,所以它也很常用在最後的配對分支。舉例來說,_ 模式就很適合用來忽略任何沒指明的數值。我們會在本章之後的 「忽略模式中的數值」段落談到更多 _ 的細節。

if let 條件表達式

在第六章中我們介紹了如何使用 if let 表達式,它等同於只配對一種情況的 match 表達式,主要作為更簡潔的語法。此外,if let 可以再加上 else 來包含如果 if let 模式不符的話能執行的程式碼。

範例 18-1 展示了我們能夠混合並配對 if letelse ifelse if let 表達式。這樣做可以比 match 表達式還來得有彈性,因為 match 只能有一個數值與模式們配對。另外,Rust 也不需要 if letelse ifelse if let 分支之間的條件彼此要有關聯。

範例 18-1 的程式碼依據一系列的條件檢查來決定背景顏色該為何。在此例中,我們建立一個寫死的變數數值,在實際程式中應該會由使用者輸入。

檔案名稱:src/main.rs

fn main() {
    let favorite_color: Option<&str> = None;
    let is_tuesday = false;
    let age: Result<u8, _> = "34".parse();

    if let Some(color) = favorite_color {
        println!("使用你最喜歡的顏色{color}作為背景");
    } else if is_tuesday {
        println!("星期二就用綠色!");
    } else if let Ok(age) = age {
        if age > 30 {
            println!("使用紫色作為背景顏色");
        } else {
            println!("使用橘色作為背景顏色");
        }
    } else {
        println!("使用藍色作為背景顏色");
    }
}

範例 18-1:混合 if letelse ifelse if letelse

如果使用者指定的最喜歡的顏色,該顏色就是背景顏色。如果沒有喜歡的顏色且今天是星期二的話,背景顏色就是綠色。如果使用者用字串指定他們的年齡且可以成功轉換成數字的話,背景顏色依據數字結果就是紫色或橘色。如果以上條件都不符合的話,背景顏色就是藍色。

這樣的條件結構讓我們可以支援複雜的需求。透過我們在此寫死的數值,此例會印出 使用紫色作為背景顏色

你可以看到 if let 也能如同 match 的分支一樣遮蔽變數,if let Ok(age) = age 這行就產生了新的遮蔽變數 age 來包含 Ok 變體內的數值。這意味著我們需要將 if age > 30 的條件放在區塊內,我們不能組合這兩個條件成 if let Ok(age) = age && age > 30。遮蔽的 age 在大括號開始之後的新作用域才有效,此時才能與 30 做比較。

使用 if let 表達式的缺點是編譯器不會徹底檢查,而 match 表達式則會。如果我們省略最後一個 else 區塊而因此忘了處理一些情況,編譯器不會警告我們這種可能的邏輯錯誤。

while let 條件迴圈

if let 的結構類似,while let 條件迴圈允許 while 迴圈只要在模式持續配對符合的情況下一直執行。在範例 18-2 的例子我們寫了一個 while let 迴圈使用向量做為堆疊,並以數值被插入向量時相反的順序印出它們。

fn main() {
    let mut stack = Vec::new();

    stack.push(1);
    stack.push(2);
    stack.push(3);

    while let Some(top) = stack.pop() {
        println!("{}", top);
    }
}

範例 18-2:使用 while let 迴圈,且只要 stack.pop() 有回傳 Some 就持續印出數值

此範例會依序顯示 3、2 然後是 1。pop 方法會取得向量最後一個數值並回傳 Some(value)。如果向量是空的,pop 就回傳 None。只要 pop 有回傳 Somewhile 迴圈就會持續執行其區塊中的程式碼。當 pop 回傳 None 時,迴圈就會結束。我們可以使用 while let 來取得堆疊彈出的每個數值。

for 迴圈

for 迴圈中,for 關鍵字之後的數值就是模式。舉例來說,在 for x in yx 就是模式範例 18-3 展示了如何在 for 迴圈使用模式來解構或拆開一個 for 迴圈中的元組。

fn main() {
    let v = vec!['a', 'b', 'c'];

    for (index, value) in v.iter().enumerate() {
        println!("{} 位於索引 {}", value, index);
    }
}

範例 18-3:使用模式來解構 for 迴圈中的元組

範例 18-3 的程式碼會顯示以下結果:

$ cargo run
   Compiling patterns v0.1.0 (file:///projects/patterns)
    Finished dev [unoptimized + debuginfo] target(s) in 0.52s
     Running `target/debug/patterns`
a 位於索引 0
b 位於索引 1
c 位於索引 2

我們使用 enumerate 方法來配接一個疊代器來產生一個數值與該數值在疊代器中的索引,並放入元組中。第一個產生的數值爲元組 (0, 'a')。當此數值配對到 (index, value) 模式時,index 會是 0value 會是 'a',並印出第一行的輸出。

let 陳述式

在本章節之前,我們只有告訴你模式能用在 matchif let,但事實上我們在其他地方也早就使用過模式了,這包含 let 陳述式。舉例來說,請看看以下這個使用 let 賦值變數的直白例子:

#![allow(unused)]
fn main() {
let x = 5;
}

每次當你像這樣使用 let 陳述式時,你就已經在使用模式了,儘管你還沒有察覺到!所以更正式地來說,let 陳述式是這樣定義的:

let PATTERN = EXPRESSION;

let x = 5; 這樣的陳述式中變數名稱會位於 PATTERN 的位置,變數名稱恰好是種特別簡單的模式。Rust 會將表達式與模式做比較,並賦值給它找到的任何名稱。所以在 let x = 5; 的範例中,x 是個模式並表示「將配對到的數值綁定給變數 x」。因為名稱 x 就是整個模式,此模式實際上等同於「將任何數值綁定給變數 x,無論該數值為何」。

為了更清楚理解 let 怎麼使用模式配對,請參考範例 18-4,這對 let 使用模式來解構一個元組。

fn main() {
    let (x, y, z) = (1, 2, 3);
}

範例 18-4:使用模式來解構元組,並同時建立三個變數

我們在此用一個元組來配對一個模式。Rust 會將數值 (1, 2, 3) 與模式 (x, y, z) 做比較,並看出數值能配對到模式中,所以 Rust 將 1 綁定給 x2y 然後 3z。你可以把此元組模式想成是三個獨立的變數模式組合在一起。

如果模式中的元素個數與元組中的元素個數不符合的話,整體型別就無法配對,所以我們會得到編譯錯誤。舉例來說,範例 18-5 嘗試將有三個元素的元組解構到兩個變數中,這樣就無法成功。

fn main() {
    let (x, y) = (1, 2, 3);
}

範例 18-5:錯誤的模式結構,因為變數數量與元組元素個數不符

嘗試編譯此程式碼的話,會得到此型別錯誤:

$ cargo run
   Compiling patterns v0.1.0 (file:///projects/patterns)
error[E0308]: mismatched types
 --> src/main.rs:2:9
  |
2 |     let (x, y) = (1, 2, 3);
  |         ^^^^^^   --------- this expression has type `({integer}, {integer}, {integer})`
  |         |
  |         expected a tuple with 3 elements, found one with 2 elements
  |
  = note: expected tuple `({integer}, {integer}, {integer})`
             found tuple `(_, _)`

For more information about this error, try `rustc --explain E0308`.
error: could not compile `patterns` due to previous error

要修正錯誤的話,我們可以使用 _.. 來忽略元組中的一或數個數值,你會在「忽略模式中的數值」段落中瞭解更多詳情。如果問題出在於我們模式中有太多變數的話,解決辦法就是移除些變數使變數數量等同於元組元素個數,讓型別可以配對。

函式參數

函式參數也可以是模式。範例 18-6 的程式碼宣告了一個函式叫做 foo 來接收一個參數叫做 x 其型別為 i32,現在這看起來你應該都還很熟悉。

fn foo(x: i32) {
    // 內部的程式碼
}

fn main() {}

範例 18-6:在參數中使用模式的函式簽名

x 的部分就是模式!就如同我們在 let 所做的一樣,我們可以在函式引數中使用模式來配對元組,範例 18-7 將傳遞給函式的元組拆為不同數值。

檔案名稱:src/main.rs

fn print_coordinates(&(x, y): &(i32, i32)) {
    println!("目前位置:({}, {})", x, y);
}

fn main() {
    let point = (3, 5);
    print_coordinates(&point);
}

範例 18-7:函式透過參數來解構元組

此程式碼會顯示 目前位置:(3, 5)。數值 &(3, 5) 能配對到模式 &(x, y),所以 x 會是數值 3y 會是數值 5

我們還可以在閉包參數列表中像函式參數列表這樣使用模式,因為第十三章就提過閉包類似於函式。

到目前為止,你已經見過許多使用模式的方式,但模式在我們能使用的地方並不都會有相同的行為。在某些地方,模式必須是不可反駁的(irrefutable),而在其他場合它們則是可反駁的(refutable)。接下來我們會來討論這兩個概念。