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

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

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

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

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

Важно отличать копирование заголовка среза от копирования его элементов. Заголовок содержит указатель на backing array, длину и ёмкость; при преобразовании копируется именно этот небольшой дескриптор.

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

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

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

package main

import "fmt"

type IDs []int

func main() {
    ids := IDs{1, 2}
    plain := []int(ids)
    plain[0] = 9
    fmt.Println(ids[0]) // 9
}

В примере преобразуется заголовок IDs в заголовок []int, а массив элементов остаётся общим. При append нужно учитывать ёмкость: если для нового элемента хватает текущей ёмкости, будет изменён общий backing array; если ёмкости недостаточно, append выделит новый массив и вернёт срез, связанный уже с ним.

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

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

В API библиотеки внутренний тип Payload []byte преобразуют в []byte перед передачей в обработчик. Вариант с прямым преобразованием эффективен и не требует копирования, но обработчик может изменить внутренний буфер. Вариант с копированием безопаснее для владения данными, однако увеличивает потребление памяти и стоимость обработки больших payload.

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

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

Меняется ли длина или ёмкость при преобразовании среза?

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

Всегда ли изменение через преобразованный срез видно через исходный?

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

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

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