SobesLab логотип SobesLab

Golang: популярные вопросы на собеседовании

Golang: вопросы и ответы для подготовки к собеседованию. Раздел охватывает: синтаксис и типы, горутины и каналы, синхронизацию (mutex/atomic/WaitGroup), контекст и отмену, обработку ошибок, память и сборщик мусора (GC), производительность и профилирование/бенчмарки, модули и сборку, HTTP/gRPC и сеть, тестирование, дженерики.

Всего вопросов: 97

Junior

  1. Какие базовые типы данных есть в Go? Junior
    В Go есть числовые типы (целые int, числа с плавающей запятой float), логический тип bool и строковый тип string.
  2. Как объявлять переменные в Go? Junior
    Переменные объявляются с помощью ключевого слова `var` или через короткое объявление `:=` внутри функции. Например: `var x int = 5` или `x := 5`.
  3. В чем разница между = и := при объявлении переменных? Junior
    Оператор `=` выполняет присвоение уже объявленной переменной, а `:=` одновременно объявляет новую переменную и инициализирует её (и работает только внутри функции).
  4. Можно ли объявить переменную и не использовать её? Junior
    Нет, компилятор Go не позволяет иметь неиспользуемые переменные – при попытке компиляции будет ошибка. Неиспользованное значение можно присвоить `_`, чтобы явно его игнорировать.
  5. Что такое указатель в Go? Junior
    Указатель – это переменная, которая хранит адрес другого значения в памяти. Указатель объявляется как *T (звёздочка перед типом), оператор `&` берет адрес переменной, а `*` позволяет по указателю обратиться к значению.
  6. Что такое структура (struct) в Go? Junior
    Структура – это пользовательский составной тип, который содержит набор полей под одним именем. Struct позволяет объединить разные по типу данные в одной логической единице.
  7. Что такое массив в Go? Junior
    Массив – это последовательность элементов одного типа фиксированной длины. Размер массива задаётся при объявлении, например: `var a [5]int` объявляет массив из 5 целых чисел.
  8. Чем срез (slice) отличается от массива? Junior
    Срез – это динамический последовательный набор элементов (оболочка над массивом). В отличие от массива фиксированной длины, срез не хранит сами данные, а ссылается на секцию базового массива и может изменять свой размер (длину).
  9. Как добавить новый элемент в срез? Junior
    Для этого используется встроенная функция `append`. Например: `s = append(s, value)` добавит элемент в конец среза (если емкости среза недостаточно, будет выделен новый массив).
  10. Как скопировать содержимое одного среза в другой? Junior
    Воспользоваться встроенной функцией `copy(dst, src)`. Она копирует элементы из src в dst и возвращает количество скопированных элементов.
  11. Как удалить элемент из среза? Junior
    Специальной функции нет — удаление достигается созданием нового среза без нужного элемента. Например: `s = append(s[:i], s[i+1:]...)` удалит элемент с индексом i из среза.
  12. Что такое map в Go? Junior
    Map (отображение) — это встроенный ассоциативный массив (словарь), хранящий пары ключ–значение. Ключи должны быть сравнимого типа (например, строки, числа), и по ключу можно быстро получить связанное с ним значение.
  13. Как создать (инициализировать) новый map? Junior
    Использовать встроенную функцию `make`. Например: `m := make(map[string]int)` создаёт пустой словарь с ключами типа string и значениями типа int. Также можно объявить литерал: `m := map[string]int{"key": 1}`.
  14. Как проверить наличие ключа в map? Junior
    Через идиому получения двух результатов. Например: `val, ok := m["key"]` — переменная ok будет true, если ключ присутствует в мапе, и false, если такого ключа нет.
  15. Что вернёт обращение к map по отсутствующему ключу? Junior
    Вернётся нулевое значение типа элементов map без ошибки. Например, для `map[string]int` обращение по несуществующему ключу вернёт 0.
  16. Что произойдёт при добавлении элемента в nil map? Junior
    При попытке записать значение в nil map произойдёт panic во время выполнения (nil map не инициализирован для записи).
  17. Можно ли изменить строку (string) после создания? Junior
    Нет, строки в Go неизменяемы. Чтобы изменить символ в строке, нужно создать новую строку — например, преобразовать строку в срез байтов/рун, поменять нужный элемент и собрать обратно в string.
  18. Чем отличаются типы rune и byte? Junior
    Тип rune является синонимом int32 и обычно используется для представления символов Unicode. Тип byte – синоним uint8, используется для работы с необработанными байтами данных.
  19. Что такое нулевое значение (zero value) в Go? Junior
    Это значение по умолчанию для переменной неинициализированного типа. Например, 0 для чисел, false для bool, "" для строк, а для ссылочных типов (указатели, срезы, map, интерфейсы) – nil.
  20. Какие типы могут содержать значение nil? Junior
    Nil могут принимать только ссылочные типы: указатели, функции, интерфейсы, срезы, map и каналы. Для значений простых типов (числа, строки, bool, структуры) понятие nil не применяется.
  21. Что означает имя, начинающееся с заглавной буквы, в Go-коде? Junior
    Идентификатор, начинающийся с большой буквы, экспортируется из своего пакета (то есть доступен из других пакетов). Имена со строчной буквы являются неэкспортируемыми (видны только внутри своего пакета).
  22. Для чего нужен пакет main в Go? Junior
    Пакет `main` обозначает запускаемое приложение. Функция `main()` внутри пакета main служит точкой входа: с неё начинается выполнение программы при запуске бинарного файла.
  23. Может ли функция в Go возвращать несколько значений? Junior
    Да, в Go функция может вернуть несколько результатов. Для этого в определении функции перечисляется несколько типов возвращаемых значений, например: `func f() (int, string) { ... }`.
  24. Что такое blank-идентификатор `_` и где он используется? Junior
    Символ `_` — это специальный идентификатор для отбрасывания значений. Его используют, когда какое-то возвращаемое функцией значение или переменная не нужны: присваивая значение `_`, мы сообщаем компилятору, что намеренно игнорируем его.
  25. Есть ли в Go перегрузка функций или методов? Junior
    Нет. Каждая функция в Go имеет уникальное имя в своей области, перегрузка (несколько функций с одним именем и разными параметрами) не поддерживается. Также язык не поддерживает перегрузку операторов для пользовательских типов.
  26. Есть ли в Go механизм исключений (try/catch)? Junior
    Нет, классического механизма исключений нет. Вместо этого функции возвращают значение типа error, и разработчик обязан проверить ошибку (`if err != nil`). Для фатальных ошибок можно вызывать panic, которую при необходимости можно перехватить через recover.
  27. Как объединить две строки в одну? Junior
    Для конкатенации строк в Go используется оператор `+`. Например: `"Hello, " + "world"` даст строку "Hello, world". (Также можно использовать fmt.Sprintf или strings.Builder для сложных случаев, но `+` самый простой способ.)
  28. Как получить подстроку из строки в Go? Junior
    В Go можно использовать операцию среза над строкой. Например, `s[2:5]` создаст новую строку, состоящую из байт исходной строки s с индексами от 2 включительно до 5 не включительно. Нужно быть осторожным с границами Unicode: срез по индексам идёт по байтам, а не по символам.
  29. Как сравнить две строки на равенство в Go? Junior
    Строки сравниваются оператором `==` по содержимому лексикографически (посимвольно). Если все символы двух строк совпадают и их длина одинакова, оператор `==` вернет true. Нет необходимости сравнивать строки через какие-либо специальные функции – достаточно использовать `==` и `!=`. (Сравнение идёт именно по тексту, а не по ссылке, так как строки иммутабельны.)
  30. Является ли Go статически типизированным языком или динамически типизированным? Junior
    Go – статически типизированный язык. Это значит, что типы переменных проверяются во время компиляции. Несмотря на наличие пустого интерфейса и отражения, которые дают некоторую динамичность, в основном система типов Go статическая (в отличие, например, от Python или JavaScript).
  31. В Go параметры функций передаются по значению или по ссылке? Junior
    Всегда по значению: в функцию передаётся копия переменной. Поэтому изменения параметров внутри функции не влияют на оригинальные аргументы. Если нужно передать что-то "по ссылке", передают указатель: сам указатель копируется, но он ссылается на исходные данные, позволяя их изменить.

Middle

  1. Что делает оператор `defer` в Go? Middle
    Ключевое слово `defer` откладывает вызов функции до момента, когда окружающая функция завершится. Отложенные таким образом вызовы выполнются даже при панике и обычно используются для гарантированного освобождения ресурсов (выполняются в обратном порядке объявления).
  2. В каком порядке выполняются несколько объявленных defer-вызовов? Middle
    Если в функции зарегистрировано несколько `defer`, они исполнятся в обратном порядке: последний отложенный вызов выполнится первым, а первый — последним (LIFO).
  3. Что такое метод в Go и чем он отличается от функции? Middle
    Метод — это функция с указанным получателем (receiver) – параметром перед списком аргументов, указывающим на тип, к которому привязан метод. Таким образом, методы «принадлежат» определённому типу, в отличие от обычных функций, и позволяют типам реализовывать интерфейсы.
  4. Когда стоит определять метод с указателем-получателем (pointer receiver)? Middle
    Если метод должен изменять состояние объекта (структуры) или избежать копирования больших структур. Указатель-получатель позволяет внутри метода менять поля исходного объекта и не копировать его при каждом вызове.
  5. Есть ли в Go классы и наследование? Middle
    Нет, в Go нет классов и прямого наследования. Вместо этого используется композиция (встраивание структур) и интерфейсы для полиморфизма. Поведение «наследования» достигается тем, что мы можем встроить одну структуру в другую и тем самым переиспользовать её функциональность.
  6. Что такое встраивание (embedded struct) и зачем его используют? Middle
    Встраивание структуры – это включение типа в другую структуру без имени поля. Поля и методы встроенного типа становятся доступными у внешней структуры. Это способ композиции: вместо наследования мы включаем функциональность другого типа, получая к ней прямой доступ.
  7. Что такое интерфейс (interface) в Go? Middle
    Интерфейс определяет набор методов (без реализации). Любой тип, который реализовал (имеет) все методы интерфейса, тем самым удовлетворяет этому интерфейсу. Интерфейсы позволяют писать код, работающий с разными типами, не завися от их конкретной реализации.
  8. Может ли один тип реализовать несколько интерфейсов в Go? Middle
    Да. Реализация интерфейсов не указывается явно — тип просто должен иметь методы, объявленные в интерфейсах. Поэтому если структура имеет набор методов, подходящий под несколько разных интерфейсов, она удовлетворяет им всем.
  9. Как проверить, что тип T удовлетворяет интерфейсу I? Middle
    Неявно это проверяется компилятором. Явно можно совершить присваивание: например, `var _ I = (*T)(nil)`. Если тип *T не реализует интерфейс I (не содержит необходимых методов), то такой код не скомпилируется, сигнализируя о несоответствии.
  10. Что такое пустой интерфейс (interface{})? Middle
    Это интерфейс без методов, который может содержать значение любого типа. Пустой интерфейс используется, когда функция или структура должны работать с произвольными типами данных.
  11. Как из значения типа interface{} получить конкретное значение определенного типа? Middle
    Через утверждение типа (type assertion). Например: `val, ok := x.(int)` пытается извлечь из переменной-интерфейса x значение типа int. Переменная ok будет true, если приведение удалось (и val содержит int), или false, если внутри x был другой тип.
  12. Что такое type switch в Go? Middle
    Это разновидность конструкции switch, которая позволяет выполнить разные действия в зависимости от типа значения в интерфейсе. Запись `switch v := i.(type) { case int: ... }` проверяет реальный тип, хранящийся в интерфейсе i, и выбирает соответствующий case.
  13. Как организовать написание и запуск тестов в Go? Middle
    В Go есть встроенный фреймворк тестирования (пакет testing). Тесты пишутся в файлах с суффиксом `_test.go`, функции тестов имеют вид `func TestXxx(t *testing.T)`. Для запуска тестов используется команда `go test`, которая автоматически найдёт и выполнит все тесты пакета.
  14. Для чего используется инструмент `go fmt`? Middle
    Команда `go fmt` автоматически форматирует исходный код Go в соответствии со стандартами стиля языка. Она поправляет отступы, выравнивает конструкции, облегчая поддержание единого стиля кода в проекте.
  15. Что такое затенение (shadowing) переменных? Middle
    Это ситуация, когда новая переменная объявляется с тем же именем, что и уже существующая во внешней области видимости. В результате внешняя переменная оказывается «затенена» – доступ по этому имени внутри внутренней области будет относиться к новой переменной, скрывая внешнюю.
  16. Поддерживает ли Go дженерики (обобщённые типы)? Middle
    Да, начиная с версии Go 1.18 язык поддерживает обобщённое программирование. Можно объявлять функции и типы с параметрами типа (generics), что позволяет писать универсальный код для разных типов, сохраняя статическую типизацию.
  17. Что такое Go Modules и зачем они нужны? Middle
    Go Modules – это система управления зависимостями, введённая начиная с Go 1.11. Вместо старого GOPATH, проект становится модулем с файлом `go.mod`, где указано имя модуля и версии его зависимостей. Модули позволяют явно задавать зависимости и версионировать их, упрощая сборку проектов.
  18. Для чего предназначены переменные окружения GOROOT и GOPATH? Middle
    GOROOT указывает на директорию, где установлена Go (и находится стандартная библиотека). GOPATH – это рабочая директория для исходников и зависимостей Go (в режиме до модулей). Сейчас при использовании модулей GOPATH в основном используется как кеш для загруженных зависимостей.
  19. Как скомпилировать и запустить Go-приложение? Middle
    Команда `go build` компилирует пакет (по умолчанию создавая бинарный файл в текущей директории), а `go run` компилирует и сразу запускает указанный исходный файл(ы). Для управления зависимостями и сборки многомодульных проектов также применяется `go mod` (инициализация, tidy и пр.).
  20. Гарантирован ли порядок обхода элементов в map при итерации? Middle
    Нет, при переборе map с помощью range ключи возвращаются в неопределённом порядке. Порядок не фиксируется и может различаться при каждом запуске программы. На него нельзя полагаться (если нужен отсортированный порядок – нужно отдельно сортировать ключи).
  21. Как устроен срез (slice) внутри себя? Middle
    Срез в Go – это структура, содержащая три значения: указатель на базовый массив, длину среза (len) и емкость массива (cap). Эти поля можно получить с помощью встроенных функций len(s) и cap(s).
  22. Что показывают len и cap у среза? Middle
    len(s) возвращает текущее количество элементов в срезе, а cap(s) – емкость (максимальное количество элементов, которое можно разместить в срезе без выделения нового массива). Емкость всегда >= длины.
  23. Можно ли сравнить два среза на равенство через `==`? Middle
    Нет, напрямую сравнивать срезы оператором `==` нельзя (можно сравнивать срез только с nil). Для проверки равенства содержимого срезов нужно сравнить элементы в цикле или использовать специальную функцию (например, bytes.Equal для срезов байтов).
  24. Как конвертировать срез байт []byte в строку и наоборот? Middle
    В Go это делается явным приведением: `str := string(byteSlice)` создаст строку из среза байт, а `data := []byte(str)` – срез байт из строки. Такое преобразование выделяет новую память для результата.
  25. Что такое panic и как с ней работать? Middle
    Panic – это состояние аварийного завершения выполнения (например, при критической ошибке). Вызывая `panic(err)`, мы прерываем нормальный поток выполнения; начинается раскрутка стека (как исключение). Чтобы перехватить паническую ситуацию, используют функцию `recover()` внутри defer: она возвращает значение, переданное в panic, и позволяет продолжить работу программы.
  26. Что такое замыкание (closure) в Go? Middle
    Замыкание — это функция (как правило, анонимная), которая захватывает и использует переменные из внешней области видимости, в которой она объявлена. Даже после выхода из этой внешней функции замыкание продолжает иметь доступ к сохраненным значениям этих переменных.
  27. Что произойдёт при делении целого числа и числа с плавающей точкой на ноль? Middle
    Целочисленное деление на 0 приведёт к панике во время выполнения (runtime error), потому что операция неопределена. Деление же числа с плавающей запятой на 0 не вызывает паники: по стандарту IEEE 754 результатом будет специальное значение +Inf или -Inf (бесконечность) в зависимости от знака делимого.
  28. Что будет, если в функции объявить переменную с тем же именем, что и глобальная (внешняя)? Middle
    Внутри функции можно объявить переменную с тем же именем, что и глобальная – она "затенит" (override) глобальную в этой области видимости. Внешняя переменная останется неизменной, просто к ней нельзя обратиться, пока используется локальная с тем же именем. По выходе из блока локальная переменная исчезнет, и глобальная снова станет видна.
  29. Можно ли внутри функции создать блок кода в фигурных скобках без условия или цикла? Зачем это нужно? Middle
    Да, в Go допускаются вложенные блоки кода просто для ограничения области видимости. Можно открыть фигурные скобки `{ ... }` внутри функции, объявить там переменные – эти переменные будут существовать только внутри этого блока. Это используют, чтобы ограничить "время жизни" временных переменных или избежать конфликтов имён.
  30. Что такое идентификатор `iota` в Go? Middle
    iota – это предопределённый идентификатор (константа-счетчик), используемый при объявлении блоков констант. В каждом новом блоке `const` iota начинается с 0 и автоматически увеличивается на 1 для каждой следующей константы, если явно не задано другое значение. iota удобен для создания последовательных значений констант (например, перечеслений).
  31. Как определить собственный тип ошибки (custom error) в Go? Middle
    Нужно объявить новый тип (например, структуру) и реализовать для него метод `Error() string`. После этого экземпляры этого типа удовлетворяют интерфейсу `error` и могут использоваться как ошибки. Например, можно сделать type MyError string и определить func (e MyError) Error() string, возвращающий строку – этого достаточно, чтобы MyError стал ошибкой.
  32. Позволяет ли Go объявлять перечисления (enum)? Middle
    В Go нет встроенного перечислимого типа (enum). Обычно создают набор констант с помощью `iota`. Например, объявляют тип `Status int` и константы `StatusOK`, `StatusWarn`, `StatusError` как последовательность через iota – таким образом этим именам присваиваются последовательно значения 0, 1, 2 и т.д.
  33. Для чего используется утилита `go vet`? Middle
    Команда `go vet` производит статический анализ кода, выявляя подозрительные места и потенциальные ошибки. Она проверяет шаблоны форматирования (printf), неиспользованные результаты вызовов, бесполезные сравнения и другие типичные ошибки, которые не ловит компилятор, и выводит предупреждения, если что-то выглядит некорректно.
  34. Можно ли напрямую проверить, равны ли два словаря (map) между собой? Middle
    Нет, напрямую сравнить два map оператором == нельзя (можно только сравнить с nil). Чтобы проверить равенство содержимого двух map, нужно самостоятельно сравнить количество элементов и пройти по всем ключам, проверяя совпадение значений. Это требует написать цикл или использовать вспомогательные функции.
  35. Какие типы нельзя сравнивать оператором `==` напрямую? Middle
    Нельзя сравнивать значения типа slice, map и функции (их можно сравнивать только с nil). Также структура не сравнима, если содержит несравнимое поле. Все прочие встроенные типы (числа, bool, строки, указатели, интерфейсы, channel) могут сравниваться оператором == (при условии, что оба операнда одного типа).
  36. Какие типы могут использоваться в качестве ключей в map? Middle
    Ключом может быть любой тип, который можно сравнивать с помощью `==` (компарабельный тип). Это численные типы, строки, булевы, указатели, каналы, а также структуры/массива, если их поля (или элементы) сравнимы. Нельзя использовать в качестве ключа slice, map, функцию (они несравнимы).
  37. Как правильно сравнить содержимое двух срезов на равенство? Middle
    Прямой оператор == для срезов недоступен, поэтому нужно сравнить элементы вручную. Самый надёжный способ – написать цикл, проверяющий длину срезов и равенство соответствующих элементов. Для срезов байт допускается использовать `bytes.Equal(slice1, slice2)`. Также можно воспользоваться `reflect.DeepEqual`, но он работает медленнее и не рекомендуется в критичных участках.
  38. Что означает `...` (троеточие) при объявлении параметров функции и при вызове функции? Middle
    В объявлении функции `...` указывает вариативный параметр. Например, `func sum(nums ...int)` позволяет передать любое количество int аргументов. Внутри функции nums будет срезом. При вызове функции `...` позволяет развернуть срез в отдельные аргументы: если есть slice `ints`, вызов `sum(ints...)` передаст элементы среза как отдельные аргументы функции sum.

Senior

  1. Как работает сборщик мусора (Garbage Collector) в Go? Senior
    В Go используется конкурентный гарбидж-коллектор с алгоритмом маркирования и очистки (tri-color mark-and-sweep). Он работает параллельно с приложением, минимизируя паузы: сначала помечает доступные объекты, затем освобождает память от неиспользуемых. GC автоматически управляет памятью, освобождая программиста от ручного её очищения.
  2. Как снизить задержки от работы сборщика мусора в производительных приложениях? Senior
    Минимизировать количество короткоживущих аллокаций: переиспользовать объекты (например, через sync.Pool), заранее задавать ёмкость slice/map, по возможности работать со структурами вместо указателей (уменьшая нагрузку на GC). Также можно настроить переменную окружения GOGC, чтобы реже запускать сборщик (увеличивая порог объёма мусора).
  3. Что такое escape analysis в Go? Senior
    Это анализ, выполняемый компилятором, чтобы определить, должна ли переменная размещаться в куче или на стеке. Если переменная "убегает" за пределы своей области видимости (например, возвращается из функции), то компилятор помещает её в кучу. Благодаря escape analysis многие временные объекты остаются на стеке, что улучшает производительность и снижает нагрузку на GC.
  4. Почему считается, что "встраивание не равно наследование" в Go? Senior
    Встраивание (embedding) предоставляет композицию, но не создает иерархию типов, как классическое наследование. Встроенный тип не может переопределить методы "родителя" и не поддерживает полиморфизм сам по себе – для полиморфного поведения в Go используются интерфейсы. Таким образом, embedding даёт повторное использование кода, но не образует отношения подтип-суперкласс.
  5. Каковы основные преимущества языка Go? Senior
    Go компилируется в машинный код, поэтому работает быстро, сопоставимо с C. Язык прост в освоении (мало синтаксического "шума"), при этом имеет мощные средства конкурентности (goroutines, каналы), что облегчает написание параллельных программ. Также отмечают быструю компиляцию, автоматическое управление памятью (сборщик мусора) и обширную стандартную библиотеку для решения многих задач из коробки.
  6. Какие недостатки и ограничения есть у Go? Senior
    До версии 1.18 в Go не было обобщённых типов (generics), что усложняло написание универсальных структур данных (приходилось использовать interface{}). В языке нет классов и наследования, из-за чего архитектуру проектируют иначе. Сборщик мусора хотя и эффективен, но всё же накладывает накладные расходы. Также Go намеренно ограничен в синтаксических возможностях (нет исключений, операторов перегрузки и др.), что упрощает язык, но снижает гибкость в некоторых случаях.
  7. Как реализованы ограничения (constraints) в дженериках Go? Senior
    Ограничения в обобщённых типах задаются через интерфейсы. В Go 1.18 появились специальные интерфейсы для ограничений, например `comparable` (встроенный constraint для типов, поддерживающих ==). При объявлении дженерика указывается интерфейс-ограничение для параметра типа, и компилятор позволяет использовать с этим типом только операции, определённые в этом интерфейсе.
  8. Как реализованы map в Go под капотом? Senior
    Map реализован как хеш-таблица с открытой адресацией посредством бакетов. Память для элементов организована в массив бакетов, каждый из которых хранит несколько пар ключ-значение и дополнительные метаданные. При увеличении количества элементов хеш-таблица автоматически расширяется (ре-хеширование). Операции поиска, вставки и удаления выполняются амортизированно за O(1) в среднем.
  9. Как изменяется емкость динамического массива при росте среза? Senior
    Алгоритм роста среза динамический: при использовании append, если ёмкость среза исчерпана, создаётся новый массив большего размера. Для небольших размеров обычно ёмкость удваивается, а при больших объёмах рост происходит менее агрессивно (коэффициент роста снижается). Это позволяет добиться баланса между частотой аллокаций и перерасходом памяти.
  10. Каков размер пустой структуры struct{} и зачем она может использоваться? Senior
    Пустая структура не содержит полей и занимает 0 байт памяти. Её применяют, когда нужно обозначить наличие значения без хранения данных – например, в качестве типов-меток или для экономичного использования как значение в map (set) или канал для сигнализации (закрытие канала).
  11. В чем недостатки использования рефлексии (reflect) в Go? Senior
    При работе через пакет reflect теряется статическая типобезопасность (ошибки проявятся только во время выполнения). Кроме того, операции рефлексии выполняются медленнее прямых вызовов, что может снизить производительность. Код с reflect сложнее для понимания и поддержки, поэтому его используют только при необходимости динамической работы с типами.
  12. Для чего предназначен пакет unsafe? Senior
    Пакет unsafe предоставляет небезопасные низкоуровневые операции, такие как произвольное приведение указателей к другим типам или к uintptr, получение адреса поля в структуре и т.п. С помощью unsafe можно обходить типовую безопасность Go (например, для оптимизаций или взаимодействия с Си-кодом), но использование этого пакета сопряжено с риском нарушить работу сборщика мусора и целостность памяти, поэтому применять его нужно очень осторожно.
  13. Почему interface{} со значением nil внутри не равен nil? Senior
    Потому что интерфейсное значение в Go состоит из двух частей: конкретного типа и указателя на данные. Если переменной interface{} присвоен nil указатель какого-то типа (например, *MyStruct(nil)), сам интерфейс не равен nil — в нём сохранена информация о типе. Интерфейс считается nil-только когда в нём не задан ни тип, ни значение.
  14. Когда вычисляются аргументы функций, переданных в defer? Senior
    Аргументы вычисляются сразу в момент исполнения инструкции `defer`, а не в момент фактического вызова отложенной функции. То есть отложенная функция получит копии значений, зафиксированные на этапе, когда defer был объявлен.
  15. Что произойдет при вызове recover вне отложенной функции? Senior
    Если вызвать recover не внутри defer, она всегда вернёт nil. Recover способен перехватывать panic только когда вызван внутри отложенной функции, выполняющейся в ходе паники.
  16. Как завершить выполнение программы без выполнения отложенных функций? Senior
    Для немедленного завершения программы (без выполнения defer) используется `os.Exit(code)`. Эта функция мгновенно завершает процесс с указанным кодом выхода, минуя очистку стеков вызовов и не вызывая отложенных функций.
  17. Чем отличается panic от os.Exit()? Senior
    При `panic` происходит раскрутка стека: выполняются все отложенные функции, и при наличии recover можно перехватить панику. Вызов же `os.Exit()` мгновенно завершает процесс без выполнения defer и без возможности перехвата – программа просто прекращается с заданным кодом.
  18. Как очистить все содержимое словаря (map)? Senior
    Начиная с Go 1.21 для этого добавлена встроенная функция `clear(m)`, которая эффективно удаляет все элементы map. До появления `clear` приходилось либо присваивать новой пустой map (m = make(...)), либо удалять все ключи в цикле `for k := range m { delete(m, k) }`.
  19. Как представлено значение интерфейсного типа (interface) в памяти? Senior
    Внутренне interface-value состоит из двух указателей: один на таблицу методов/описание типа, второй – на данные конкретного значения (или саму копию значения, если оно помещается в два машинных слова). Поэтому пустой интерфейс занимает 16 байт (на 64-битной системе) и хранит информацию о динамическом типе и самих данных.
  20. Можно ли в Go работать с очень большими числами (выходящими за пределы int64)? Senior
    Да, для этого существует пакет `math/big`, предоставляющий типы big.Int, big.Float и big.Rat для работы с целыми, вещественными и рациональными числами произвольной точности. Эти типы позволяют выполнять арифметику без переполнения, но операции с ними происходят медленнее встроенных числовых типов.
  21. Гарантируется ли порядок вычисления аргументов функции в Go? Senior
    Да, порядок вычисления аргументов строго определён: выражения вычисляются слева направо. Это отличается от некоторых других языков, где порядок может быть не определён. Поэтому в Go можно уверенно полагаться на порядок вычисления аргументов при вызове функции.
  22. Оптимизирует ли компилятор Go хвостовую рекурсию (tail call optimization)? Senior
    Нет, компилятор Go не гарантирует оптимизацию хвостовых вызовов. Рекурсивные функции не преобразуются автоматически в циклы, поэтому чрезмерно глубокая рекурсия может привести к переполнению стека. При необходимости приходится преобразовывать хвостовую рекурсию в итерацию вручную.
  23. Как ограничить компиляцию Go-файла для определённой операционной системы или архитектуры? Senior
    С помощью билд-тегов (build tags). В начале файла указывают комментарий с тегом, например `//go:build windows` (и соответствующий старый формат `// +build windows`). Такой файл будет включён в сборку только при компиляции для Windows. Это позволяет писать платформоспецифичный код.
  24. Что произойдёт, если структура одновременно встраивает (embed) два разных типа, у которых есть методы с одинаковыми именами? Senior
    Такой код не скомпилируется. Внешняя структура получит два метода с одинаковой сигнатурой (через вложенные поля), что создаёт неоднозначность. Компилятор выдаст ошибку о конфликте (ambiguous selector), так как непонятно, какой метод вызывать через экземпляр внешней структуры.
  25. Для чего используется blank import (импорт с "_")? Senior
    Blank import, записываемый как `import _ "package"`, используется чтобы подключить пакет только для выполнения его побочных эффектов (например, регистрации драйвера в init()). Код пакета не используется напрямую, но его init-функции выполнятся. Такой импорт обычно нужен, чтобы инициализировать что-то в пакете без явного обращения к нему.
  26. Можно ли вызывать метод с pointer-приемником на значении структуры и наоборот? Senior
    Да, компилятор Go делает необходимое преобразование автоматически, если это возможно. Если у *T есть метод, его можно вызвать на значении T – Go неявно возьмёт адрес. И наоборот, если у T есть метод, его можно вызвать через *T – Go разыменует указатель. Например, если `t` это T, то `tPtr.MethodVal()` и `tVal.MethodPtr()` будут работать (если tPtr *T, а MethodVal определён для T, MethodPtr для *T). Исключение – если значение не адресуемо, взять адрес не получится.
  27. Что позволяет сделать пакет embed (директива `//go:embed`)? Senior
    Пакет embed и специальная директива `//go:embed` позволяют встраивать содержимое файлов (текстовые, бинарные данные) в исполняемый бинарник на этапе компиляции. С помощью этой директивы можно, например, включить статичные HTML шаблоны, изображения или другие ресурсы внутрь программы, а затем читать их через типы `embed.FS`, `string` или `[]byte`.
  28. Что означают символы `~` и `|` при описании ограничений обобщённого типа в Go? Senior
    Символ `~` в интерфейсе-constraint означает "тип с базовым типом...". Например, `~int` включает `int` и все типы, созданные на основе int. Символ `|` используется для перечисления нескольких типов (объединение). Например, `int | int32` в ограничении означает, что допускается либо int, либо int32. Эти возможности позволяют гибко задавать набор допустимых типов для параметра типа.