The match
Control Flow Construct
Rust có một cấu trúc luồng điều khiển cực kỳ mạnh mẽ được gọi là match
cho
phép bạn so sánh một giá trị với một loạt các mẫu và sau đó thực thi mã dựa
trên mẫu nào phù hợp. Các mẫu có thể được tạo thành từ các giá trị chữ,
tên biến, ký tự đại diện và nhiều thứ khác; Chương 18 bao gồm tất cả các
loại mẫu khác nhau và những gì chúng làm. Sức mạnh của match
đxuất phát
từ sự biểu đạt của các mẫu và thực tế là trình biên dịch xác nhận rằng tất
cả các trường hợp có thể xảy ra đều được xử lý.
Hãy nghĩ về một biểu thức match
như là giống như một cỗ máy phân loại tiền xu:
đồng xu trượt xuống một đường ray với các lỗ có kích thước khác nhau dọc theo nó,
và mỗi đồng xu rơi qua lỗ đầu tiên mà nó gặp phải mà nó vừa vào.
Theo cách tương tự, các giá trị đi qua từng mẫu trong một match
,
và ở mẫu đầu tiên, giá trị "phù hợp",
giá trị rơi vào khối mã liên kết sẽ được sử dụng trong quá trình thực thi
Nói về tiền xu, hãy sử dụng chúng làm ví dụ bằng cách sử dụng match
!
Chúng ta có thể viết một hàm lấy một đồng xu Hoa Kỳ không xác định và,
theo cách tương tự như máy đếm, xác định đó là đồng xu nào và trả về
giá trị của nó bằng xu, như được hiển thị ở đây trong Listing 6-3.
enum Coin { Penny, Nickel, Dime, Quarter, } fn value_in_cents(coin: Coin) -> u8 { match coin { Coin::Penny => 1, Coin::Nickel => 5, Coin::Dime => 10, Coin::Quarter => 25, } } fn main() {}
Listing 6-3: Một enum và một biểu thức so khớp có các biến thể của enum là các mẫu của nó
Hãy chia nhỏ match
trong hàm value_in_cents
. Đầu tiên, chúng ta liệt kê từ khoá match
là một biểu thức, trong trường hợp này là coin
. Điều này có vẻ rất giống với một biểu thức
được sử dụng với if
, nhưng có một sự khác biệt lớn: với if
,
biểu thức cần trả về giá trị Boolean, nhưng ở đây, nó có thể trả về bất kỳ loại nào. Kiểu của coin
trong ví dụ này là một enum Coin
mà chúng ta đã định nghĩa ở dòng đầu tiên.
Tiếp theo là các nhánh match
. Một nhánh gồm 2 phần: mẫu và code. Nhánh đầu tiên ở đây có một mẫu là giá trị Coin::Penny
và sau đó toán tử =>
phân tách mẫu và code để chạy. Code trong trường hợp này nhận giá trị là 1
. Mỗi nhánh được ngăn cách với nhánh tiếp theo bằng dấu phẩy.
Khi biểu thức match
thực thi, nó so sánh giá trị kết quả với mẫu của mỗi nhánh, theo thứ tự.
Nếu một mẫu khớp với giá trị, code với mẫu đó sẽ được thực thi.
Nếu mẫu đó không khớp với giá trị, thì việc thực thi sẽ tiếp tục cho nhánh tiếp theo,
giống như trong một máy phân loại tiền xu.
Chúng ta có thể có nhiều nhánh như chúng ta cần: trong Listing 6-3, match
của chúng ta có 4 nhánh.
Code được liên kết với mỗi nhánh là một biểu thức, và giá trị kết quả của biểu thức trong nhánh phù hợp là giá trị được trả về cho toàn bộ biểu thức match
.
Chúng ta thường không sử dụng dấu ngoặc nhọn nếu mã nhánh đối sánh ngắn, như là trong Listing 6-3
trong đó mỗi nhánh chỉ trả về một giá trị. Nếu bạn muốn chạy nhiều dòng mã trong một nhánh, bạn phải sử dụng dấu ngoặc nhọn.
Ví dụ, mã sau in “Lucky penny!” mỗi khi phương thức được gọi tới một Coin::Penny
, nhưng vẫn trả về giá trị cuối cùng của block, 1
:
enum Coin { Penny, Nickel, Dime, Quarter, } fn value_in_cents(coin: Coin) -> u8 { match coin { Coin::Penny => { println!("Lucky penny!"); 1 } Coin::Nickel => 5, Coin::Dime => 10, Coin::Quarter => 25, } } fn main() {}
Các mẫu ràng buộc với giá trị
Một tính năng hữu ích khác của các nhánh match là chúng có thể liên kết với các phần của giá trị khớp với mẫu. Đây là cách chúng tôi có thể trích xuất các giá trị từ các trường hợp của enum.
Như ví dụ dưới, hãy thay đổi một trong các biến thể enum của chúng tôi để giữ dữ liệu bên trong nó.
Từ năm 1999 đến năm 2008, Hoa Kỳ đúc đồng 25 xu với các thiết kế khác nhau cho mỗi bên trong số 50 tiểu bang.
Không có đồng xu nào khác có thiết kế trạng thái, vì vậy chỉ các đồng 25 xu có giá trị bổ sung này. Chúng ta có thể thêm thông tin này vào enum
bằng cách thay đổi trường hợp Quarter
có chứa 1 giá trị UsState
được lưu trữ bên trong nó, mà chúng ta đã làm ở đây trong Listing 6-4.
#[derive(Debug)] // so we can inspect the state in a minute enum UsState { Alabama, Alaska, // --snip-- } enum Coin { Penny, Nickel, Dime, Quarter(UsState), } fn main() {}
Listing 6-4: Một enum Coin
trong đó trường hợp Quarter
chứa 1 giá trị UsState
Hãy tưởng tượng rằng một người bạn đang cố gắng thu thập tất cả 50 đồng 25 xu của các tiểu bang. Trong khi chúng ta phân loại tiền lẻ của mình theo loại tiền xu, chúng tôi cũng sẽ gọi ra tên của tiểu bang được liên kết với mỗi đồng 25 xu vì vậy nếu đó là một trong những người bạn của chúng tôi không có, họ có thể thêm nó vào bộ sưu tập của họ.
Trong biểu thức match cho code này, chúng tôi thêm một biến được gọi là state
vào mẫu phù hợp với các giá trị của trường hợp Coin::Quarter
. Khi một
Coin::Quarter
khớp, biến state
sẽ liên kết với giá trị của trạng thái của đồng 25 xu đó. Sau đó, chúng ta có thể sử dụng state
trong code cho nhánh này, giống như bên dưới:
#[derive(Debug)] enum UsState { Alabama, Alaska, // --snip-- } enum Coin { Penny, Nickel, Dime, Quarter(UsState), } fn value_in_cents(coin: Coin) -> u8 { match coin { Coin::Penny => 1, Coin::Nickel => 5, Coin::Dime => 10, Coin::Quarter(state) => { println!("State quarter from {:?}!", state); 25 } } } fn main() { value_in_cents(Coin::Quarter(UsState::Alaska)); }
Nếu chúng ta gọi value_in_cents(Coin::Quarter(UsState::Alaska))
, coin
sẽ là Coin::Quarter(UsState::Alaska)
.
Khi chúng tôi so sánh giá trị đó với từng nhánh, không ai trong số chúng phù hợp cho đến khi chúng tôi đạt được Coin::Quarter(state)
.Tại thời điểm đó, ràng buộc đối với state
sẽ là giá trị UsState::Alaska
. Chúng tôi có thể sử dụng ràng buộc đó trong câu lệnh println!
, do đó nhận được giá trị trạng thái bên trong của giá trị Coin
cho Quarter
.
Matching với Option<T>
Trong phần trước, chúng ta muốn có được bên trong giá trị T
của Some
trường hợp khi sử dụng Option<T>
;
chúng ta cũng có thể xử lý Option<T>
sử dung match
như là chúng ta đã làm với Coin
! Thay vì so sánh tiền xu, chúng tôi sẽ so sánh các trường hợp của
Option<T>
, nhưng cách thức hoạt động của biểu thức match
vẫn giống nhau.
Giả sử chúng tôi muốn viết một hàm sử dụng Option<i32>
, nếu có một giá trị bên trong, hãy thêm 1 vào giá trị đó.
Nếu không có giá trị bên trong, hàm sẽ trả về giá trị None
và không cố gắng thực hiện bất kỳ hoạt động nào.
Hàm này rất dễ viết, nhờ match
, và sẽ trông như Listing 6-5.
fn main() { fn plus_one(x: Option<i32>) -> Option<i32> { match x { None => None, Some(i) => Some(i + 1), } } let five = Some(5); let six = plus_one(five); let none = plus_one(None); }
Listing 6-5: Một hàm sử dụng biểu thức match
h trên Option<i32>
Chúng ta hãy kiểm tra việc thực hiện đầu tiên của plus_one
chi tiết hơn. Khi chúng ta gọi
plus_one(five)
, biến x
trong thân hàm plus_one
sẽ có giá trị
Some(5)
. Sau đó, chúng tôi so sánh điều đó với từng nhánh match
.
fn main() {
fn plus_one(x: Option<i32>) -> Option<i32> {
match x {
None => None,
Some(i) => Some(i + 1),
}
}
let five = Some(5);
let six = plus_one(five);
let none = plus_one(None);
}
Giá trị Some(5)
không khớp với mẫu None
,vì vậy chúng ta tiếp tục đến nhánh tiếp theo.
fn main() {
fn plus_one(x: Option<i32>) -> Option<i32> {
match x {
None => None,
Some(i) => Some(i + 1),
}
}
let five = Some(5);
let six = plus_one(five);
let none = plus_one(None);
}
Some(5)
có khớp với Some(i)
? Tại sao lại có nó! Chúng ta có cùng một trường hợp.
i
liên kết với giá trị chứa trong Some
, vì vậy i
nhận giá trị 5
.
Sau đó, đoạn code trong nhánh match
được thực thi, vì vậy chúng ta cộng thêm 1 vào giá trị của i
và
tạo ra một giá trị mới Some
với tổng là 6
.
Bây giờ chúng ta hãy xem xét lời gọi hàm thứ hai của plus_one
trong Listing 6-5, trong đó x
là
None
. Chúng ta nhập match
và so sánh giá trị ở nhánh đầu tiên.
fn main() {
fn plus_one(x: Option<i32>) -> Option<i32> {
match x {
None => None,
Some(i) => Some(i + 1),
}
}
let five = Some(5);
let six = plus_one(five);
let none = plus_one(None);
}
Nó phù hợp! Không có giá trị nào để thêm vào, vì vậy chương trình dừng và trả về giá trị
None
ở phía bên phải của =>
. Bởi vì nhánh đầu tiên khớp với nhau, nên không có nhánh nào khác được so sánh.
Kết hợp match
và enum
rất hữu ích trong nhiều trường hợp. Bạn sẽ thấy mẫu này rất nhiều trong mã Rust:
match
chống lại một enum, liên kết một biến với dữ liệu bên trong, và sau đó thực thi mã dựa trên nó.
Lúc đầu hơi phức tạp, nhưng một khi bạn đã quen với nó, bạn sẽ ước bạn có nó trong tất cả các ngôn ngữ. Nó luôn là một sự yêu thích của người dùng.
Matches là đầy đủ
Có một khía cạnh khác của match
chúng ta cần thảo luận. Hãy xem xét phiên bản hàm plus_one
này của chúng ta
có một lỗi và sẽ không biên dịch:
fn main() {
fn plus_one(x: Option<i32>) -> Option<i32> {
match x {
Some(i) => Some(i + 1),
}
}
let five = Some(5);
let six = plus_one(five);
let none = plus_one(None);
}
Chúng ta không xử lý trường hợp None
, vì vậy mã này sẽ gây ra lỗi. May mắn thay, đó là một lỗi mà Rust biết cách bắt.
Nếu chúng ta cố gắng biên dịch mã này, chúng ta sẽ gặp lỗi sau:
$ cargo run
Compiling enums v0.1.0 (file:///projects/enums)
error[E0004]: non-exhaustive patterns: `None` not covered
--> src/main.rs:3:15
|
3 | match x {
| ^ pattern `None` not covered
|
= help: ensure that all possible cases are being handled, possibly by adding wildcards or more match arms
= note: the matched value is of type `Option<i32>`
For more information about this error, try `rustc --explain E0004`.
error: could not compile `enums` due to previous error
Rust biết rằng chúng ta không bao gồm trường hợp nào có thể xảy ra và thậm chí biết chúng ta đã quên mẫu nào!
Matches trong Rust là đầy đủ: chúng ta phải sử dụng hết mọi khả năng để mã có hiệu lực.
Đặc biệt là trong trường hợp của Option<T>
, khi Rust ngăn chúng ta quên xử lý rõ ràng trường hợp None
,
nó bảo vệ chúng ta khỏi giả định rằng chúng ta có một giá trị khi chúng ta có thể có null,
do đó làm cho sai lầm hàng tỷ đô la đã được thảo luận trước đó là không thể.
Catch-all Patterns and the _
Placeholder
Sử dụng enum, chúng ta cũng có thể thực hiện các hành động đặc biệt đối với một số giá trị cụ thể,
nhưng đối với tất cả các giá trị khác thì thực hiện một hành động mặc định. Hãy tưởng tượng chúng tôi đang triển khai một trò chơi trong đó,
nếu bạn tung một con xúc xắc là 3, người chơi sẽ không di chuyển,
nhưng thay vào đó nhận được một chiếc mũ mới nhiều màu sắc. Nếu bạn tung ra 7, người chơi sẽ mất một chiếc mũ.
Đối với tất cả các giá trị khác, người chơi của bạn di chuyển số khoảng trắng đó trên bảng trò chơi.
Đây là một triển khai logic match
, với kết quả của cuộn xúc xắc được mã hóa cứng chứ không phải là một giá trị ngẫu nhiên,
và tất cả các logic khác được đại diện bởi các hàm không có phần thân bởi vì thực sự việc triển khai chúng nằm ngoài phạm vi của ví dụ này:
fn main() { let dice_roll = 9; match dice_roll { 3 => add_fancy_hat(), 7 => remove_fancy_hat(), other => move_player(other), } fn add_fancy_hat() {} fn remove_fancy_hat() {} fn move_player(num_spaces: u8) {} }
Đối với hai nhánh đầu tiên, các mẫu là các giá trị 3 và 7. Đối với nhánh cuối cùng bao gồm mọi giá trị có thể có khác,
biến chúng ta đã chọn để đặt tên other
. Mã chạy cho nhánh other
sử dụng biến bằng cách chuyển nó đến hàm move_player
.
Biên dịch đoạn code này, mặc dù chúng tôi chưa liệt kê tất cả các giá trị có thể có của một u8
,
vì mẫu cuối cùng sẽ khớp với tất cả các giá trị không được liệt kê cụ thể.
Mẫu tổng hợp này đáp ứng yêu cầu rằng match
phải đầy đủ. Lưu ý rằng chúng ta phải đặt nhánh thu thập tất cả cuối cùng vì các mẫu được đánh giá theo thứ tự.
Rust sẽ cảnh báo chúng ta nếu chúng ta thêm nhánh nào đó sau khi bắt được tất cả vì những nhánh sau đó sẽ không bao giờ khớp với nhau!
Rust cũng có một mẫu mà chúng ta có thể sử dụng khi không muốn sử dụng giá trị trong mẫu tổng hợp: _
,
là một mẫu đặc biệt phù hợp với bất kỳ giá trị nào và không liên kết với giá trị đó.
Điều này cho Rust biết rằng chúng ta sẽ không sử dụng giá trị,
vì vậy Rust sẽ không cảnh báo chúng ta về một biến không được sử dụng.
Hãy thay đổi quy tắc của trò chơi thành nếu bạn tung bất kỳ thứ gì khác ngoài số 3 hoặc số 7,
bạn sẽ phải tung lại. Chúng ta không cần sử dụng giá trị trong trường hợp đó, vì vậy chúng ta có thể thay đổi mã của mình để sử dụng _
thay vì biến có tên other
:
fn main() { let dice_roll = 9; match dice_roll { 3 => add_fancy_hat(), 7 => remove_fancy_hat(), _ => reroll(), } fn add_fancy_hat() {} fn remove_fancy_hat() {} fn reroll() {} }
Ví dụ này cũng đáp ứng yêu cầu đầy đủ vì chúng ta đang bỏ qua tất cả các giá trị khác trong nhánh cuối cùng; chúng ta đã không quên bất cứ điều gì.
Nếu chúng tôi thay đổi các quy tắc của trò chơi một lần nữa, để không có gì khác xảy ra trong lượt của bạn nếu bạn tung bất kỳ thứ gì khác ngoài con 3 hoặc con 7,
chúng ta có thể thể hiện điều đó bằng cách sử dụng giá trị đơn vị (loại tuple trống mà chúng tôi đã đề cập trong phần “The Tuple
Type”) như mã đi với nhánh _
:
fn main() { let dice_roll = 9; match dice_roll { 3 => add_fancy_hat(), 7 => remove_fancy_hat(), _ => (), } fn add_fancy_hat() {} fn remove_fancy_hat() {} }
Ở đây, chúng ta đang nói với Rust một cách rõ ràng rằng chúng ta sẽ không sử dụng bất kỳ giá trị nào khác không khớp với một mẫu trong nhánh trước đó, và chúng tôi không muốn chạy bất kỳ mã nào trong trường hợp này.
Có nhiều thông tin hơn về các mẫu và matchings mà chúng ta sẽ đề cập đến ở Chapter
18. Bây giờ, chúng ta sẽ chuyển sang cú pháp if let
, có thể hữu ích trong các tình huống mà match
diễn đạt hơi dài dòng.