Когда указатели Go разыскивают себя

Я только недавно начал погружаться в Go, и у меня есть одна основная точка смятения: я изо всех сил пытаюсь понять, когда именно нужно явно разыменовать указатель.

Например, я знаю, что оператор . будет обрабатывать разыменование указателя

ptr := new(SomeStruct)
ptr.Field = "foo" //Automatically dereferences

В каких других сценариях это делается? Кажется, например, с массивами.

ptr := new([5][5]int)
ptr[0][0] = 1

Мне не удалось найти это в спецификации, раздел для указателей очень короткий и даже не касается разыменования. Любое разъяснение правил разыменования go-указателей было бы здорово!

Ответ 1

выражение селектора (например, x.f) делает следующее:

Селекторы автоматически указатели разыменования для структур. Если x является указателем на структуру, x.y является сокращением для (*x).y; если поле y также является указателем на структуру, x.y.z является сокращение для (*(*x).y).z и т.д. Если x содержит анонимное поле типа *A, где A также является структурным типом, x.f является ярлыком для (*x.A).f.

Определение операции индексирования указывает, что указатель массива может быть проиндексирован:

Для a типа A или *A, где A - тип массива, или для a типа S, где S - тип среза