Как работают слайсы в Go?

Слайс — это легкая оболочка над массивом. Он не хранит данные сам по себе, а ссылается на базовый массив.

Структура слайса:

• Указатель на базовый массив: Адрес первого элемента слайса в памяти.
• Длина (Length): Количество элементов в слайсе.
• Емкость (Capacity): Количество элементов в базовом массиве, доступных начиная с указателя слайса.

go

• При создании слайса с помощью make([]T, length, capacity) создается базовый массив указанной емкости и слайс, ссылающийся на него с указанной длиной.
• При использовании среза на массиве или другом слайсе (например, arr[low:high:max]) создается новый слайс, который ссылается на ту же область памяти базового массива, но с другими указателем, длиной и емкостью.
• Операция append может привести к перевыделению памяти. Если текущая емкость недостаточна для добавления новых элементов, Go создает новый, больший базовый массив, копирует в него элементы старого массива и обновляет указатель слайса на новый массив. Это называется реаллокацией. Алгоритм роста емкости при аппенде экспоненциальный (удваивается до определенного размера, затем рост замедляется).
• Слайсы передаются по значению, но так как они содержат указатель на базовый массив, изменения элементов слайса (через индекс) будут видны во всех слайсах, ссылающихся на тот же базовый массив.
• Изменение длины слайса через срез не затрагивает базовый массив, но может ограничить доступ к части данных базового массива.

Таблица: Сравнение Length и Capacity

go