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

Dictionary реализует протокол Sequence, у которого map всегда возвращает массив результатов преобразования. Элементом такой последовательности является пара (key: Key, value: Value), поэтому замыкание получает пару, а его результат последовательно собирается в [T].

Если нужно сохранить словарь, применяйте mapValues при неизменных ключах либо явно создавайте новый Dictionary из преобразованных пар.

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

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

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

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

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

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

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

Упрощённо контракт map для последовательности выглядит так: каждый элемент типа Element преобразуется в значение типа T, а итогом становится [T]. Для Dictionary тип Element — это (key: Key, value: Value), поэтому результатом преобразования пары будет элемент массива.

let prices = ["apple": 10, "pear": 20]
let pairs = prices.map { (name, price) in
    (name.uppercased(), price * 2)
}

let doubled = prices.mapValues { $0 * 2 }
let rebuilt = Dictionary(uniqueKeysWithValues: pairs)

pairs имеет тип массив пар, doubled остаётся словарём с исходными ключами, а rebuilt явно создаёт словарь из результата. В последнем случае ответственность за корректность ключей переходит к инициализатору словаря.

mapValues подходит, когда ключи должны сохраниться, а меняются только значения. Если ключи преобразуются, нужен явный выбор стратегии: Dictionary(uniqueKeysWithValues:) требует уникальных ключей и аварийно завершается при дубликатах, тогда как инициализатор с замыканием объединения позволяет определить, как разрешать конфликт.

Порядок элементов в массиве результата соответствует порядку обхода словаря, но порядок словаря не следует использовать как бизнес-порядок или порядок отображения. При необходимости результат нужно явно отсортировать.

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

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

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

Если же одновременно нормализуются идентификаторы товаров, например меняется регистр ключей, mapValues уже неприменим. Тогда выбирают явное построение словаря и отдельно решают проблему возможных совпавших ключей. Это предотвращает неявную потерю данных и делает политику объединения проверяемой.

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

Что произойдёт, если замыкание map возвращает пару ключ-значение?

Результатом всё равно будет массив пар, а не словарь. Тип результата определяется контрактом вызванного метода Sequence.map, а не формой значения, возвращённого замыканием. Для получения словаря нужен явный инициализатор Dictionary.
Как поведёт себя создание словаря, если после map появились одинаковые ключи?

Dictionary(uniqueKeysWithValues:) предназначен для набора уникальных ключей и аварийно завершает выполнение при дубликате. Если совпадения допустимы, следует использовать инициализатор с замыканием объединения, которое явно выбирает, например, первое значение, последнее значение или сумму.
Когда mapValues предпочтительнее преобразования пар через map?

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