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

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

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

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

Без flatMap такие операции быстро приводили бы к вложенным Optional. Этот подход разделяет два сценария: обычное преобразование значения и преобразование, которое уже умеет сообщать об отсутствии результата.

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

Предположим, исходное значение имеет тип String?, а преобразование строки в число возвращает Int?. Если применить map, внешний Optional сообщит, было ли исходное значение, а внутренний — удалось ли преобразование.

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

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

map имеет смысл «если значение есть, преобразуй его и заверни результат в Optional». Поэтому для преобразования String в Int? он создаёт результат типа Int??.

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

let text: String? = "42"
let nested = text.map { Int($0) }       // Int??
let flat = text.flatMap { Int($0) }     // Int?

print(nested as Any) // Optional(Optional(42))
print(flat as Any)   // Optional(42)

При этом flatMap не «исправляет» все виды вложенности автоматически. Если преобразование возвращает, например, Int??, flatMap уберёт только один внешний уровень, а оставшаяся вложенность сохранится.

Для преобразования, которое возвращает обычное значение, обычно подходит map. Для преобразования, которое может вернуть nil и уже имеет Optional-результат, подходит flatMap. Это повышает читаемость цепочки, но требует понимать тип результата каждого замыкания.

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

Сервис получает идентификатор пользователя как строку и должен безопасно преобразовать его в число. Вариант с map прост, если преобразование гарантированно возвращает обычный тип, но при использовании Int(...) создаёт вложенный Optional и усложняет дальнейшую обработку.

Можно вручную проверять оба уровня. Такой вариант явно показывает состояния, но добавляет условные ветви и повышает риск перепутать внешний и внутренний nil.

Можно применить flatMap: исходное отсутствие строки и ошибка преобразования будут представлены единым Int?. Это выбранное решение, если бизнес-логике достаточно различать «число получено» и «число отсутствует»; если причины нужно различать, лучше использовать Result или отдельную модель ошибки.

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

1. Вопрос: Что произойдёт, если исходный Optional равен nil?

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

2. Вопрос: Чем map отличается от flatMap, если замыкание возвращает обычное значение?

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

3. Вопрос: Можно ли с помощью flatMap различить исходный nil и ошибку преобразования?

Нет, если оба состояния представлены nil. flatMap объединяет уровни Optional и намеренно стирает это различие. Если исходное значение отсутствует и если преобразование не удалось, итоговый Int? в обоих случаях будет nil; для сохранения причины нужен Result, enum или другая явная модель состояния.