diff --git a/src/basic/match-pattern/pattern-match.md b/src/basic/match-pattern/pattern-match.md index 568afa8e..d0c1deb9 100644 --- a/src/basic/match-pattern/pattern-match.md +++ b/src/basic/match-pattern/pattern-match.md @@ -166,3 +166,45 @@ if let Some(x) = some_option_value { ``` 因为 `if let` 允许匹配一种模式,而忽略其余的模式( 可驳模式匹配 )。 + +#### let-else(Rust 1.65 新增) + +使用`let-else`匹配,即可使`let`变为可驳模式。它可以使用`else`分支来处理模式不匹配的情况,但是`else`分支中必须用发散的代码块处理(例如:`break`,`return`,`panic`)。请看下面的代码: + +```rust +use std::str::FromStr; + +fn get_count_item(s: &str) -> (u64, &str) { + let mut it = s.split(' '); + let (Some(count_str), Some(item)) = (it.next(), it.next()) else { + panic!("Can't segment count item pair: '{s}'"); + }; + let Ok(count) = u64::from_str(count_str) else { + panic!("Can't parse integer: '{count_str}'"); + }; + // error: `else` clause of `let...else` does not diverge + // let Ok(count) = u64::from_str(count_str) else { 0 }; + (count, item) +} + +fn main() { + assert_eq!(get_count_item("3 chairs"), (3, "chairs")); +} +``` + +解构出的变量名作用域不同是`let-else`和`match`、`if let`的主要区别: + +```rust +// if let +if let Some(x) = some_option_value { + println!("{}", x); +} + +// let-else +let Some(x) = some_option_value { + println!("{}", x); +} else { return; } +``` + +在上面的例子中,`if let`写法里的`x`只能在`if`语句块当中使用,而`let-else`写法里的`x`则可以在`let`之外使用。 +