Что такое 'Option'?

В программировании вы часто сталкиваетесь с ситуациями, когда значение может присутствовать или отсутствовать. Например, поиск элемента в списке может привести к нахождению элемента, либо он может вовсе не существовать. Традиционные языки программирования часто используют специальные значения, такие как null или -1, для представления «ничего», но такой подход может привести к ошибкам и сбоям.

Rust использует другой подход с перечислением Option<T>. Это встроенный тип, который явно представляет возможность отсутствия значения. Вместо того чтобы гадать, существует ли значение, Rust заставляет вас обрабатывать оба случая заранее.

Перечисление Option имеет ровно два варианта:

Some(value)  // Содержит значение
None         // Не содержит значения

Когда функция может не возвращать значение, она возвращает Option. Если есть значение для возврата, она оборачивает его в Some. Если значения нет, она возвращает None.

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

Вы уже видели Option в действии с методом .get() хеш-таблицы — он возвращает Some(&value), когда ключ существует, или None, когда его нет. Этот паттерн встречается повсюду в Rust, делая ваш код более безопасным и предсказуемым.