Что происходит со слайсом в Go при его росте, когда он достигает предела capacity?

Как работает рост слайса

Слайс в Go — это структура из трех полей: указатель на массив, длина и емкость. Когда вы вызываете append и длина становится равна емкости, Go выделяет новый массив большего размера, копирует все элементы из старого массива и обновляет указатель. Это операция O(n), где n — текущая длина слайса.

Стратегия роста зависит от текущей емкости: для слайсов с емкостью менее 256 элементов Go удваивает емкость, для больших — увеличивает примерно на 25%. Это компромисс между памятью и частотой перераспределений.

Пример

s := make([]int, 0, 2)
fmt.Println(cap(s)) // 2
s = append(s, 1, 2)
fmt.Println(cap(s)) // 2
s = append(s, 3)    // рост
fmt.Println(cap(s)) // 4

После третьего append Go выделяет новый массив на 4 элемента, копирует 1, 2, 3 и освобождает старый массив, если на него нет других ссылок.

Практические следствия

• Если вы заранее знаете количество элементов, используйте make с нужной емкостью, чтобы избежать лишних копирований.
• Если на старый массив есть другие ссылки (например, другой слайс), они продолжат указывать на старые данные, что может привести к неожиданному поведению.
• Для больших слайсов рост с коэффициентом 1.25 уменьшает потери памяти, но увеличивает число перераспределений.

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