ch18-02-refutability.md
commit d44317c3122b44fb713aba66cc295dee3453b24b

模式有兩種形式：refutable（可反駁的）和 irrefutable（不可反駁的）。能匹配任何傳遞的可能值的模式被稱為是 不可反駁的（irrefutable）。一個例子就是 let x = 5; 語句中的 x，因為 x 可以匹配任何值所以不可能會失敗。對某些可能的值進(jìn)行匹配會失敗的模式被稱為是 可反駁的（refutable）。一個這樣的例子便是 if let Some(x) = a_value 表達(dá)式中的 Some(x)；如果變量 a_value 中的值是 None 而不是 Some，那么 Some(x) 模式不能匹配。

函數(shù)參數(shù)、 let 語句和 for 循環(huán)只能接受不可反駁的模式，因為通過不匹配的值程序無法進(jìn)行有意義的工作。if let 和 while let 表達(dá)式被限制為只能接受可反駁的模式，因為根據(jù)定義他們意在處理可能的失?。簵l件表達(dá)式的功能就是根據(jù)成功或失敗執(zhí)行不同的操作。

通常我們無需擔(dān)心可反駁和不可反駁模式的區(qū)別，不過確實需要熟悉可反駁性的概念，這樣當(dāng)在錯誤信息中看到時就知道如何應(yīng)對。遇到這些情況，根據(jù)代碼行為的意圖，需要修改模式或者使用模式的結(jié)構(gòu)。

讓我們看看一個嘗試在 Rust 要求不可反駁模式的地方使用可反駁模式以及相反情況的例子。在示例 18-8 中，有一個 let 語句，不過模式被指定為可反駁模式 Some(x)。如你所見，這不能編譯：

    let Some(x) = some_option_value;

示例 18-8: 嘗試在 let 中使用可反駁模式

如果 some_option_value 的值是 None，其不會成功匹配模式 Some(x)，表明這個模式是可反駁的。然而，因為 let 對于 None 匹配不能產(chǎn)生任何合法的代碼，所以 let 語句只能接受不可反駁模式。Rust 會在編譯時抱怨我們嘗試在要求不可反駁模式的地方使用可反駁模式：

$ cargo run
   Compiling patterns v0.1.0 (file:///projects/patterns)
error[E0005]: refutable pattern in local binding: `None` not covered
   --> src/main.rs:3:9
    |
3   |     let Some(x) = some_option_value;
    |         ^^^^^^^ pattern `None` not covered
    |
    = note: `let` bindings require an "irrefutable pattern", like a `struct` or an `enum` with only one variant
    = note: for more information, visit https://doc.rust-lang.org/book/ch18-02-refutability.html
    = note: the matched value is of type `Option<i32>`
help: you might want to use `if let` to ignore the variant that isn't matched
    |
3   |     if let Some(x) = some_option_value { /* */ }
    |

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

因為我們沒有覆蓋（也不可能覆蓋！）到模式 Some(x) 的每一個可能的值，所以 Rust 會合理地抗議。

為了修復(fù)在需要不可反駁模式的地方使用可反駁模式的情況，可以修改使用模式的代碼：不同于使用 let，可以使用 if let。如此，如果模式不匹配，大括號中的代碼將被忽略，其余代碼保持有效。示例 18-9 展示了如何修復(fù)示例 18-8 中的代碼。

    if let Some(x) = some_option_value {
        println!("{}", x);
    }

示例 18-9: 使用 if let 和一個帶有可反駁模式的代碼塊來代替 let

我們給了代碼一個得以繼續(xù)的出路！雖然我們沒辦法在避免產(chǎn)生錯誤的情況下使用不可反駁模式，但這段使用可反駁模式的代碼是完全有效的。如果為 if let 提供了一個總是會匹配的模式，比如示例 18-10 中的 x，編譯器會給出一個警告：

    if let x = 5 {
        println!("{}", x);
    };

示例 18-10: 嘗試把不可反駁模式用到 if let 上

Rust 會抱怨將不可反駁模式用于 if let 是沒有意義的：

$ cargo run
   Compiling patterns v0.1.0 (file:///projects/patterns)
warning: irrefutable `if let` pattern
 --> src/main.rs:2:8
  |
2 |     if let x = 5 {
  |        ^^^^^^^^^
  |
  = note: `#[warn(irrefutable_let_patterns)]` on by default
  = note: this pattern will always match, so the `if let` is useless
  = help: consider replacing the `if let` with a `let`

warning: `patterns` (bin "patterns") generated 1 warning
    Finished dev [unoptimized + debuginfo] target(s) in 0.39s
     Running `target/debug/patterns`
5

基于此，match匹配分支必須使用可反駁模式，除了最后一個分支需要使用能匹配任何剩余值的不可反駁模式。Rust允許我們在只有一個匹配分支的match中使用不可反駁模式，不過這么做不是特別有用，并可以被更簡單的 let 語句替代。

目前我們已經(jīng)討論了所有可以使用模式的地方，以及可反駁模式與不可反駁模式的區(qū)別，下面讓我們一起去把可以用來創(chuàng)建模式的語法過目一遍吧。