Как пройти собеседование по Go: продвинутые вопросы и ответы

Как пройти собеседование по Go: топ вопросов продвинутого уровня

Собеседование на позицию Go-разработчика — это не только проверка синтаксиса. На продвинутом уровне интервьюеры хотят увидеть глубокое понимание конкурентности, управления памятью, работы планировщика и идиом языка. В этой статье мы разберём ключевые вопросы, которые часто задают senior-инженерам, с примерами кода и пояснениями. Материал будет полезен как для подготовки, так и для систематизации знаний.

1. Конкурентность: горутины, каналы и примитивы синхронизации

Go славится своей встроенной поддержкой конкурентности. Интервьюеры почти всегда проверяют, как кандидат понимает разницу между горутинами и потоками ОС, а также умеет ли правильно использовать каналы и sync-пакет.

Вопрос: В чем разница между горутиной и потоком ОС?

Горутина — это легковесный поток, управляемый планировщиком Go (G-M-P модель). Она имеет собственный стек, который начинается с 2-4 КБ и может динамически расти. Поток ОС — это тяжеловесный объект с фиксированным стеком (обычно 1-8 МБ). Тысячи горутин могут работать на одном потоке ОС, что делает их запуск и переключение очень дешёвыми.

Вопрос: Как избежать состояния гонки (data race) при работе с горутинами?

Используйте каналы для передачи данных между горутинами ("Do not communicate by sharing memory; instead, share memory by communicating") или мьютексы (sync.Mutex, sync.RWMutex). Всегда проверяйте код с флагом -race.

var counter int
var mu sync.Mutex

func increment() {
    mu.Lock()
    counter++
    mu.Unlock()
}

Вопрос: Объясните принцип работы select. Что произойдет, если все каналы будут заблокированы?

select позволяет горутине ждать нескольких канальных операций одновременно. Если все каналы заблокированы, select будет ждать до тех пор, пока один из них не станет готов. Если есть default, то он выполнится немедленно, предотвращая блокировку.

select {
case msg := <-ch1:
    fmt.Println("Получено из ch1:", msg)
case ch2 <- "data":
    fmt.Println("Отправлено в ch2")
default:
    fmt.Println("Ни один канал не готов")
}

2. Управление памятью и сборщик мусора (GC)

Для продвинутого уровня важно понимать, как работает аллокация в Go, где размещаются переменные (стек/куча) и как сборщик мусора влияет на производительность.

Вопрос: Как Go решает, разместить переменную на стеке или в куче?

Go использует анализ escape-анализа (escape analysis). Если компилятор может доказать, что переменная не используется после возврата из функции (не "убегает" наружу), она размещается на стеке. Иначе — в куче. Например, возврат указателя на локальную переменную заставляет её "убежать" в кучу.

func createUser() *User {
    u := User{Name: "Alice"}
    return &u // escape в кучу
}

Вопрос: Как работает сборщик мусора в Go? Какие фазы он проходит?

GC в Go — это параллельный, триколорный сборщик мусора (mark-sweep). Он проходит три фазы:

• Mark Setup (STW): короткая остановка мира для включения write barrier.
• Marking: параллельная фаза, помечает живые объекты. Работает вместе с приложением.
• Sweep: очистка неиспользуемой памяти, обычно откладывается.

Время STW (Stop The World) обычно составляет < 500 мкс, что делает Go пригодным для latency-sensitive приложений.

Вопрос: Как уменьшить нагрузку на GC?

• Избегайте частых аллокаций (используйте пулы объектов sync.Pool).
• Переиспользуйте срезы (slices) с помощью slice[:0].
• Увеличьте значение GOGC (по умолчанию 100), чтобы GC запускался реже, но дольше.

3. Интерфейсы, дженерики и type system

Понимание того, как работают интерфейсы в Go — ключевое отличие junior от senior. С выходом Go 1.18 добавились дженерики, и вопросы по ним стали частыми.

Вопрос: Что такое пустой интерфейс (interface{}) и чем он отличается от any?

Начиная с Go 1.18, any — это просто алиас для interface{}. Оба обозначают интерфейс без методов, который может хранить значение любого типа. Однако злоупотреблять ими не стоит — это приводит к потере типобезопасности и часто требует type assertion.

Вопрос: Как устроено внутреннее представление интерфейса в Go?

Интерфейсное значение (например, var r io.Reader) состоит из двух указателей: itab (указатель на таблицу методов) и data (указатель на сами данные). itab содержит тип и список методов, что позволяет динамически диспетчеризировать вызовы.

Вопрос: Напишите дженерик-функцию, которая находит индекс элемента в срезе.

func Index[T comparable](s []T, x T) int {
    for i, v := range s {
        if v == x {
            return i
        }
    }
    return -1
}

// Использование:
fmt.Println(Index([]int{1, 2, 3}, 2)) // 1
fmt.Println(Index([]string{"a", "b"}, "c")) // -1

Ограничение comparable позволяет использовать оператор ==.

4. Планировщик, контексты и продвинутые паттерны

Это вершина знаний для Go-разработчика. Вопросы про планировщик и context показывают, понимает ли кандидат, как Go работает "под капотом".

Вопрос: Объяс