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

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

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

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

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

Явное начальное значение делает операцию однозначной даже для пустой последовательности и позволяет отделить тип результата от типа элементов.

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

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

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

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

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

Например:

let values = [1, 2, 3]
let text = values.reduce("") { result, value in
    result + String(value)
}

print(text) // 123

Здесь аккумулятор имеет тип String, элементы имеют тип Int, а замыкание получает (String, Int) и возвращает String. Следовательно, reduce не требует, чтобы тип результата совпадал с типом элементов.

Начальный аккумулятор используется как результат до обработки первого элемента. Для последовательности [1, 2, 3] вычисление концептуально выглядит так: "" преобразуется в "1", затем в "12", затем в "123".

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

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

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

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

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

Выбран reduce с начальным значением пустой строки, потому что форматирование простое, результат строится за один проход, а тип аккумулятора явно отличается от типа элементов. Для большого объёма данных на практике дополнительно оценивают стоимость повторной конкатенации строк; при необходимости используют буфер или другой специализированный способ построения текста.

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

Что произойдёт с пустой последовательностью при использовании reduce?

Замыкание не будет вызвано ни разу. reduce сразу вернёт начальное значение, поэтому оно должно быть корректным результатом для отсутствия элементов.
Может ли тип аккумулятора отличаться от типа элемента последовательности?

Да. Например, Int можно свернуть в String, Double, словарь или пользовательскую структуру. Важно только, чтобы замыкание принимало текущий аккумулятор и элемент последовательности, а возвращало значение того же типа, что и аккумулятор.
Почему выбор начального значения влияет не только на компиляцию, но и на смысл результата?

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