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

map применяет преобразование к содержащемуся значению и сохраняет внешний Optional, поэтому результат может стать вложенным: Optional<Optional<U>>. flatMap предназначен для преобразования, которое само возвращает Optional, и убирает один уровень вложенности, возвращая Optional<U>.

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

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

Разделение на map и flatMap следует общей идее функциональной композиции: обычное преобразование меняет содержимое контейнера, а преобразование, уже создающее такой же контейнер, можно дополнительно сплющить.

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

Пусть функция поиска или валидации возвращает Optional. Если применить её через map к другому Optional, получится вложенная структура: внешнее отсутствие означает отсутствие исходного значения, а внутреннее — неуспешный результат преобразования.

Такая структура усложняет дальнейшую обработку: проверок становится больше, а обычное ожидание разработчика — получить один Optional — нарушается. Неверный выбор операции может привести не к немедленной ошибке, а к неудобному типу, который обнаружится только при последующей передаче значения.

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

map имеет смысл, когда преобразователь принимает обычное значение и возвращает обычное значение. Если исходный Optional пуст, преобразователь не вызывается; если значение есть, результат оборачивается обратно в Optional.

flatMap применяют, когда преобразователь принимает обычное значение и сам возвращает Optional. При пустом исходном Optional результат также пуст. При наличии значения возвращённый преобразователем Optional используется напрямую, без дополнительной оболочки.

let text: String? = "42"

let mapped = text.map { Int($0) }
let flattened = text.flatMap { Int($0) }

// mapped: Int??
// flattened: Int?

В этом примере Int($0) имеет тип Int?. Поэтому map концептуально создаёт Optional<Int?>, то есть вложенный Optional. flatMap убирает один уровень и оставляет Int?.

Это не означает, что map всегда фактически создаёт неудобную вложенность в каждой форме выражения: Swift может учитывать контекст типов и правила вывода. Однако семантически разница именно в сохранении или устранении уровня Optional, и при явной проверке типов её следует рассуждать через тип возвращаемого преобразователя.

flatMap не раскрывает произвольное значение и не превращает Optional в обычный тип. Он только объединяет два последовательных этапа, каждый из которых может завершиться отсутствием. Если преобразование не возвращает Optional, использовать нужно map.

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

В слое разбора входных данных строка сначала может отсутствовать, а затем может не преобразоваться в число. Вариант с map формирует вложенный Optional, что заставляет следующий код отдельно различать два уровня отсутствия.

Можно вручную извлечь внешний Optional, вызвать преобразователь и обработать результат. Плюс такого подхода — явность, но минус — больше условной логики и риск случайно перепутать уровни.

Можно использовать flatMap. Он компактно выражает последовательность операций, где любой этап может вернуть отсутствие, и оставляет единый тип Optional<Int>. Для цепочки разбора и валидации это обычно выбранное решение: оно уменьшает вложенность, сохраняя безопасную обработку отсутствующих значений.

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

1. Вопрос: Может ли flatMap вызвать преобразователь, если исходный Optional равен nil?

Нет. Как и map, flatMap вызывает преобразователь только при наличии значения. При nil он сразу возвращает пустой Optional соответствующего результата. Это гарантирует отсутствие обращения к несуществующему значению и позволяет безопасно строить цепочки операций.

2. Вопрос: Всегда ли map приводит к типу Optional<Optional<T>> на уровне наблюдаемого результата?

Если преобразователь возвращает Optional, семантически возникает вложенность. Но контекст типов, вывод типов и последующее использование выражения могут скрыть её или повлиять на отображение типа в конкретном месте программы.

Для рассуждения важно смотреть на сигнатуру преобразователя: если он возвращает U, map даёт U?; если он возвращает U?, результат концептуально содержит два уровня Optional. Нельзя считать, что map автоматически выполняет сплющивание.

3. Вопрос: Почему нельзя заменить flatMap на map с последующим обычным извлечением значения?

Заменить можно, но результат будет вложенным, и его придётся обрабатывать на двух уровнях. Это увеличивает сложность типов и может смешать два разных состояния: исходное значение отсутствует или преобразование не удалось.

flatMap сохраняет сам факт возможного отсутствия, но объединяет последовательные источники отсутствия в один уровень. Однако он не подходит, если вложенность намеренно несёт смысл и внешнее и внутреннее отсутствие нужно различать отдельно.