Разберите механизм: как сопоставление ссылочного значения с обычным структурным шаблоном влияет на тип и владение переменными, связанными в этом шаблоне?
При сопоставлении ссылочного значения с шаблоном без явного разыменования Rust применяет match ergonomics: автоматически выбирает режим связывания ref или ref mut. Поэтому связанные переменные обычно становятся ссылками на части исходного значения, а не забирают их во владение.
Исходное значение не перемещается и остаётся доступным, если шаблон и другие правила заимствования не требуют обратного.
До появления match ergonomics при разборе ссылок приходилось явно учитывать уровень ссылочности и писать более многословные шаблоны с разыменованием или ref. Это усложняло обычный случай, когда функцию получает ссылку, но нужно удобно разобрать заимствованную структуру.
Подход сохранил строгую модель владения Rust, но сделал шаблоны похожими на работу с самим значением: компилятор автоматически добавляет заимствование к связываниям там, где шаблон не требует явного перемещения.
Рассмотрим функцию, которая получает ссылку на структуру или кортеж. При разборе такого значения важно не случайно переместить принадлежащие ему поля: это могло бы сделать исходное значение частично недействительным или вообще быть запрещено, если оно заимствовано.
Одновременно ручное указание каждого заимствования ухудшает читаемость. Нужно понимать, когда имя в шаблоне получает тип T, когда &T, а когда &mut T, и как это связано с формой самого шаблона.
Если проверяемое значение имеет тип &(String, i32), а шаблон имеет форму (text, number), Rust видит, что шаблон не содержит явного разыменования. Он автоматически разыменовывает ссылку для сопоставления и устанавливает режим связывания ref.
В результате text имеет тип &String, а number — &i32. Строка не перемещается, копирования String не происходит, и исходный кортеж остаётся доступным.
Для &mut T аналогичный разбор обычно создаёт связывания с типом &mut U, что позволяет изменять соответствующие части через полученные имена. Фактическая возможность изменения дополнительно ограничивается правилами уникального изменяемого заимствования.
Автоматическое поведение применяется только там, где шаблон не задаёт явную форму разыменования. Явный шаблон со знаком & меняет условия сопоставления: он проверяет ссылку как отдельную часть структуры и может потребовать перемещения или копирования содержимого. Поэтому нельзя механически считать, что любой шаблон над ссылкой всегда создаёт новые ссылки.
Если поле имеет тип Copy, его иногда можно получить по значению без нарушения владения. Для некопируемого типа, например String, перемещение из заимствованного содержимого запрещено. Match ergonomics не отменяет это правило и не создаёт неявных копий.
Обработчик получает ссылку на запись заказа и должен проверить её статус и вывести идентификатор. Возможны три подхода: клонировать запись, явно разбирать каждое поле через ссылки или использовать обычный структурный шаблон с автоматическим режимом связывания.
Клонирование проще для новичка, но создаёт лишние выделения и может быть дорогим для больших полей. Явные ссылки дают полный контроль, однако делают шаблон шумным и повышают риск ошибки при изменении структуры.
Практичный вариант — использовать обычный шаблон при разборе заимствованной записи, а при неоднозначном коде добавить явные аннотации типов или отдельное явное разыменование. Это сохраняет владение, не требует копирования и оставляет компилятору проверку корректности заимствований.
Нет. Это зависит от шаблона. Неявное разыменование и автоматический режим связывания работают для шаблонов, которые допускают такой вывод. Явный шаблон со знаком &, перемещение из значения-владельца и некоторые комбинации вложенных шаблонов могут привести к другому типу связывания или к ошибке компиляции.
Нет. Для некопируемого поля Rust либо связывает его по ссылке через режим ref, либо должен переместить его из значения-владельца, если форма шаблона это требует. Неявное заимствование и копирование — разные операции: первое меняет тип связанного имени на ссылочный, а второе создаёт новое значение только для типов, реализующих Copy.
&mut изменить исходное значение?Да, если исходное выражение само даёт уникальную изменяемую ссылку и время жизни заимствования соблюдает правила Rust. При разборе &mut связанные имена могут получить &mut к соответствующим полям, но нельзя одновременно создать конфликтующее неизменяемое или второе изменяемое заимствование. Match ergonomics упрощает форму шаблона, но не ослабляет правила уникальности изменяемых ссылок.