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

Массивы и слайсы — основные типы последовательных коллекций в Go, причём слайсы гораздо чаще встречаются в реальном Golang-коде. Массив имеет фиксированную длину, закодированную в его типе ([4]int), тогда как слайс — динамически изменяемое представление, опирающееся на базовый массив и создаваемое с помощью make([]T, len, cap) или литерала. Встроенная функция append автоматически расширяет слайс, а copy безопасно копирует элементы между слайсами. В Go 1.21 появился пакет slices с обобщёнными вспомогательными функциями — slices.Sort, slices.Contains, slices.Index, — делающими операции над слайсами ещё лаконичнее. Понимание того, как слайсы разделяют базовые массивы и когда append вызывает перераспределение памяти, необходимо для написания производительного Go-кода.

Как это работает

Массивы и слайсы покрывает встроенное: массивы (фиксированный размер — редко в идиоматичном Go), slices (динамические массивы — рабочая лошадка), maps (map[K]V, на хешах), strings (UTF-8 байтовые последовательности, неизменяемые). Struct — пользовательские типы с именованными полями; методы на типах (func (r Receiver) Method()); интерфейсы декларируют наборы методов (удовлетворяются неявно — нет ключевого слова implements). Указатели через & и *; slices и maps уже содержат указатели внутри.

Когда применять

Slices везде, где массивы соблазняют — почти всегда правильный ответ. Map — для lookup по ключу; помните, что Go-map не упорядочены. Embedding struct — для композиции (нет эквивалента наследования). Маленькие интерфейсы (1-3 метода) — Go-интерфейсы лучше когда обнаружены, чем объявлены (выносите, когда есть 2+ реализаций).

Типичные ошибки

Ловушки Массивы и слайсы: slice-граблик — append(s, x) может или не может делить underlying массив с s (при реалокации не делит — тихие баги); for _, v := range slice { go func() { use(v) }() } захватывает v по ссылке до 1.22 (closures видят последнее значение — починено в 1.22, но многие туториалы до этого); nil-maps паникуют на запись (make(map[K]V)); огромные interface-типы убивают идиому "implicitly satisfied".

Связанные понятия

• Структуры данных
• Map
• Struct
• Методы и receivers