> Какие типы являются ссылочными в Go (Go)

Короткий ответ

В Go ссылочными типами являются: slice, map, channel, pointer, interface, function. Эти типы содержат ссылку на данные, а не сами данные. При присваивании или передаче в функцию копируется ссылка, а не значение, поэтому изменения через одну переменную видны через другую. Важно отличать их от value-типов: struct, array, string, int, bool и других - они копируются целиком.

Подробное объяснение

Ссылочные типы в Go - это типы, которые внутри себя хранят указатель на некую структуру данных в памяти. Формально в Go нет "ссылок" в смысле C++ - все передаётся по значению, но для этих типов копируется именно ссылочная структура (заголовок), а не сами данные.

Полный список:

• Slice - структура из трёх слов: указатель на массив, длина, ёмкость. При копировании slice копируется заголовок, но массив данных общий.
• Map - указатель на хеш-таблицу. Сама таблица не копируется.
• Channel - указатель на структуру канала.
• Pointer - указатель на переменную.
• Interface - структура из двух слов: указатель на тип и указатель на значение.
• Function - указатель на код функции (замыкание).

Важный нюанс: string формально является структурой из указателя и длины, но ведёт себя как value-тип - он иммутабелен, и при присваивании копируется заголовок, но не данные. Однако строки не считаются ссылочными в терминологии Go, потому что их нельзя изменять.

Ещё нюанс: struct, содержащий ссылочные поля, остаётся value-типом - при копировании копируются заголовки слайсов/мап, но не их данные.

На практике

На практике это знание критично для:

• Понимания мутаций: передали slice в функцию, изменили элемент - изменение видно в вызывающем коде.
• Понимания производительности: передача большого slice - это копирование 24 байт, а не всего массива.
• Избегания багов: если скопировать map в переменную и изменить её, оригинал тоже изменится.
• Работы с конкурентностью: map и slice не потокобезопасны, и это связано с их ссылочной природой.

Типичный паттерн - возврат slice из функции: возвращается заголовок, а данные остаются в памяти, пока на них есть ссылки.

Пример кода

GO
package main

import "fmt"

func main() {
    // slice - ссылочный тип
    s1 := []int{1, 2, 3}
    s2 := s1
    s2[0] = 100
    fmt.Println(s1[0]) // 100 - изменение видно через s1

    // map - ссылочный тип
    m1 := map[string]int{"a": 1}
    m2 := m1
    m2["a"] = 200
    fmt.Println(m1["a"]) // 200

    // struct - value-тип, даже если содержит ссылочные поля
    type S struct {
        data []int
    }
    a := S{data: []int{1, 2}}
    b := a
    b.data[0] = 500
    fmt.Println(a.data[0]) // 500 - данные слайса общие
    // но сам заголовок слайса скопирован
    b.data = append(b.data, 3)
    fmt.Println(len(a.data)) // 2 - append не затронул оригинал
}

Как отвечать на собеседовании

Начните с краткого перечисления, затем объясните механику: "в Go всё передаётся по значению, но для ссылочных типов копируется заголовок, а не данные". Приведите пример с мутацией slice или map. Упомяните, что string - не ссылочный тип, несмотря на внутренний указатель. Если спросят про struct - объясните, что struct остаётся value-типом.

Хорошо показать понимание внутреннего устройства: slice - это указатель, длина, ёмкость; interface - тип + значение. Это демонстрирует глубину знаний.

Что проверяет интервьюер

Интервьюер проверяет:

• Базовое понимание модели памяти Go.
• Умение отличать ссылочные типы от value-типов.
• Понимание последствий: мутации, производительность, конкурентность.
• Знание внутреннего устройства основных структур (slice, map, interface).
• Способность объяснить сложное простыми словами.

Для senior-позиции важно не просто перечислить типы, а показать понимание trade-off: почему slice - ссылочный, но append может привести к копированию массива; почему map нельзя копировать; как это влияет на проектирование API.

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

• Называть string ссылочным типом - это неверно, хотя внутри есть указатель.
• Утверждать, что "массивы передаются по ссылке" - массивы это value-типы.
• Путать ссылочность с передачей по ссылке: в Go нет передачи по ссылке, есть передача по значению ссылки.
• Думать, что struct со слайсом внутри ведёт себя как ссылочный тип целиком - это не так, копируется заголовок слайса.
• Забывать, что interface может хранить и value-тип, и ссылочный - поведение зависит от динамического типа.
• Считать, что присваивание map - это копирование данных - это копирование указателя.