Ответ.

Cтруктуры map и slice в Go имеют важные особенности копирования и семантики работы с памятью, которые часто приводят к неожиданному поведению у неопытных разработчиков.

История вопроса

Хотя Go считается строгим языком со статической типизацией и отсутствие указателей по умолчанию, у map и slice реализована специальная внутренняя модель: оба типа — это ссылочные структуры. Именно это накладывает ограничения и создает множество нюансов при копировании и передаче этих объектов.

Проблема

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

Решение

• При копировании среза новый срез ссылается на тот же участок памяти, если был получен с помощью slicing (b := a[:]). Для полного копирования элементов нужно использовать встроенную функцию copy().
• Копирование map создает поверхностную копию указателя. Для глубокого клона требуется пройтись циклом и скопировать каждую пару ключ-значение.
• Передача slice или map в функцию происходит по значению, но передается структура-описатель, указывающий на те же данные.

Пример корректного копирования:

// Копирование среза
a := []int{1, 2, 3}
b := make([]int, len(a))
copy(b, a) // b теперь независим от a

// Копирование map
src := map[string]int{"x": 1}
dst := make(map[string]int)
for k, v := range src {
    dst[k] = v
}

Ключевые особенности:

• slice и map — это ссылочные типы, копируются по описателю, а не по содержимому
• Для полного клона требуется вручную (или через copy для slice) скопировать все данные
• Передача в функцию или возврат из функции не копирует содержимое — оба участника могут изменить общие данные

Вопросы с подвохом.

Что произойдет, если просто присвоить один map/ slice другому, а затем изменить один из них?

И map, и slice будут указывать на одни и те же данные в памяти: изменение повлияет на оба объекта.

Почему при возврате slice или map из функции часто говорят "это эффективно по памяти"?

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

Можно ли с помощью функции copy() сделать "глубокое" копирование map?

Нет, copy() работает только со срезами и массивами, для map всегда нужен цикл.

Типовые ошибки и анти-паттерны

• Присваивать map или slice друг другу, ожидая независимости, и неожиданно получать побочные эффекты
• Оставлять "висящие" ссылки на срез, а затем модифицировать исходник, нарушая инварианты
• Использовать функцию copy() не по назначению, применяя её к map

Пример из жизни

Негативный кейс

Разработчик копирует slice или map присваиванием и меняет копию ради защиты от побочного эффекта:

Плюсы:

• Экономия времени на написание кода
• Меньше временных переменных

Минусы:

• Неожиданные изменения в других частях программы
• Трудные для поиска баги из-за "невидимого" шаринга

Позитивный кейс

Перед модификацией необходимых данных используется copy() для slice и цикл для map:

Плюсы:

• Аккуратное отделение данных, независимость изменений
• Легкая отладка и предсказуемое поведение

Минусы:

• Требуется больше кода
• Дополнительные аллокации и копирование памяти