От чего зависит тип результата map, если тип исходной коллекции и тип преобразованных элементов различаются?
Тип результата map определяется типом, который возвращает его замыкание, а не типом элементов исходной коллекции. Поэтому преобразование массива Int в строки даёт [String], а преобразование в числа с плавающей точкой — [Double].
Функциональные операции над коллекциями появились как способ описывать преобразование данных через небольшие функции вместо ручного управления индексами, временными переменными и добавлением элементов в результирующий контейнер. Такой подход отделяет алгоритм обхода от логики преобразования.
В Swift это реализовано обобщёнными методами: один и тот же map работает с разными типами элементов, а компилятор выводит тип результата из возвращаемого значения замыкания.
Исходный и результирующий типы часто различаются: идентификаторы превращаются в модели, числа — в строки, а объекты — в представления для пользовательского интерфейса. Ошибка в понимании этого правила приводит к неверным объявлениям переменных, лишним приведéниям типов или попыткам изменить исходную коллекцию вместо создания результата.
Важно не путать тип элементов с типом контейнера. map преобразует каждый элемент, но не обязан сохранять тип элемента; при этом результат стандартного map для последовательности обычно является массивом преобразованных значений.
Концептуально метод имеет форму: map принимает замыкание Element -> T и возвращает коллекцию значений типа T. Element — тип элемента источника, а T выводится из результата замыкания.
В первом случае T равен String, поэтому labels имеет тип [String]. Во втором T равен Double, поэтому fractions имеет тип [Double].
map сохраняет соответствие «один входной элемент — один результат». Если замыкание возвращает значение другого типа, меняется тип элементов результата, но не сам принцип поэлементного преобразования. Если тип нельзя вывести однозначно, его можно задать явной аннотацией результата или возвращаемого выражения.
Преимущество такого дизайна — статическая проверка типов без ручных приведений во время выполнения. Компромисс состоит в том, что замыкание должно возвращать один согласованный тип для всех путей выполнения; Swift не выбирает автоматически общий числовой тип или произвольный протокол для несовместимых результатов.
Сервис возвращает массив числовых идентификаторов, а экрану нужны строки для отображения. Возможен ручной цикл с отдельным массивом и операцией append: он даёт полный контроль, но содержит больше служебного кода и повышает риск ошибки.
Можно также сначала преобразовать каждый идентификатор в промежуточную модель, а затем отдельно получить текст. Это удобно при сложной бизнес-логике, но избыточно для простого преобразования.
В такой ситуации выбирают map: его замыкание явно возвращает String, компилятор выводит [String], а исходный массив остаётся неизменным. В результате код короче, тип результата проверяется статически, а соответствие элементов сохраняется.
Что произойдёт, если замыкание map возвращает только nil без указания типа?
Компилятор не сможет вывести тип nil, потому что nil сам по себе не является самостоятельным типом результата. Нужно явно указать конкретный optional-тип, например Int?; тогда результатом будет массив Int?, в котором nil сохранится как обычный элемент.
Можно ли в разных ветвях замыкания возвращать Int и Double?
Нет, Swift не выбирает автоматически общий числовой тип для таких ветвей. Все пути замыкания должны приводить к одному согласованному типу результата. Нужно явно преобразовать значения к общему типу, например к Double, после чего map вернёт [Double].
Зачем иногда явно указывать тип результата map, если он обычно выводится автоматически?
Аннотация помогает при неоднозначных выражениях, вложенных обобщённых типах или сложных перегрузках. Например, если замыкание возвращает пустой массив, компилятор видит сам факт возвращения массива, но не знает тип его элементов; явное объявление результата вроде [[Int]] устраняет неоднозначность. Это также может сделать намерение разработчика заметнее и предотвратить случайный вывод слишком общего или неверного типа.