Сопоставление с образцом, параметр и результат

В Rust имеется чрезвычайно мощный механизм потока управления, называемый сопоставлением шаблонов. Он позволяет сравнивать значение с рядом шаблонов и выполнять код на основе того, какой шаблон соответствует.

Заявление match

Оператор match в Rust похож на оператор switch в других языках, но гораздо более мощный и безопасный. Компилятор гарантирует, что совпадение является полным, то есть должны быть обработаны все возможные случаи:

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"),
}

Обработка отсутствия значения: Option

В Rust нет понятия нулевого значения (null или nil). Вместо этого стандартная библиотека определяет перечисление Option<T>, которое может содержать:

• Some(T): содержит значение типа T.
• None: указывает на отсутствие значения.

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"),
}

Обработка исправимых ошибок: Result

Для операций, которые могут завершиться неудачно (например, чтение файла или преобразование строки в число), Rust использует перечисление Result<T, E>, которое имеет два варианта:

• Ok(T): операция завершилась успешно и содержит значение успеха T.
• Err(E): операция не удалась и содержит ошибку E.

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

Благодаря компилятору Rust вам придется обрабатывать случай Err, прежде чем вы сможете получить доступ к значению внутри Ok, что предотвращает множество распространенных ошибок во время выполнения.

Шаблон подстановочного знака _

При работе с типами данных, имеющими большое количество вариантов (например, целыми числами), перечисление всех случаев в match невозможно. Rust позволяет использовать подстановочный знак _ для перехвата всех оставшихся случаев, которые не определены явно:

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

Попробуйте сами