Pattern matchingPattern matching

match сопоставляет значение с последовательностью паттернов и выполняет тело первой подошедшей ветви. Паттерн может деструктурировать значение прямо на месте: enum-вариант с данными, поля структуры, элементы кортежа, содержимое ссылки. К форме можно добавить дополнительное условие — match guard (if условие после паттерна) — для случаев, которые не выражаются одной лишь формой. Компилятор проверяет, что все возможные случаи покрыты (исчерпываемость), на этапе компиляции — непокрытый случай без wildcard-ветви _ не компилируется. Паттерны используются и вне match: в let-биндингах, параметрах функций, а также в if let/while let для лаконичной обработки одного ожидаемого варианта.match compares a value against a sequence of patterns and runs the body of the first arm that fits. A pattern can destructure the value right there: an enum variant with data, a struct's fields, a tuple's elements, the contents behind a reference. A pattern can be narrowed further with a match guard (an if condition after the pattern) for cases that shape alone can't express. The compiler checks that every possible case is covered (exhaustiveness) at compile time — an uncovered case with no wildcard arm _ fails to compile. Patterns also show up outside match: in let bindings, function parameters, and if let/while let for concisely handling a single expected variant.

enum Shape {
    Circle { radius: f64 },
    Rectangle { width: f64, height: f64 },
    Point,
}

fn area(shape: &Shape) -> f64 {
    match shape {
        Shape::Circle { radius } => std::f64::consts::PI * radius * radius,
        Shape::Rectangle { width, height } => width * height,
        Shape::Point => 0.0,  // без этой ветви — ОШИБКА КОМПИЛЯЦИИ: match не исчерпывающий// without this arm — COMPILE ERROR: match is not exhaustive
    }
}

C/C++'s switch решает похожую задачу гораздо слабее — вот в чём разница:C/C++'s switch solves a similar problem far more weakly — here's the difference:

if let — это синтаксический сахар над match, который заботится только об одном варианте и игнорирует остальные (с необязательным else). while let — то же самое, но в виде цикла, повторяющегося, пока паттерн продолжает подходить.if let is syntactic sugar over a match that cares about exactly one variant and ignores the rest (with an optional else). while let is the same idea as a loop, repeating for as long as the pattern keeps matching.

let maybe_value: Option<i32> = Some(7);

// полный match ради одного интересующего варианта — многословно// a full match for just one variant of interest — verbose
match maybe_value {
    Some(x) => println!("got {}", x),
    None => {}
}

// if let — то же самое, короче// if let — the same thing, shorter
if let Some(x) = maybe_value {
    println!("got {}", x);
}

Match guard добавляет к паттерну произвольное булево условие — паттерн должен подойти по форме и условие должно быть истинным, чтобы ветвь сработала. Паттерн @ одновременно проверяет форму/диапазон и связывает всё значение с именем.A match guard adds an arbitrary boolean condition to a pattern — the pattern must fit the shape and the condition must hold for the arm to fire. The @ pattern simultaneously tests a shape/range and binds the whole value to a name.

let pair = (3, 3);
match pair {
    (x, y) if x == y => println!("equal"),
    (x, _) if x > 0 => println!("first is positive"),
    _ => println!("other"),
}

let n = 4;
match n {
    n @ 1..=5 => println!("small: {}", n),  // n связан с самим значением диапазона// n is bound to the matched range value itself
    _ => println!("other"),
}

• The Rust Book — The match Control Flow Construct
• The Rust Book — Patterns and Matching