Rust 程式設計影片教程（進階）——023 模式的 refutability 和 irrefutable

頭條地址：https://www.ixigua.com/i677586170644791348...
Ｂ站地址：https://www.bilibili.com/video/av81202308/

github地址：https://github.com/anonymousGiga/learn_rus...

1、模式有兩種：refutable（可反駁的）和 irrefutable（不可反駁的）。能匹配任何傳遞的可能值的模式被稱為是不可反駁的。對值進行匹配可能會失敗的模式被稱為可反駁的。

2、只能接受不可反駁模式的有：函式、let語句、for迴圈。原因：因為透過不匹配的值程式無法進行有意義的工作。

3、if let和while let表示式被限制為只能接受可反駁的模式，因為它們的定義就是為了處理有可能失敗的條件。

4、例子：

let a: Option<i32> = Some(5);
let Some(x) = some_option_value; //失敗，因為let是不可反駁的，
                                 //要匹配傳遞的所有的值，這裡無法匹配None的情況

if let x = 5 { //錯誤，if let接受可反駁的
    println!("x = {}", x);
}

本作品採用《CC 協議》，轉載必須註明作者和本文連結