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

Внутри функции variadic-параметр представляет собой коллекцию значений типа Array — то есть массив элементов указанного типа. Вызов может передать ноль, один или несколько аргументов, а тело функции работает с ними как с единой последовательностью.

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

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

Variadic-синтаксис сохраняет удобство вызова отдельными аргументами, но внутри функции предоставляет единое значение, с которым можно работать стандартными операциями массива.

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

Функция должна принять произвольное число однотипных значений. Если ошибочно воспринимать variadic-параметр как одно значение, можно пытаться применить к нему операции элемента, хотя фактически внутри находится последовательность.

Важно также учитывать ограничения: variadic-параметр может быть только один и должен быть последним параметром функции. Передать готовый массив вместо набора аргументов напрямую нельзя — для этого лучше использовать отдельную функцию или параметр-массив.

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

После объявления variadic-параметра Swift собирает переданные аргументы в массив. Если аргументы не переданы, этот массив пуст; если передан один аргумент, он содержит один элемент.

func total(_ values: Int...) -> Int {
    values.reduce(0, +)
}

let empty = total()
let result = total(2, 3, 5)
print(empty, result)

В примере values внутри функции имеет тип [Int]. Поэтому к нему применимы count, isEmpty, перебор, map, reduce и другие операции массива. Результат будет 0 10.

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

Сбор аргументов в массив удобен для интерфейса вызова, но создаёт дополнительный уровень упаковки значений. Если вызывающая сторона уже располагает массивом, параметр [Int] обычно яснее и удобнее, поскольку Swift не поддерживает универсальную передачу массива в variadic-параметр через специальный оператор раскрытия.

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

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

Альтернатива — принимать [String]. Её плюс в том, что массив можно передать напрямую и не требуется упаковка набора аргументов на месте вызова; минус — вызов становится более многословным для небольшого числа значений. Перегрузки дают удобные вызовы, но плохо масштабируются при росте количества аргументов.

Если API в основном вызывается отдельными метками, выбранный variadic-вариант оптимален по выразительности. Если же метки уже формируются в коллекции, предпочтительнее параметр-массив или отдельная перегрузка, принимающая массив.

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

Можно ли вызвать функцию с variadic-параметром, не передав ни одного значения?

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

Можно ли передать готовый массив как набор variadic-аргументов?

Нет, обычный массив автоматически не раскрывается в отдельные аргументы. Если данные уже находятся в массиве, следует изменить API на приём [Element] либо явно преобразовать логику вызова. Это важное отличие variadic-параметра от параметра-коллекции.

Почему у функции допускается только один variadic-параметр и почему он должен быть последним?

Swift ограничивает объявление таким образом, чтобы граница переменного набора аргументов была однозначной. Если после variadic-параметра располагались бы обычные параметры, компилятору и вызывающему коду пришлось бы неоднозначно определять, какие аргументы относятся к переменному набору, а какие — к последующим параметрам. Поэтому остальные обязательные данные передают до variadic-параметра или оформляют отдельным параметром-коллекцией.