Алгебраїчні типи даних (enum) і вичерпне зіставлення зі зразком (match)

enum у Rust — не просто список констант

У багатьох мовах enum — це просто набір іменованих цілочисельних констант. У Rust enum — це алгебраїчний тип даних (algebraic data type, ADT), де кожен варіант може нести власні, різні за формою дані. enum NodeStatus { Active, Suspicious(u32), Compromised { by: String, at: u64 } } описує три принципово різні форми стану: без даних, з одним неозначеним значенням і зі структурою з іменованими полями — все в одному типі. Це радикально відрізняється від enum-int у C чи Java: тут варіант і його дані нероздільні, і компілятор знає точний набір можливих форм значення цього типу — не більше й не менше, ніж перелічено.

Основний спосіб «розпакувати» enum і дістатися даних усередині варіанта — конструкція match. Ключова гарантія Rust: match над enum повинен бути вичерпним (exhaustive) — тобто охоплювати абсолютно всі можливі варіанти, інакше компіляція не відбудеться з помилкою non-exhaustive patterns (або зазначить конкретно, які варіанти пропущено). Розробнику не потрібно пам'ятати весь список варіантів напам'ять і сподіватися, що він нічого не забув, — компілятор зробить цю перевірку за нього автоматично й безкоштовно для кожного match у кодовій базі.

Саме тут проявляється ключова педагогічна й інженерна перевага цього підходу порівняно з, наприклад, if/else ланцюжком по цілочисельному коду статусу: коли до enum додається новий варіант (скажімо, Quarantined), кожен match у всій кодовій базі, який раніше вичерпно обробляв старий набір варіантів, миттєво перестає компілюватися — компілятор буквально вказує на кожне місце в коді, де потрібно дописати обробку нового випадку. Це перетворює «забув обробити новий стан десь у величезному проєкті» — типову причину прихованих багів у динамічних чи слабко типізованих системах — на помилку компіляції, яку неможливо не помітити.

match підтримує потужні патерни, що виходять за межі простого перерахування варіантів: деструктуризацію вкладених даних просто в патерні (Compromised { by, at } if at > threshold => ... — з умовою-guard), зв'язування частини значення через @ (Suspicious(n @ 100..=200) => ...), і навмисний «викид» вичерпності через _ => ... (яка варта уваги: додавання _ глушить майбутню перевірку компілятора для нових варіантів — це свідома відмова від однієї з головних переваг механізму, тому вважається практикою, якої варто уникати, якщо є спосіб перелічити варіанти явно).

Крім match, з Rust 1.65+ доступна коротша форма if let для випадку, коли цікавить лише один варіант (if let NodeStatus::Compromised { by, .. } = status { ... }), і let else для «розпакувати або вийти» (let NodeStatus::Active = status else { return; };). Обидві конструкції — не альтернативи вичерпності, а зручні скорочення для типового підмножини сценаріїв match, які самі по собі не вимагають обробки всіх варіантів, оскільки явно описують «а якщо не цей варіант — роби щось інше/просто вийди».