- Что такое Go и чем он отличается от других языков программирования?
Go — компилируемый, статически типизированный язык от Google. Отличается простотой синтаксиса, встроенной конкурентностью (goroutines, каналы), быстрой компиляцией в один статический бинарник, автоматической сборкой мусора и богатым стандартным пакетом. В отличие от Java/C#, нет наследования классов и исключений; вместо этого — композиция, интерфейсы по неявной реализации и ошибка как значение.
- Какие преимущества и недостатки у Go?
Плюсы: простота, скорость компиляции, кроссплатформенные статические бинарники, встроенная конкурентность, стабильный ABI на уровне пакета, богатый stdlib, инструменты из коробки (fmt, vet, test). Минусы: ограниченная дженерик-система (появились в Go 1.18, но без метапрограммирования), нет исключений, ограниченные возможности наследования, простая система управления пакетами (модули) без сложных workspaces до недавнего времени.
- Как устроена система типов в Go?
Статическая, сильная типизация. Есть базовые типы (числа, bool, string), составные (array, slice, map, struct, function, channel, pointer, interface). Пользовательские типы объявляются через type. Есть дженерики (параметризованные типы/функции), типовые ограничения (constraints) и интерфейсы с неявной реализацией.
- Что такое zero values в Go?
Значения по умолчанию для переменных при инициализации: 0 для чисел, false для bool, “” для string, nil для ссылочных типов (slice, map, pointer, channel, function, interface). Zero value всегда корректен к использованию, но некоторые операции требуют явной инициализации (например, make для map/channel/slice).
- Как работают указатели в Go?
Указатель хранит адрес значения (*T). Оператор & берёт адрес, * разыменовывает. Нельзя выполнять арифметику указателей. Метод с receiver-ом *T может изменять состояние, а с T — работает с копией.
- Чем отличаются var, := и const?
var — объявление с возможной инициализацией, доступно в любом блоке и на уровне пакета. := — короткое объявление и инициализация только внутри функции. const — постоянные на этапе компиляции для чисел, строк, bool; могут быть типизированные или нетипизированные.
- Какие существуют типы данных в Go?
Числовые (int, uint, размеры, float32/64, complex64/128), логический bool, строка string, указатели, массивы, срезы, карты (map), структуры (struct), функции, интерфейсы, каналы, дженерик-параметры.
- Чем rune отличается от byte?
byte — псевдоним для uint8, хранит один байт. rune — псевдоним для int32, хранит один Unicode кодпоинт. Строка — это неизменяемая последовательность байтов UTF-8, а не rune-ов.
- Что такое slices и чем они отличаются от arrays?
Array — фиксированная длина, часть типа ([3]int). Slice — дескриптор (указатель, длина, ёмкость), указывает на подмассив и динамически растёт через append. Срез — ссылочный тип; копирование среза копирует дескриптор, а не данные.
- Как работает функция append()?
Добавляет элементы в срез. Если хватает capacity — записывает в тот же underlying array; если нет — аллоцирует новый массив (обычно рост ≈×2), копирует данные и возвращает новый срез. Всегда использовать возвращаемое значение: s = append(s, x).
- Что такое map и как он устроен внутри?
map[K]V — хеш-таблица. Внутри — массив бакетов, в бакете хранятся несколько пар ключ-значение и метки хеша. При росте — рехеширование (инкрементальное). Нулевое значение nil непригодно для записи: требуется make(map[K]V) или литерал.
- Как проверить, существует ли ключ в map?
Через «comma ok» идиому: v, ok := m[k]. Если ok == true, ключ существует; иначе v — zero value типа V.
- Чем отличаются nil и пустая строка/массив/срез?
nil применим только к ссылочным типам и означает «нет значения/адреса». Пустая строка “”, пустой массив [0]T{}, пустой срез []T{} — это валидные значения. У пустого среза len=0, а cap может быть 0; nil-срез тоже имеет len=0, но nil указатель внутри.
- Как работает оператор defer?
Откладывает выполнение функции до выхода из текущей функции (включая панический выход). Аргументы вычисляются немедленно, вызов — позже. Полезно для закрытия ресурсов.
- Чем defer отличается от panic и recover?
panic инициирует «панический» выход по стеку с выполнением всех defer. recover перехватывает панику, если вызван внутри отложенной функции. defer — просто механизм отложенного вызова, не связанный с ошибками напрямую.
- В каком порядке выполняются несколько defer?
LIFO — последний объявленный defer выполнится первым.
- Что такое пакеты (packages) и как их использовать?
Единица компиляции и импортов. Директория = пакет (кроме main, формирующего исполняемый файл). Экспортируемые имена начинаются с заглавной буквы. Импорт через import “path”.
- Как работает импорт в Go?
Имя модуля + путь пакета. Управление зависимостями — через Go Modules (go mod init, go get). Можно задавать алиасы: import foo “example.com/x/y”. Пустой импорт (_ “pkg”) — для побочных эффектов (вызова init).
- Что такое init() и зачем он нужен?
Функция пакета, выполняется до main() и после инициализации переменных. Используется для регистрации, проверки окружения, установки глобальных переменных. Может быть несколько init в одном пакете/файле.
- Что такое iota?
Счётчик констант в блоке const, начинается с 0 и увеличивается на 1 в каждой строке. Удобен для перечислений и битовых масок.
- Как устроена обработка ошибок в Go?
Ошибка — это значение типа error. Возвращается как последний результат: v, err := f(). Проверяется явно: if err != nil { … }. Для дополнительного контекста используют обёртки (fmt.Errorf(“…: %w”, err)) и errors.Is/As.
- Чем error отличается от panic?
error — управляемая, ожидаемая ошибка бизнес-логики или окружения; обрабатывается и возвращается вызывающему коду. panic — критическая ситуация (инвариант нарушен), обычно не для обычного потока выполнения; приводит к падению, если не перехвачена recover.
- Как работает fmt.Printf и что означают %s, %d и др.?
Форматированный вывод в стиле printf: %s — строка, %d — десятичное целое, %v — «как есть», %+v — с полями, %#v — Go-литерал, %T — тип, %f — float, %t — bool. Управление шириной/точностью через флаги.
- Чем отличаются new и make?
new(T) выделяет память под T и возвращает *T, заполняя zero value. make инициализирует внутренние структуры ссылочных типов (slice, map, channel) и возвращает сам значение этого типа, готовое к использованию.
