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

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

Например, при преобразовании чисел в признак чётности несколько элементов дадут одинаковый результат:

let values: Set = [1, 2, 3, 4]
let parity = values.map { $0 % 2 }

print(parity.count) // 4
print(Set(parity).count) // 2

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

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

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

Такая модель намеренно не предполагает сохранение свойств исходной структуры данных. Уникальность — свойство Set, а не универсальное свойство операции преобразования.

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

Разработчик может ошибочно предположить, что раз исходные элементы находятся в Set, то и результат map останется уникальным. Это приведёт к неверному размеру результата, ошибкам при подсчёте категорий или дублированию значений в интерфейсе.

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

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

map применяет замыкание к каждому элементу и собирает результаты в последовательность результата. Для Set результат стандартного map имеет тип массива, поэтому количество результатов соответствует количеству исходных элементов, даже если значения результатов повторяются.

Операция не проверяет равенство уже созданных результатов и не удаляет дубликаты. Это важно: map сохраняет структуру «один вход — один выход», но не обязан сохранять инъективность преобразования.

Если нужна уникальность после преобразования, результат можно явно превратить в Set:

let values: Set = [1, 2, 3, 4]
let uniqueParity = Set(values.map { $0 % 2 })

print(uniqueParity) // Set([0, 1])

Такой вариант требует, чтобы тип результата соответствовал требованиям Set, то есть был Hashable. Кроме того, после удаления повторов теряется информация о том, сколько исходных элементов породило каждое значение.

Если нужно одновременно преобразовывать элементы и накапливать уникальный результат, можно использовать reduce(into:) с аккумулятором типа Set. Это может быть практичнее для сложного накопления, но делает код более императивным и требует явно описать логику вставки.

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

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

Вариант Set(identifiers.map(category)) прямо выражает требование уникальности и обычно проще для чтения. Однако он сначала создаёт промежуточный массив, а затем строит множество.

Если набор большой или преобразование выполняется в составе более сложного алгоритма, можно сразу накапливать категории в Set через reduce(into:). Это уменьшает количество промежуточных структур, но усложняет код; для обычного преобразования предпочтительнее явная конструкция Set поверх map.

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

Сохраняет ли map количество элементов при преобразовании Set?

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

Нет. map не удаляет элементы и не выбирает между ними: он только преобразует каждый вход. Для удаления повторов нужен Set, а для сохранения порядка с явной проверкой уже встречавшихся значений — отдельная логика накопления, например через reduce(into:).
Что изменится, если преобразование возвращает тип, не поддерживающий Hashable?

Сам map продолжит работать, потому что массиву результата не требуется Hashable. Но построить Set из такого результата нельзя: Set требует хешируемые элементы. В этом случае нужно либо выбрать хешируемое представление значения, либо использовать другой способ проверки уникальности, например сравнение элементов или ключевое множество отдельно.