match expressions

Level: 101 → 201 · for newcomers

One line: match checks a value against a list of options top to bottom, takes the first that fits, and — unlike a switch — never falls through and must cover every case, which is the property that turns "I forgot one" from a runtime surprise into a compile error.

Stub — an outline, not a lesson. There is no runnable example behind this page yet, so nothing on it has been through the check that backs every other claim in this library. The bullets below are the questions the finished page has to answer.

What it has to cover

• Arms are tried in order, first match wins, and the body may be one expression or a block — the same thing, since a block is an expression
• No fall-through, and therefore no break to write and no way to forget one
• Exhaustiveness: every possible value must be covered, or _ must catch the rest. E0004, and the compiler naming the value you missed
• match as an expression — every arm's value must have the same type, exactly as with if
• Matching on a bool first (two arms, and an honest comparison with if/else), then on an integer with ranges, then on a char
• Where _ earns its keep and where it is a liability — a catch-all silently absorbs a variant added later
• The signpost to pattern matching proper: bindings, tuples, guards, | alternatives — named here, taught elsewhere

The trap it exists for

_ => … makes a match exhaustive forever, so adding a variant to an enum a year later compiles clean and quietly takes the default branch. That is the entire subject of a typo becomes a binding, where a lowercase name in an arm turns into a catch-all binding that matches everything and warns about almost nothing.

See also

• if expressions — the two-case version, and when it reads better
• A typo becomes a binding — the catch-all that was not meant to be one
• One arm, many values — ranges and | collapsing twenty-six arms into five
• What an enum is — the type match was built for, and where exhaustiveness pays
• Six kinds of zero — an exhaustive match as a domain model, and the arm nobody wrote
• match expressions ↗ · Comprehensive Rust: match ↗

Po polsku

match sprawdza wartość po kolei, od góry, i wygrywa pierwsze pasujące ramię — ale od switcha znanego z C czy Javy różnią go dwie rzeczy i obie są tu najważniejsze: nie ma przechodzenia między przypadkami (fall-through), więc nie ma też breaka, o którym dałoby się zapomnieć, oraz obowiązuje kompletność dopasowania — każdy możliwy przypadek musi być pokryty, w przeciwnym razie E0004, a kompilator sam nazwie wartość, o którą nie zadbaliśmy. To właśnie ta druga własność zamienia „zapomniałem o jednym przypadku” z niespodzianki w czasie działania programu w błąd kompilacji, i dlatego match czuje się najlepiej na wyliczeniu (enum), gdzie zbiór przypadków jest skończony i znany z góry. Sam match jest przy tym wyrażeniem, więc wszystkie ramiona muszą mieć ten sam typ — dokładnie tak jak gałęzie if. Pułapka siedzi w _: ramię _ => … czyni dopasowanie kompletnym na zawsze, więc wariant dołożony do wyliczenia rok później skompiluje się bez słowa i po cichu wpadnie do gałęzi domyślnej — a bliźniacza wersja tego błędu to nazwa wariantu zapisana w ramieniu małą literą, bo wtedy zamiast porównania powstaje nowe wiązanie, które łapie wszystko.

Szukaj po polsku: dopasowanie wzorców · kompletność dopasowania · match a switch · rust E0004 non-exhaustive patterns · rust match catch-all underscore