Краткий ответ

В match Rust проверяет ветви сверху вниз и выбирает первую ветвь, чей шаблон подходит под значение. Если более ранняя безусловная ветвь уже покрывает значения последующей, последующая считается недостижимой: компилятор обычно выдаёт предупреждение unreachable_patterns, но это становится ошибкой при включённом запрете соответствующего lint.

fn classify(value: i32) -> i32 {
    match value {
        _ => 0,
        1 => 1,
    }
}

Ветка 1 => 1 никогда не выполняется, потому что шаблон _ подходит для любого i32 и расположен раньше.

Исторический контекст

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

Такой подход сочетает выразительность шаблонов с проверкой потенциально мёртвого кода. Компилятор не меняет порядок ветвей автоматически, поскольку это изменило бы наблюдаемую семантику программы.

Постановка проблемы

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

По умолчанию это предупреждение, а не ошибка. Поэтому в непрерывной интеграции или для критичных участков проекта полезно запрещать unreachable_patterns, чтобы подобная логическая ошибка останавливала сборку.

Подробное решение

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

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

Предупреждение unreachable_patterns сигнализирует о недостижимой ветви. Его можно повысить до ошибки атрибутом #![deny(unreachable_patterns)] или настройками lint-политики проекта; подавлять предупреждение стоит только при осознанной причине.

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

Ветвь с условием-стражем имеет дополнительную проверку во время выполнения. Компилятор не должен считать такое условие эквивалентным полному безусловному покрытию шаблона, поскольку истинность произвольного условия не выводится из самого шаблона.

Ситуация из практики

В обработчике сообщений сначала разместили ветвь для любого сообщения, которая записывает событие в журнал, а ниже — ветвь для сообщения об ошибке, которая должна увеличивать отдельный счётчик. Компилятор предупредил, что специализированная ветвь недостижима; без внимательного анализа команда могла бы принять предупреждение за косметическое.

Рассматривались варианты:

переставить ветви: просто и сохраняет явную обработку специальных случаев, но требует внимательно проверить порядок всех шаблонов;
убрать специальную ветвь: устраняет предупреждение, но теряет требуемую бизнес-логику;
подавить lint: сохраняет сборку, но скрывает потенциальную ошибку и не меняет фактическое поведение.

Выбрали перестановку: сначала обработали сообщение об ошибке, затем общий случай. В результате специальный счётчик стал обновляться, а общий обработчик продолжил покрывать остальные сообщения.

Что кандидаты часто упускают

Прекращает ли Rust проверять последующие ветви после совпадения?

Да. После первого совпадения Rust выполняет тело выбранной ветви и не рассматривает последующие ветви этого match. Поэтому порядок ветвей влияет на результат, а не только на читаемость.
Всегда ли недостижимая ветвь является ошибкой компиляции?

Нет. Обычно это предупреждение lint unreachable_patterns. Оно становится ошибкой, если проект установил для lint уровень deny; отдельно компилятор может сообщать о других проблемах, например о синтаксической ошибке или невозможности вывести тип.
Может ли шаблон с условием сделать последующую ветвь достижимой?

Да. Например, ветвь, сопоставляющая значение с дополнительным стражем, подходит только при истинном условии. Если условие ложно, Rust переходит к следующим ветвям. Поэтому наличие такого стража нельзя рассматривать как безусловное покрытие всего шаблона.