Когда при append происходит реаллокация backing array?

В Go функция append добавляет элементы к срезу (slice). При этом срез содержит указатель на массив (backing array), длину и емкость.

Реаллокация backing array происходит, когда после добавления новых элементов длина среза превышает его текущую емкость. В этом случае создаётся новый массив с увеличенной емкостью, данные копируются в него, и срез начинает ссылаться на этот новый массив.

Пример:

s := make([]int, 0, 2) // длина 0, емкость 2
s = append(s, 1)        // длина 1, емкость 2
s = append(s, 2)        // длина 2, емкость 2
s = append(s, 3)        // длина 3, емкость увеличивается, происходит реаллокация

Таким образом, реаллокация происходит, когда append пытается добавить элемент, а текущий backing array не имеет свободного места (length == capacity). При этом новая емкость обычно увеличивается примерно в 2 раза, чтобы уменьшить количество реаллокаций при последующих append.