Перечисления (Enums) в Rust

Введение. Что такое перечисление

#

Перечисления (Enums) в Rust — это тип данных, который позволяет описать сущность, принимающую одно из нескольких возможных значений (вариантов).

Если вы раньше программировали, например, на Java или C++, то наверняка пользовались enums для создания списка констант (например, дней недели). Но в Rust перечисления намного мощнее! Они позволяют хранить разнородные данные внутри каждого варианта, благодаря чему код становится чистым и безопасным.

Варианты конструирования (внутренний синтаксис)

#

В отличие от многих других языков, где перечисления — это просто список именованных целых чисел, в Rust варианты enums могут содержать в себе данные различного типа и структуры. Один enum может содержать три вида вариантов:

1. Юнит-варианты: без связанных данных (аналогично юнит-структурам).
2. Кортежные варианты: со связанными безымянными данными в круглых скобках (аналогично структурам-кортежам).
3. Структурные варианты: с именованными полями в фигурных скобках {} (аналогично обычным структурам).

Давайте посмотрим, как объявляются варианты, что такое незаселенный тип и как извлечь данные с помощью match на интерактивных слайдах ниже:

 1#[allow(dead_code)]
 2#[derive(Debug)]
 3enum WebEvent {
 4    // Юнит-вариант (без связанных данных)
 5    PageLoad,
 6    // Кортежный вариант (со связанными безымянными данными)
 7    KeyPress(char),
 8    // Структурный вариант (с именованными полями)
 9    Click { x: i64, y: i64 },
10}
11
12fn main() {
13    let load = WebEvent::PageLoad;
14    let press = WebEvent::KeyPress('q');
15    let click = WebEvent::Click { x: 320, y: 240 };
16
17    println!("load: {:?}", load);
18    println!("press: {:?}", press);
19    println!("click: {:?}", click);
20}

1// Определение незаселенного типа (uninhabited type)
2// Перечисление без вариантов
3#[allow(dead_code)]
4enum EmptyEnum {}
5
6fn main() {
7    // Экземпляр EmptyEnum создать невозможно, так как нет вариантов!
8    println!("EmptyEnum определен, но не может быть инициализирован.");
9}

 1#[allow(dead_code)]
 2enum Message {
 3    Quit,
 4    Move { x: i32, y: i32 },
 5    Write(String),
 6}
 7
 8fn main() {
 9    let msg = Message::Move { x: 10, y: 20 };
10
11    // Извлечение данных через сопоставление паттернов (pattern matching)
12    match msg {
13        Message::Quit => {
14            println!("Событие выхода");
15        }
16        Message::Move { x, y } => {
17            println!("Перемещение в координаты x = {}, y = {}", x, y);
18        }
19        Message::Write(text) => {
20            println!("Запись сообщения: {}", text);
21        }
22    }
23}

Детали реализации:

#

• Шаг 1. Варианты конструирования: Мы создали перечисление WebEvent, демонстрирующее все три типа вариантов. Важная деталь: все поля и данные внутри вариантов перечисления автоматически являются публичными, писать pub перед ними не нужно.
• Шаг 2. Пустые перечисления: В Rust можно объявить enum вообще без вариантов (например, enum EmptyEnum {}). Создать объект такого типа в обычном коде невозможно. Зачем это нужно? Обычно так помечают состояния, которые никогда не должны произойти физически, помогая компилятору оптимизировать проверки.
• Шаг 3. Достаем данные (Pattern Matching): Так как разные варианты перечисления могут содержать абсолютно разные типы данных, компилятор не разрешит обратиться к ним напрямую. Нам нужно проверить, какой именно вариант сейчас активен. Самый удобный способ сделать это — конструкция match.

Важная деталь: Конструкция match в Rust является исчерпывающей (exhaustive). Это означает, что компилятор выдаст ошибку, если хотя бы один из вариантов enums не будет обработан в ветках match.

Проверь свои знания!

#

Пройдите короткий интерактивный тест, чтобы закрепить понимание перечислений в Rust.