kb · c · language

Ядро языкаThe language core

Указатели, ручное управление памятью, структуры и препроцессор, недоопределённое поведение — то, что делает C ближайшим к железу языком в этой базе знаний и то, ради чего низкоуровневые библиотеки (DPDK, io_uring, RDMA — см. ecosystem) выбирают именно его ABI.Pointers, manual memory management, structs and the preprocessor, undefined behavior — what makes C the closest-to-metal language in this knowledge base, and why low-level libraries (DPDK, io_uring, RDMA — see ecosystem) target its ABI specifically.

Указатели и памятьPointers and memory

Pointer arithmeticарифметика указателей и её пределы — валидно только внутри одного объекта/массива плюс один элемент за концомpointer arithmetic and its limits — valid only within one object/array, plus one element past the endinterview malloc / freeручное управление временем жизни — источник use-after-free, double-free, утечек, которых нет в языках с GC/RAIImanual lifetime management — the source of use-after-free, double-free, and leaks that GC/RAII languages don't have Stack vs heapгде живёт что и почему — автоматическое versus ручное освобождение, стоимость каждогоwhat lives where and why — automatic versus manual deallocation, the cost of each alignment / paddingвыравнивание структур в памяти — напрямую связано с тем, как SBE читает буфер по фиксированным офсетамstruct memory alignment — directly tied to how SBE reads a buffer at fixed offsets

Типы и данныеTypes and data

structs / unions / bit-fieldsкомпозитные типы без инкапсуляции — layout контролируется программистом напрямуюcomposite types with no encapsulation — layout is controlled by the programmer directlyinterview Storage classesstatic/extern/register/_Thread_local — время жизни и видимость, не связанные с типом данныхstatic/extern/register/_Thread_local — lifetime and visibility, decoupled from the data type const / volatileквалификаторы типа — const как контракт компилятора, volatile как запрет оптимизации чтения/записиtype qualifiers — const as a compiler contract, volatile as a ban on read/write optimization

Препроцессор и сборкаPreprocessor and compilation

Macrosтекстовая подстановка до компиляции — мощь и опасность одновременно (double evaluation, отсутствие типов)textual substitution before compilation — power and danger in one (double evaluation, no types) Translation units / linkageвнешняя/внутренняя связность, что видно линкеру — модель компиляции, унаследованная C++external/internal linkage, what the linker sees — the compilation model C++ inherited

UB и безопасностьUB and safety

то, что Rust устраняет статическиwhat Rust eliminates statically

Undefined behaviorsigned overflow, null-разыменование, чтение неинициализированной памяти — компилятор вправе предполагать, что этого не происходитsigned overflow, null dereference, reading uninitialized memory — the compiler is allowed to assume none of it happensinterview Strict aliasingправило, которое ломает наивный каст указателей между типами — обходится через memcpy или union там, где это разрешеноthe rule that breaks naive pointer casts between types — worked around via memcpy or a union where permitted C11 / C17 / C23эволюция стандарта — threads.h, _Generic, атомики, что реально изменилось между версиямиthe standard's evolution — threads.h, _Generic, atomics, what actually changed between versions

статусstatus

Каркас: 4 категории, 13 пунктов. Список тем зафиксирован, страницы фич не написаны. pointers-memory/ и ub-safety/ — фундамент того, почему низкоуровневые библиотеки в ecosystem/ (DPDK, io_uring, RDMA) выбирают чистый C ABI: детерминированный layout памяти без скрытых аллокаций рантайма.Skeleton: 4 categories, 13 entries. The topic list is locked in, feature pages not yet written. pointers-memory/ and ub-safety/ are the foundation for why the low-level libraries in ecosystem/ (DPDK, io_uring, RDMA) target the plain C ABI: deterministic memory layout with no hidden runtime allocation.