一個簡單的`if`/`else`往往是不夠的,因為你可能有兩個或更多個選項。這樣`else`也會變得異常復雜,所以我們該如何解決?
Rust有一個`match`關鍵字,它可以讓你有效的取代復雜的`if`/`else`組。看看下面的代碼:
~~~
let x = 5;
match x {
1 => println!("one"),
2 => println!("two"),
3 => println!("three"),
4 => println!("four"),
5 => println!("five"),
_ => println!("something else"),
}
~~~
`match`使用一個表達式然后基于它的值分支。每個分支都是`val => expression`這種形式。當匹配到一個分支,它的表達式將被執行。`match`屬于“模式匹配”的范疇,`match`是它的一個實現。
那么這有什么巨大的優勢呢?這確實有優勢。第一,`match`強制_窮盡性檢查_(_exhaustiveness checking_)。你看到了最后那個下劃線開頭的分支了嗎?如果去掉它,Rust將會給我們一個錯誤:
~~~
error: non-exhaustive patterns: `_` not covered
~~~
換句話說,Rust試圖告訴我們,我們忘記了一個值。因為`x`是一個整形,Rsut知道它有很多不同的值,比如,`6`。如果沒有`_`分支,那么這就沒有分支可以匹配了,Rust就會拒絕編譯。`_`就像一個_匹配所有_的分支。如果其它的分支都沒有匹配上,就會選擇`_`分支,并且因為我們匹配所有的分支,我們現在就有了一個可以表示`x`所有可能的值的分支了,這樣我們的程序就能順利編譯了。
`match`也是一個表達式,也就是說它可以用在`let`綁定的右側或者其它直接用到表達式的地方:
~~~
let x = 5;
let numer = match x {
1 => "one",
2 => "two",
3 => "three",
4 => "four",
5 => "five",
_ => "something else",
};
~~~
有時,這是一個把一個類型的數據轉換為另一個類型的好方法。
- 前言
- 1.介紹
- 2.準備
- 2.1.安裝Rust
- 2.2.Hello, world!
- 2.3.Hello, Cargo!
- 3.學習Rust
- 3.1.猜猜看
- 3.2.哲學家就餐問題
- 3.3.其它語言中的Rust
- 4.高效Rust
- 4.1.棧和堆
- 4.2.測試
- 4.3.條件編譯
- 4.4.文檔
- 4.5.迭代器
- 4.6.并發
- 4.7.錯誤處理
- 4.8.外部語言接口
- 4.9.Borrow 和 AsRef
- 4.10.發布途徑
- 5.語法和語義
- 5.1.變量綁定
- 5.2.函數
- 5.3.原生類型
- 5.4.注釋
- 5.5.If語句
- 5.6.for循環
- 5.7.while循環
- 5.8.所有權
- 5.9.引用和借用
- 5.10.生命周期
- 5.11.可變性
- 5.12.結構體
- 5.13.枚舉
- 5.14.匹配
- 5.15.模式
- 5.16.方法語法
- 5.17.Vectors
- 5.18.字符串
- 5.19.泛型
- 5.20.Traits
- 5.21.Drop
- 5.22.if let
- 5.23.trait對象
- 5.24.閉包
- 5.25.通用函數調用語法
- 5.26.包裝箱和模塊
- 5.27.`const`和`static`
- 5.28.屬性
- 5.29.`type`別名
- 5.30.類型轉換
- 5.31.關聯類型
- 5.32.不定長類型
- 5.33.運算符和重載
- 5.34.`Deref`強制多態
- 5.35.宏
- 5.36.裸指針
- 6.Rust開發版
- 6.1.編譯器插件
- 6.2.內聯匯編
- 6.3.不使用標準庫
- 6.4.固有功能
- 6.5.語言項
- 6.6.鏈接參數
- 6.7.基準測試
- 6.8.裝箱語法和模式
- 6.9.切片模式
- 6.10.關聯常量
- 7.詞匯表
- 8.學院派研究
- 勘誤