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

reduce(into:) предпочтителен, когда нужно последовательно наполнить изменяемый результат, например словарь или массив. Он передаёт аккумулятор в замыкание как inout, поэтому результат можно изменять на месте; это обычно уменьшает число промежуточных значений и копирований по сравнению с возвратом нового аккумулятора из каждого шага reduce.

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

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

На практике часто требуется не вычислить новое скалярное значение, а постепенно наполнить коллекцию. Для такого сценария стандартная библиотека предоставляет reduce(into:), чтобы явно выразить мутацию аккумулятора и избежать лишнего создания промежуточных результатов.

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

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

Для больших последовательностей это может привести к дополнительным операциям копирования, перевыделения памяти и проверкам copy-on-write. Оптимизатор способен устранить часть накладных расходов, но полагаться на это как на основное свойство API не следует.

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

В reduce(into:) аккумулятор передаётся в замыкание по ссылке на изменяемое значение через механизм inout. Замыкание не возвращает новый аккумулятор: оно изменяет переданный результат, а стандартная библиотека передаёт его дальше на следующую итерацию.

В обычном reduce замыкание имеет концептуальную форму «старый аккумулятор плюс элемент → новый аккумулятор». В reduce(into:) форма другая: «изменить аккумулятор, используя элемент». Это не делает значение ссылочным: словарь и массив по-прежнему остаются значимыми типами с семантикой copy-on-write.

struct Event {
    let category: String
    let value: Int
}

let events = [
    Event(category: "a", value: 3),
    Event(category: "b", value: 2),
    Event(category: "a", value: 4)
]

let totals = events.reduce(into: [String: Int]()) { result, event in
    result[event.category, default: 0] += event.value
}

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

reduce(into:) не всегда автоматически быстрее. Для простых значений вроде суммы чисел различие может быть несущественным, а обычный reduce иногда лучше передаёт намерение. Кроме того, мутация внутри замыкания требует аккуратности: нельзя бездумно рассчитывать на потокобезопасность или на отсутствие побочных эффектов.

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

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

Сервис получает десятки тысяч событий и должен сгруппировать их по идентификатору пользователя, суммируя размер данных. Рассматривались три варианта: обычный цикл, reduce с возвратом нового словаря и reduce(into:).

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

Выбран reduce(into:), потому что операция естественно описывается как наполнение одного словаря за один проход. Это сохранило декларативную структуру обработки и позволило изменять аккумулятор на месте; итоговую производительность всё равно проверили профилированием на реальном объёме данных.

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

Гарантирует ли reduce(into:) отсутствие копирований аккумулятора?

Нет. Он предоставляет модель изменения аккумулятора через inout, но фактические копирования зависят от семантики типа, наличия других владельцев значения и реализации коллекции. Если во время обработки существует другая ссылка на буфер значимого типа, механизм copy-on-write может создать копию.

Поэтому корректный вывод — не «копирований не бывает», а «API позволяет эффективно изменять единственный уникально используемый аккумулятор». Для подтверждения выигрыша нужны измерения, а не только анализ исходного кода.

Можно ли внутри reduce(into:) заменить аккумулятор целиком?

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

Обычно аккумулятор изменяют точечно — добавляют элемент, обновляют значение по ключу или объединяют состояния. Полная замена уместна, если новый результат действительно должен быть построен заново по условию алгоритма.

Когда обычный reduce лучше reduce(into:)?

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

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