Как работает append в Go

append смотрит на ёмкость. Если len < cap, он кладёт элемент в следующий свободный слот того же массива и возвращает заголовок с len на единицу больше. Если места нет, рантайм (growslice) выделяет новый массив: для маленьких слайсов примерно вдвое больше, после порога в 256 элементов рост плавнее, около 1.25x плюс константа, и итог округляется до класса размера аллокатора. Старые элементы копируются, и с этого момента новый слайс живёт отдельно от старого. Поэтому результат всегда присваивают: заголовок может быть другим и по указателю, и по len. Отсюда же баги: два подслайса одного массива при append перезаписывают друг друга, пока есть ёмкость. Лечится полным срезом a[i:j:j] или копированием. Если размер известен, делаю make([]T, 0, n), чтобы не было промежуточных аллокаций и копий. append к nil-слайсу работает как к пустому.