Почему в Zig нет скрытых выделений памяти

В Zig ни одна функция стандартной библиотеки незаметно не получает память в куче. Если коду нужно выделить память, он должен явно это указать. 📦

Любой код, который выделяет память, принимает Allocator как параметр. Память не может появиться, пока Вы не передадите функции инструмент для её создания.

В Zig нет оператора new и сборщика мусора. Ничто не обращается к куче за Вашей спиной, как это происходит во многих языках.

Поскольку выделение памяти видно явно, Вы всегда знаете, откуда она поступает. Это особенно важно для встраиваемых микросхем, ядер и игровых циклов с жёсткими ограничениями.

Функция, которая может выделять память, показывает это в своей сигнатуре: она принимает Allocator и обычно возвращает объединение ошибки с !.

Обычные локальные значения находятся в стеке и не требуют Allocator. Он нужен только когда значение должно пережить функцию или увеличиваться во время выполнения.

Запрос памяти в куче может завершиться ошибкой, поэтому функции выделения возвращают ошибку. Вы должны обработать возможный OutOfMemory и никогда не игнорировать его.

Тот, кто вызывает Allocator, владеет результатом и должен освободить его. Zig никогда не освобождает Вашу память за Вас, поэтому владение всегда ясно.

Поскольку Allocator является параметром, Вы можете менять стратегии, не изменяя логику. В тестах используется один Allocator, а в рабочей программе — другой.

Хорошо написанная библиотека никогда не скрывает выделение памяти. Она принимает Ваш Allocator, поэтому Вы управляете памятью даже внутри чужого кода.

Это правило является частью обещания Zig не иметь скрытого управления потоком. Явное выделение памяти делает программы предсказуемыми и облегчает понимание их работы. ✅

Вы увидели, что в Zig нет скрытых выделений памяти: память поступает только через переданный Вами Allocator, а всё созданное Вами принадлежит Вам и должно быть освобождено. 🎯