Синтаксис указателей

Три элемента синтаксиса

*T — тип «указатель на T», &x — взять адрес переменной x, *p — разыменовать, то есть достать значение по адресу.

*p с левой стороны от присваивания — это та самая переменная size, доступ к ней через адрес. Указатель — способ добраться до чужих данных; сами данные при этом никуда не копируются. Для «Полки» T — это *FileMeta: указатель на запись о файле.

Nil-указатель

Нулевое значение указателя — nil. Неинициализированный указатель ни на что не смотрит:

var meta *FileMeta
fmt.Println(meta) // <nil>

Разыменовать nil нельзя: это паника времени выполнения, а не ошибка компиляции.

var meta *FileMeta
*meta = FileMeta{} // panic: runtime error: invalid memory address or nil pointer dereference

Компилятор не умеет отслеживать, откуда взялся nil: указатель мог остаться неинициализированным, поле структуры могли забыть заполнить, карта могла не содержать ключ, функция могла вернуть nil как признак «не найдено». Поэтому указатели проверяют на nil перед использованием — там, где nil действительно возможен.