Зіставлення зі зразком (Patterns and Matching)

Зразки — це спеціальний синтаксис у Rust для зіставлення зі структурою типів, як складних, так і простих. Використання зразків у поєднанні з виразами match та іншими конструкціями дає вам більше контролю над потоком керування програми. Зразок складається з деякої комбінації наведеного далі:

• Літерали
• Розібрані масиви, переліки, структури або кортежі
• Змінні
• Підстановні знаки
• Заповнювачі

Деякі приклади зразків включають x, (a, 3) і Some(Color::Red). У контекстах, у яких зразки є дійсними, ці компоненти описують форму даних. Потім наша програма зіставляє значення зі зразками, щоб визначити, чи має вона правильну форму даних, щоб продовжити виконання певного фрагмента коду.

Щоб використовувати зразок, ми порівнюємо його з деяким значенням. Якщо зразок зіставляється зі значенням, ми використовуємо частини значення у нашому коді. Згадайте вирази match у Розділі 6, які використовували зразки, такі як приклад машини для сортування монет. Якщо значення відповідає формі зразка, ми можемо використати іменовані частини. Якщо ні, код, пов’язаний із зразком, не буде виконано.

Цей розділ — це довідка про все, що пов’язано зі зразками. Ми розглянемо місця, де можна використовувати зразки, різницю між спростовуваними та неспростовуваними зразками, а також різні види синтаксису зразків, які ви можете побачити. Наприкінці розділу ви знатимете, як використовувати зразки для вираження багатьох концепцій зрозумілим способом.