ядро языкаthe language core

Ядро языка GoThe Go language core

Конкурентность на уровне языка (горутины, каналы, select), система типов (интерфейсы, generics), управление ошибками и ресурсами (defer/panic/recover, error handling), внутреннее устройство встроенных типов (слайсы, мапы). Каркас: 23 фичи, страницы ещё не написаны.Language-level concurrency (goroutines, channels, select), the type system (interfaces, generics), error and resource management (defer/panic/recover, error handling), the internals of built-in types (slices, maps). Skeleton: 23 features, pages not yet written.

КонкурентностьConcurrency

Goroutinesлёгкие потоки исполнения, планировщик M:N поверх ОС-потоковlightweight threads of execution, the M:N scheduler on top of OS threadsinterview Channelsбуферизованные и небуферизованные каналы, closed channels, паника при записи в закрытый каналbuffered vs unbuffered channels, closed channels, panicking on a send to a closed channelinterview selectмультиплексирование каналов, default-ветка, паттерн отмены через контекстmultiplexing channels, the default branch, cancellation via contextinterview sync.WaitGroup / sync.Mutexожидание завершения горутин, защита разделяемого состоянияwaiting for goroutines to finish, protecting shared state Data Race Detectorgo run -race — встроенный детектор гонок данных — the built-in data-race detector

Система типовThe type system

Interfacesнеявная реализация (structural typing), пустой интерфейс, type assertionsimplicit satisfaction (structural typing), the empty interface, type assertionsinterview Type Switchswitch v := x.(type) — диспетчеризация по динамическому типу — dispatching on the dynamic type Struct Embeddingкомпозиция вместо наследования, продвижение методов и полейcomposition instead of inheritance, method and field promotioninterview Genericstype parameters, constraints (comparable, ~int) — начиная с Go 1.18 (comparable, ~int) — since Go 1.18interview Zero Valuesу каждого типа есть осмысленное нулевое значение — нет null/undefinedevery type has a meaningful zero value — no null/undefined

Ошибки и управление ресурсамиErrors & resource management

error как значениеas a valueявная проверка ошибок вместо исключений — почему это осознанный выбор дизайнаexplicit error checking instead of exceptions — why this is a deliberate design choiceinterview errors.Is / errors.Asоборачивание ошибок (%w), проверка цепочки ошибокwrapping errors (%w), walking the error chaininterview deferпорядок выполнения (LIFO), типичная ошибка с defer в циклеexecution order (LIFO), the classic defer-in-a-loop mistakeinterview panic / recoverкогда паника оправдана, восстановление на границе горутиныwhen a panic is actually warranted, recovering at a goroutine boundary

Устройство встроенных типовBuilt-in type internals

Sliceslen/cap, разделение подлежащего массива, ловушка append при передаче слайсов, sharing the underlying array, the append-aliasing trapinterview Mapsхеш-таблица без гарантии порядка, небезопасность конкурентной записиa hash table with no ordering guarantee, unsafe for concurrent writesinterview Arrays vsvs Slicesзначение vs ссылка на массив — почему это разные типыvalue semantics vs a view into an array — why these are different types Strings и& RunesUTF-8 по умолчанию, разница между byte и rune при итерации by default, the byte vs rune distinction when iterating

Память и рантаймMemory & the runtime

Escape Analysisкак компилятор решает — стек или куча, go build -gcflags='-m'how the compiler decides stack vs heap, go build -gcflags='-m'interview Garbage Collectorконкурентный трёхцветный сборщик, GOGC, паузы Stop-The-Worldthe concurrent tri-color collector, GOGC, stop-the-world pauses GOMAXPROCSчисло ОС-потоков планировщика, влияние на параллелизмthe number of OS threads the scheduler uses, its effect on parallelism Method Sets и получатели& receiversvalue vs pointer receiver — когда какой выбиратьvalue vs pointer receiver — when to choose whichinterview Modules и видимость& visibilitygo.mod, экспорт через регистр первой буквы, internal-пакеты, export via capitalization, internal packages

статусstatus

Это каркас: 5 подразделов и 23 фичи зафиксированы, страницы ещё не написаны. Метка interview отмечает фичи, которые чаще всего всплывают на технических собеседованиях (goroutines, channels, select, interfaces, struct embedding, generics, error wrapping, defer, slices/maps, escape analysis, method sets).This is a skeleton: 5 subsections and 23 features are locked in, pages not yet written. The interview tag marks the features that come up most often in technical interviews (goroutines, channels, select, interfaces, struct embedding, generics, error wrapping, defer, slices/maps, escape analysis, method sets).