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

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

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

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

Обычный map предназначен для соответствия «один вход — один результат» и поэтому не может самостоятельно устранить вложенность. flatMap появился как операция композиции таких преобразований без ручных вложенных циклов и промежуточного объединения коллекций.

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

Если применить map к коллекции коллекций, каждый результат останется отдельной вложенной коллекцией. Это полезно, когда границы групп важны, но неудобно, если нужно обработать все элементы как единый поток.

Неверный выбор операции может привести либо к лишней вложенности и дополнительному коду для объединения, либо к потере информации о группировке. Кроме того, flattening увеличивает число элементов результата и может потребовать значительного объёма памяти.

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

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

flatMap также применяет замыкание к каждому элементу, но ожидает, что каждый результат можно рассматривать как последовательность. Затем он последовательно присоединяет элементы этих последовательностей, устраняя только один уровень вложенности.

let groups = [[1, 2], [3], []]
let nested = groups.map { $0.map { $0 * 2 } }
let flat = groups.flatMap { $0.map { $0 * 2 } }

print(nested) // [[2, 4], [6], []]
print(flat)   // [2, 4, 6]

Пустая внутренняя последовательность не добавляет элементов в результат flatMap. Порядок сохраняется: сначала идут элементы первой внутренней последовательности, затем второй и так далее.

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

Для сохранения групп следует использовать map. Для получения единого последовательного результата подходит flatMap. На обычных массивах итоговый массив материализуется; при работе с ленивой цепочкой можно отложить вычисления, но создание финальной коллекции всё равно потребует памяти для её элементов.

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

Сервис возвращает список групп пользователей, а для каждой группы нужно получить разрешения. Вариант с map сохраняет структуру «группа — разрешения», что удобно для отчёта по группам, но неудобно для проверки общего набора разрешений.

Можно сначала применить map, а затем отдельно объединить вложенные массивы через цикл или reduce. Такой вариант гибок, но добавляет промежуточную структуру и усложняет код.

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

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

Допускает ли flatMap преобразование, возвращающее пустую последовательность?

Да. Пустая последовательность просто не добавляет элементов в итоговый результат. Это позволяет естественно выразить ситуацию, когда некоторый входной элемент не порождает ни одного результата, не добавляя отдельный вызов filter.

Важно отличать это от преобразования в optional. Для удаления значений nil из последовательности обычно используют compactMap: он предназначен для случая «один вход — опциональный результат», тогда как обсуждаемый вариант flatMap работает с результатом, являющимся последовательностью.

Сколько уровней вложенности устраняет flatMap?

Только один уровень за один вызов. Если преобразование возвращает последовательности, содержащие другие последовательности, внутренние последовательности не будут автоматически раскрыты до элементов.

Это ограничение важно для предсказуемости типов и структуры данных. Автоматическое рекурсивное раскрытие могло бы уничтожить значимые уровни группировки и сделать тип результата неоднозначным.

Всегда ли flatMap быстрее, чем map с последующим объединением?

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

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