Краткий ответ

Option::flatten убирает один уровень вложенности: преобразует Option<Option<T>> в Option<T>. Внутренний Some(value) становится Some(value), а внешний или внутренний None даёт итоговый None.

Исторический контекст

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

Такое поведение связано с различием между обычным преобразованием значения и последовательным выполнением потенциально неуспешных операций. flatten предоставляет отдельный механизм для устранения структурной вложенности, не смешивая её с обработкой ошибок.

Постановка проблемы

Если применить map к Option<T> и передать функцию, возвращающую Option<U>, результатом будет Option<Option<U>>. Внешний уровень описывает наличие исходного значения, а внутренний — успешность следующего поиска или преобразования.

Без устранения вложенности вызывающему коду приходится отдельно разбирать два уровня Option. Это усложняет сопоставление с вариантами и может привести к ошибочному различению случаев, которые по смыслу одинаковы: отсутствует исходное значение или не найден результат следующего шага.

Подробное решение

flatten убирает только один уровень:

fn find_even(value: &str) -> Option<i32> {
    let number = value.parse::<i32>().ok()?;
    (number % 2 == 0).then_some(number)
}

fn main() {
    let nested = Some("42").map(find_even);
    let result = nested.flatten();
    assert_eq!(result, Some(42));
}

До вызова flatten тип nested — Option<Option<i32>>. Внешний Some означает, что строка была передана в map, а внутренний Some означает, что разбор и проверка завершились успешно.

Для Some(Some(value)) результатом будет Some(value). Для Some(None) и None результатом будет None, поэтому flatten объединяет оба варианта отсутствия в один.

Эквивалентная запись через последовательное связывание — and_then. Выбор зависит от намерения: map с последующим flatten явно показывает сначала преобразование, затем устранение вложенности; and_then сразу выражает цепочку операций, каждая из которых может вернуть None.

Метод снимает только один уровень. Для типа Option<Option<Option<T>>> один вызов оставит Option<Option<T>>; повторное уплощение должно быть явным. Значение не копируется автоматически: правила владения и перемещения Rust сохраняются.

Ситуация из практики

В библиотеке нужно найти пользователя по идентификатору, а затем получить его необязательный псевдоним. Поиск пользователя возвращает Option<User>, а доступ к псевдониму — Option<&str>.

Вариант с map сохраняет два уровня состояния. Он позволяет технически различать отсутствие пользователя и отсутствие псевдонима, но если для API оба случая означают «псевдоним не найден», такая детализация только усложняет интерфейс.

Вариант с and_then сразу возвращает плоский Option<&str> и удобен для цепочки зависимых поисков. Вариант с map(...).flatten() лучше, когда важно отдельно показать факт вложенного преобразования и затем явно нормализовать результат.

Выбранный вариант должен соответствовать смыслу API. Если различие между уровнями важно, следует сохранить вложенный тип или использовать собственный перечисляемый тип; если оба случая имеют одинаковое значение, flatten делает контракт проще и уменьшает количество ветвлений у вызывающего кода.

Что кандидаты часто упускают

Чем flatten отличается от unwrap для Option?

flatten не извлекает значение наружу и не вызывает аварийное завершение. Он преобразует вложенный Option в обычный Option, сохраняя возможность отсутствия значения. unwrap, напротив, требует наличие Some и при None завершает выполнение паникой.
Можно ли с помощью flatten сохранить различие между внешним и внутренним None?

Нет. После уплощения None на любом из двух уровней становится одним и тем же итоговым None. Если нужно различать «исходного значения не было» и «следующая операция не дала результата», следует использовать вложенный Option напрямую либо определить отдельный тип ошибки или состояния.
Когда вместо Option<Option<T>> лучше применить собственный тип?

Собственный enum предпочтительнее, когда состояния имеют разные бизнес-смыслы или требуют разных действий. Например, отсутствие записи, запрет доступа и временная недоступность — это не просто разные уровни отсутствия; объединение их через flatten уничтожило бы важную информацию.