В чем ключевое различие слайса от массива

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

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

Массив в Go — это значение фиксированного размера. При объявлении вы указываете количество элементов, и это число не может быть изменено. Например, var a [5]int создает массив из пяти целых чисел. Массив занимает непрерывный блок памяти, и его размер известен на этапе компиляции.

Слайс, в свою очередь, состоит из трех компонентов: указателя на массив (базовый массив), длины (len) и вместимости (cap). Длина — это количество элементов, доступных в слайсе, а вместимость — максимальное количество элементов, которое слайс может содержать без перераспределения памяти. Слайс создается с помощью make, литерала или нарезки существующего массива.

var a [5]int          // массив из 5 элементов
s := make([]int, 0, 5) // слайс с длиной 0 и вместимостью 5
t := []int{1, 2, 3}   // слайс, инициализированный литералом
u := a[1:3]           // слайс, ссылающийся на элементы массива a с индекса 1 по 2

Передача в функции

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

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

Подводные камни

• Изменение длины слайса: append может перераспределить память, если вместимость исчерпана. В этом случае слайс будет указывать на новый массив, и исходный массив останется неизменным.
• Слайс как ссылка: несколько слайсов могут ссылаться на один и тот же базовый массив. Изменение элемента через один слайс отразится на других, что может привести к неожиданным побочным эффектам.
• Сравнение: массивы можно сравнивать с помощью ==, слайсы — нельзя (кроме сравнения с nil). Для сравнения слайсов нужно использовать циклы или reflect.DeepEqual.
• Нулевое значение: нулевое значение массива — это массив с нулевыми элементами (например, [5]int{}), а нулевое значение слайса — nil, который имеет длину и вместимость 0.

Когда использовать

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

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

Коротко

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