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

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

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

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

Срезы предоставляют удобную абстракцию последовательности переменной длины без необходимости копировать весь массив при каждом вызове функции. Для этого они отделяют данные от описателя этих данных.

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

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

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

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

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

При передаче среза копируются его указатель на backing array, len и cap. Указатель остаётся общим, поэтому запись в индекс, который существует в исходной длине, изменяет общий массив.

Поля len и cap принадлежат копии дескриптора. Операции срезания и присваивания нового результата append меняют локальный дескриптор, а не переменную вызывающего кода.

package main

import "fmt"

func update(s []int) {
	s[0] = 9
	s = append(s, 4)
	s = s[:1]
}

func main() {
	s := make([]int, 1, 2)
	s[0] = 1
	update(s)
	fmt.Println(s, len(s))
}

После вызова значение элемента станет 9, но длина s останется равной 1. append в этом примере может записать новый элемент в общий backing array, однако длина переменной s в main от этого не изменится.

Если append не помещается в текущую ёмкость, он выделяет новый backing array. Тогда локальный срез начинает ссылаться на другой массив, а вызывающий код продолжает ссылаться на старый.

Надёжные варианты зависят от цели:

вернуть результат: s = update(s);
передать указатель на срез, если функция должна изменить сам дескриптор вызывающего кода;
передать копию данных, если функция не должна влиять на исходный массив.

Даже когда длина не меняется, изменение элементов может быть нежелательным из-за совместного владения backing array. При необходимости изоляции используют явное копирование, например через copy в заранее созданный срез.

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

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

Возможный вариант — передать указатель на срез. Он явно позволяет функции заменить длину и backing array, но усложняет интерфейс и обычно не нужен, если функцию можно сделать возвращающей результат.

Другой вариант — изменять исходный массив и рассчитывать на его скрытую ёмкость. Он эффективен, но создаёт неявную связь между функцией и вызывающим кодом; при изменении ёмкости поведение также может измениться.

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

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

1. Почему изменение элемента может быть видно, хотя срез передан по значению?

По значению передаётся не массив, а дескриптор среза. Его копия содержит тот же адрес backing array, поэтому запись через индекс обращается к тем же данным. Это не нарушает передачу по значению: изменяется общий объект, на который указывают две копии дескриптора.

2. Всегда ли append изменяет массив, видимый вызывающему коду?

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

3. Когда указатель на срез действительно оправдан?

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