Массивы и слайсы

Неинициализированный слайс имеет zero value nil. nil-слайс можно использовать с len() (вернёт 0), cap() (вернёт 0) и append() без ошибок. Но make([]int, 0) создаёт пустой не-nil слайс.

make([]int, length, capacity) - второй аргумент задаёт длину, третий - ёмкость. cap() возвращает ёмкость (10), len() - длину (3). Ёмкость определяет, сколько элементов можно добавить без переаллокации.

Массив [3]int - фиксированный размер, часть типа. [3]int и [4]int - разные типы. Слайс []int - динамический, это ссылка на массив (указатель + длина + ёмкость). Массивы передаются по значению, слайсы - по ссылке.

Массивы в Go - value types. Присваивание b := a создаёт полную копию. Изменение b[0] не затрагивает a. Это ключевое отличие от слайсов, которые разделяют базовый массив.

append не изменяет оригинальный слайс - он возвращает новый. Если ёмкости хватает, новый слайс ссылается на тот же массив. Если нет - Go аллоцирует новый массив побольше. Всегда используйте: s = append(s, ...).

Функция copy(dst, src) копирует элементы из src в dst, возвращая количество скопированных элементов. b = a - это не копирование, а создание второй ссылки на тот же массив.

make([]int, 5, 10) создаёт слайс длиной 5 и ёмкостью 10. len() возвращает длину (количество доступных элементов), а не ёмкость. Элементы 0–4 инициализированы нулями.

В Go нет встроенной функции удаления из слайса. Идиоматический способ - склеить части до и после удаляемого элемента через append. delete() работает только с map.

Подслайс s[1:] разделяет базовый массив с s. s2[0] и s[1] указывают на один и тот же элемент в памяти. Изменение через s2 видно через s. Чтобы получить независимую копию, используйте copy.

Слайсы нельзя сравнивать между собой через == - это ошибка компиляции. Единственное допустимое сравнение - с nil. Для сравнения содержимого используйте slices.Equal() (Go 1.21+) или цикл.