Как в памяти хранятся массивы и срезы и что означает capacity?

Как в памяти хранятся массивы и срезы и что означает capacity?

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

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

Подробный ответ

Основной ответ

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

Срезы (slices) — это абстракция над массивом, представленная структурой с тремя полями: указателем на базовый массив, длиной (len) и ёмкостью (capacity).

• Длина (length) — количество элементов среза, доступных в текущий момент для чтения и записи.
• Ёмкость (capacity) — предельное число элементов, до которого срез можно расширить без выделения новой памяти; фактически это размер базового массива от начальной позиции среза.

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

Ключевые моменты

• Массивы — fixed size: их размер известен во время компиляции, элементы расположены в памяти подряд, а сам размер не меняется. Передача массива по значению приводит к копированию всех его элементов.
• Срезы — динамические view: срез хранит указатель, длину и ёмкость. Это lightweight структура, позволяющая изменять представление массива без перемещения самих данных.
• Capacity (ёмкость): параметр, важный для оптимизации. Он показывает, сколько элементов можно добавить до необходимости выделить новую память и выполнить копирование. Это уменьшает накладные расходы и помогает повысить производительность.

Практический контекст

В Go, начиная с версии 1.15+, внутренняя реализация срезов оптимизирована для быстрого выполнения аллокаций и копирования. При обработке больших срезов часто применяют функцию make([]T, length, capacity), чтобы явно задать ёмкость, управлять ростом буфера и сократить число выделений памяти в куче. Это особенно существенно для высоконагруженных серверов с большим throughput, где задержки, связанные с аллокациями, критичны.