Ответ.

История вопроса

Многие языки программирования позволяют использовать null-значение, что приводит к ошибкам null pointer dereference во время выполнения. В Rust для явного представления опциональных значений введён универсальный тип Option<T>, который обеспечивает безопасность и, что важно, принуждает к рассмотрению случая отсутствия значения.

Проблема

Отсутствие значения (например, если результат поиска не найден) часто приводит к ошибкам времени выполнения, если это не отражено в типе. Безопасное и явное управление случаем пустого значения снижает количество багов.

Решение

Тип Option<T> реализован как enum с двумя вариантами: Some(T) (значение присутствует) и None (значение отсутствует). Это позволяет компилятору заставить программиста учитывать оба случая. Любое использование опционального значения без явной проверки приводит к ошибке компиляции.

Пример кода:

fn divide(a: i32, b: i32) -> Option<i32> {
    if b == 0 { None } else { Some(a / b) }
}

let res = divide(6, 3);
match res {
    Some(result) => println!("Результат: {}", result),
    None => println!("Деление на ноль!"),
}

Ключевые особенности:

Нет null-указателей: отсутствие значения — это часть типа, а не magic-значение.
Разработчик обязан обработать оба случая — и наличие, и отсутствие значения.
Совместим с pattern matching, что удобно для гибкой обработки логики.

Вопросы с подвохом.

Является ли Option<T> zero-cost абстракцией, или каждая переменная Option занимает больше места?

Да, в большинстве случаев Option<T> zero-cost, когда тип T не может принимать "нулевого" значения (например, ссылочный тип или Box<T>). Rust использует оптимизацию "nullable pointer optimization", и дополнительной памяти не требуется.

let value: Option<&u32> = None;
// Не занимает больше места, чем обычная ссылка.

Можно ли использовать unwrap без опаски?

Нет, unwrap() приводит к панике при значении None. Стоит использовать его только когда гарантировано известно, что значение присутствует, либо предпочесть методы unwrap_or, unwrap_or_else, или pattern matching.

Чем Option отличается от ссылок (&T, Option<&T>)?

Ссылка всегда указывает на существующее значение. Если значение отсутствует, нужно использовать Option<&T>, чтобы явно отразить "может быть ничего". Использование Option вместо прямой ссылки предотвращает гонки за нулевым указателем.

Типовые ошибки и анти-паттерны

Использование unwrap повсеместно без проверки, что ведёт к паникам.
Смешивание Option<&T> и ссылки, когда выбор не обоснован логикой.
Приведение Option к Result или другому типу без осознанного выбора.

Пример из жизни

Негативный кейс

Функция возвращает результат поиска через Option, но вызывающий код использует unwrap, уверен, что всегда есть результат. Реально же при отсутствии значения программа падает в production.

Плюсы:

Лаконичный код на этапе прототипирования.

Минусы:

Необнаруженные ситуации легко пропустить, возможно некрасивое завершение приложения.

Позитивный кейс

Код использует match для обработки Option, все случаи явно задокументированы и покрыты тестами.