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

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

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

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

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

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

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

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

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

В объявлении вариативный параметр должен быть последним. На уровне тела функции он имеет тип среза элементов, поэтому по нему можно выполнять обычные операции чтения, перебора и len.

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

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

package main

import "fmt"

func sum(values ...int) int {
    total := 0
    for _, v := range values {
        total += v
    }
    return total
}

func printSlice(values []int) {
    fmt.Println(values)
}

func main() {
    fmt.Println(sum(1, 2, 3))
    values := []int{1, 2, 3}
    fmt.Println(sum(values...))
    printSlice(values)
}

Вызов sum(values...) раскрывает срез в отдельные аргументы вариативного параметра. Вызов printSlice(values) передаёт тот же срез как единственный параметр.

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

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

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

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

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

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

Можно ли передать срез вариативной функции без раскрытия аргументов?

Нет. Без раскрытия срез рассматривается как один аргумент, а вариативный параметр ожидает отдельные значения элемента. Поэтому обычная передача среза не соответствует требуемому типу аргумента; необходимо явно раскрыть его при вызове.
Совпадают ли типы функций с вариативным параметром и параметром-срезом?

Нет. Функция, принимающая произвольное число значений типа int, имеет другой функциональный тип, чем функция, принимающая один []int. Поэтому такие функции нельзя без дополнительного адаптера взаимозаменять при присваивании переменной-функции или передаче в другую функцию.
Меняет ли добавление элементов к вариативному параметру срез у вызывающего кода?

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