Khớp mẫu, tùy chọn và kết quả

Rust có một cơ chế luồng điều khiển cực kỳ mạnh mẽ được gọi là khớp mẫu. Nó cho phép bạn so sánh một giá trị với một loạt mẫu và thực thi mã dựa trên mẫu nào khớp.

Tuyên bố match

Câu lệnh match trong Rust tương tự như switch trong các ngôn ngữ khác nhưng mạnh mẽ và an toàn hơn nhiều. Trình biên dịch đảm bảo rằng kết quả khớp là đầy đủ, nghĩa là tất cả các trường hợp có thể xảy ra đều phải được xử lý:

enum Direction {
    North,
    South,
    East,
    West,
}

let dir = Direction::East;

match dir {
    Direction::North => println!("Andiamo a Nord"),
    Direction::South => println!("Andiamo a Sud"),
    Direction::East => println!("Andiamo a Est"),
    Direction::West => println!("Andiamo a Ovest"),
}

Xử lý sự vắng mặt của giá trị: Option

Rust không có khái niệm về giá trị null (null hoặc nil). Thay vào đó, thư viện chuẩn định nghĩa một enum có tên Option<T> có thể chứa:

• Some(T): chứa giá trị thuộc loại T.
• None: biểu thị thiếu giá trị.

let x: Option<i32> = Some(5);
let y: Option<i32> = None;

match x {
    Some(val) => println!("C'e un valore: {}", val),
    None => println!("Nessun valore trovato"),
}

Xử lý lỗi có thể phục hồi: Result

Đối với các thao tác có thể thất bại (như đọc tệp hoặc phân tích chuỗi thành số), Rust sử dụng enum Result<T, E>, có hai biến thể:

• Ok(T): thao tác thành công và chứa giá trị thành công T.
• Err(E): thao tác không thành công và có lỗi E.

fn divide(numerator: f64, denominator: f64) -> Result<f64, String> {
    if denominator == 0.0 {
        Err(String::from("Divisione per zero!"))
    } else {
        Ok(numerator / denominator)
    }
}

Nhờ trình biên dịch của Rust, bạn buộc phải xử lý trường hợp Err trước khi có thể truy cập giá trị bên trong Ok, ngăn ngừa nhiều lỗi thời gian chạy phổ biến.

Mẫu ký tự đại diện _

Khi làm việc với các loại dữ liệu có số lượng biến thể lớn (như số nguyên), việc liệt kê tất cả các trường hợp trong match là không thể. Rust cho phép sử dụng ký tự đại diện _ để bắt tất cả các trường hợp còn lại không được xác định rõ ràng:

let some_u8 = 3u8;
match some_u8 {
    1 => println!("One"),
    2 => println!("Two"),
    _ => println!("Something else"), // Handles all other values
}

Hãy tự mình thử