Указатели

Указатели в Go — операторы `&` и `*`, семантика передачи по значению против ссылки, нулевой указатель и когда указатель действительно нужен.

Открыть тему в роадмапе →

6 вопросов

JuniorТеорияОчень часто

Что выведет программа?

1 20 30

Открыть задачу →

Типичные ошибки

✗Ждать 10 20 30: Go передаёт все аргументы по значению, поэтому n — копия a, и запись в неё оставляет a равным 1.
✗Ждать 1 20 3: заголовок среза копируется, но копия указывает на тот же массив, поэтому s[0] = 30 видно в main.

Уточняющие вопросы

→Почему append к срезу внутри функции иногда не виден снаружи?
→Чем метод с указательным получателем отличается здесь от метода со значением?

JuniorТеорияЧасто

Что делают операторы `&` и `*` с указателями в Go?

&x берёт адрес x и возвращает указатель типа *T. *p разыменовывает указатель, чтобы прочитать или записать значение, на которое он указывает. Нулевое значение указателя — nil, то есть он пока ни на что не указывает. В Go нет арифметики указателей — нельзя прибавлять или вычитать из указателя так, как позволяет C.

Типичные ошибки

✗Путать операторы — думать, что & разыменовывает, а * берёт адрес
✗Ожидать, что арифметика указателей в стиле C работает с указателем Go
✗Забывать, что нулевое значение указателя — nil, а не нулевой адрес

Уточняющие вопросы

→Чем *T в типе отличается от *p в выражении?
→Почему Go намеренно не включает арифметику указателей?

JuniorТеорияЧасто

Что выведет программа?

5 1

Открыть задачу →

Типичные ошибки

✗Ждать, что x останется 1: p := &x хранит адрес x, а не копию, поэтому *p = 5 пишет в сам x.
✗Ждать, что y изменится вслед за x: y := *p копирует значение 1, на которое p указывает в этот момент, и y остаётся 1.

Уточняющие вопросы

→Что напечатает программа, если вместо y := *p написать p = &y?
→Какой тип у p и почему в нём нельзя хранить адрес string?

JuniorТеорияЧасто

Что произойдёт при сборке и запуске программы?

Паника: runtime error: invalid memory address or nil pointer dereference

Открыть задачу →

Типичные ошибки

✗Ждать 0, как при чтении отсутствующего ключа map: *p читает int по адресу из p, а за nil-указателем нет никакого int, поэтому программа паникует.
✗Ждать <nil>: так напечатал бы fmt.Println(p); *p просит значение за указателем, а не сам указатель.

Уточняющие вопросы

→Как изменить программу, чтобы она напечатала 0 без паники?
→Как функции защититься от переданного ей nil-указателя?

JuniorТеорияЧасто

Что происходит при разыменовании nil-указателя в Go?

Разыменование nil-указателя вызывает runtime-панику: invalid memory address or nil pointer dereference. nil — нулевое значение любого указателя, поэтому неприсвоенный указатель хранит nil, пока вы не направите его куда-либо. Защищайтесь через if p != nil перед чтением *p или перехватывайте панику на границе. Тихого чтения нуля, как может дать C, здесь нет.

Типичные ошибки

✗Ожидать тихого чтения нулевого значения вместо паники
✗Думать, что разыменование nil ловится на этапе компиляции
✗Пропускать защиту if p != nil перед чтением *p

Уточняющие вопросы

→Как recover может превратить панику nil-указателя в обработанную ошибку?
→Почему nil-указатель конкретного типа может лежать внутри ненулевого интерфейса?

MiddleТеорияЧасто

Когда функция должна принимать указатель, а не значение в Go?

Берите *T, когда функция должна изменить значение вызывающего или чтобы избежать копирования большой структуры при каждом вызове. Для маленьких неизменяемых данных предпочитайте значение — это держит API безопасным по копии, так что вызываемый не может изменить состояние вызывающего. Передача указателя также позволяет вызываемому видеть nil как «отсутствует», чего параметр-значение выразить не может.

Типичные ошибки

✗Брать указатели по умолчанию везде и терять безопасность копии у параметров-значений
✗Считать, что параметр-значение может изменить вызывающего без указателя
✗Упускать, что только параметр-указатель может нести nil как «отсутствует»

Уточняющие вопросы

→Как этот принцип переносится на выбор получателя метода — значение против указателя?
→При каком размере структуры стоимость копии начинает реально иметь значение на практике?

Ответь сам — Quiz

Все темы

Указатели

Открыть тему в роадмапе →

6 вопросов

JuniorТеорияОчень часто

Что выведет программа?

1 20 30

Открыть задачу →

Типичные ошибки

✗Ждать 10 20 30: Go передаёт все аргументы по значению, поэтому n — копия a, и запись в неё оставляет a равным 1.
✗Ждать 1 20 3: заголовок среза копируется, но копия указывает на тот же массив, поэтому s[0] = 30 видно в main.

Уточняющие вопросы

→Почему append к срезу внутри функции иногда не виден снаружи?
→Чем метод с указательным получателем отличается здесь от метода со значением?

JuniorТеорияЧасто

Что делают операторы `&` и `*` с указателями в Go?

Типичные ошибки

✗Путать операторы — думать, что & разыменовывает, а * берёт адрес
✗Ожидать, что арифметика указателей в стиле C работает с указателем Go
✗Забывать, что нулевое значение указателя — nil, а не нулевой адрес

Уточняющие вопросы

→Чем *T в типе отличается от *p в выражении?
→Почему Go намеренно не включает арифметику указателей?

JuniorТеорияЧасто

Что выведет программа?

5 1

Открыть задачу →

Типичные ошибки

✗Ждать, что x останется 1: p := &x хранит адрес x, а не копию, поэтому *p = 5 пишет в сам x.
✗Ждать, что y изменится вслед за x: y := *p копирует значение 1, на которое p указывает в этот момент, и y остаётся 1.

Уточняющие вопросы

→Что напечатает программа, если вместо y := *p написать p = &y?
→Какой тип у p и почему в нём нельзя хранить адрес string?

JuniorТеорияЧасто

Что произойдёт при сборке и запуске программы?

Паника: runtime error: invalid memory address or nil pointer dereference

Открыть задачу →

Типичные ошибки

✗Ждать 0, как при чтении отсутствующего ключа map: *p читает int по адресу из p, а за nil-указателем нет никакого int, поэтому программа паникует.
✗Ждать <nil>: так напечатал бы fmt.Println(p); *p просит значение за указателем, а не сам указатель.

Уточняющие вопросы

→Как изменить программу, чтобы она напечатала 0 без паники?
→Как функции защититься от переданного ей nil-указателя?

JuniorТеорияЧасто

Что происходит при разыменовании nil-указателя в Go?

Типичные ошибки

✗Ожидать тихого чтения нулевого значения вместо паники
✗Думать, что разыменование nil ловится на этапе компиляции
✗Пропускать защиту if p != nil перед чтением *p

Уточняющие вопросы

→Как recover может превратить панику nil-указателя в обработанную ошибку?
→Почему nil-указатель конкретного типа может лежать внутри ненулевого интерфейса?

MiddleТеорияЧасто

Когда функция должна принимать указатель, а не значение в Go?

Типичные ошибки

✗Брать указатели по умолчанию везде и терять безопасность копии у параметров-значений
✗Считать, что параметр-значение может изменить вызывающего без указателя
✗Упускать, что только параметр-указатель может нести nil как «отсутствует»

Уточняющие вопросы

→Как этот принцип переносится на выбор получателя метода — значение против указателя?
→При каком размере структуры стоимость копии начинает реально иметь значение на практике?

Ответь сам — Quiz

Указатели

Что выведет программа?

Типичные ошибки

Уточняющие вопросы

Что делают операторы & и * с указателями в Go?

Типичные ошибки

Уточняющие вопросы

Что выведет программа?

Типичные ошибки

Уточняющие вопросы

Что произойдёт при сборке и запуске программы?

Типичные ошибки

Уточняющие вопросы

Что происходит при разыменовании nil-указателя в Go?

Типичные ошибки

Уточняющие вопросы

Когда функция должна принимать указатель, а не значение в Go?

Типичные ошибки

Уточняющие вопросы

Указатели

Что выведет программа?

Типичные ошибки

Уточняющие вопросы

Что делают операторы & и * с указателями в Go?

Типичные ошибки

Уточняющие вопросы

Что выведет программа?

Типичные ошибки

Уточняющие вопросы

Что произойдёт при сборке и запуске программы?

Типичные ошибки

Уточняющие вопросы

Что происходит при разыменовании nil-указателя в Go?

Типичные ошибки

Уточняющие вопросы

Когда функция должна принимать указатель, а не значение в Go?

Типичные ошибки

Уточняющие вопросы

Что делают операторы `&` и `*` с указателями в Go?

Что делают операторы `&` и `*` с указателями в Go?