Слайс — заголовок из трёх слов

Что такое слайс

// упрощённо, как слайс устроен внутри:
type slice struct {
    ptr  unsafe.Pointer // указатель на подлежащий массив
    len  int            // сколько элементов видно
    cap  int            // сколько места есть, начиная с ptr
}

len — количество элементов слайса, cap — ёмкость подлежащего массива. Присваивание и передача в функцию копируют только эти три слова, а не данные.

Данные общие

alias и ids — два заголовка на один массив. Изменение через alias видно через ids. Это отличает слайс от массива, который при присваивании копируется целиком.

Nil и пустой слайс

У слайса два «пустых» состояния:

var a []int         // nil: len 0, cap 0, ptr nil
b := []int{}        // пустой, но не nil
c := make([]int, 0) // тоже не nil

Все три имеют длину ноль и одинаково работают с append и len. Разница — в проверке a == nil и в сериализации: json.Marshal даст null для nil-слайса и [] для пустого. append к nil-слайсу — легальный способ строить слайс с нуля.