undefined и неинициализированная память

Иногда нужно выделить память до того, как появится значение для её заполнения. Для этого в Zig есть ключевое слово undefined.

Запись undefined объявляет привязку, память которой reserved, но пока не содержит осмысленного значения. Вы обещаете заполнить её в ближайшее время.

undefined — это обязательство присвоить настоящее значение до чтения. Если прочитать его раньше, Вы получите garbage — неопределённый шаблон битов.

Классический пример — фиксированный массив, который Вы собираетесь заполнить. Вы задаёте размер buffer, оставляете его undefined, а затем записываете элементы по одному.

В режимах Debug и ReleaseSafe Zig заполняет память undefined байтами 0xAA. Этот заметный шаблон помогает обнаружить случайное чтение раньше времени.

Правило простое: всегда write настоящее значение до чтения привязки undefined. Чтение раньше присваивания — это ошибка, которой Zig помогает Вам избежать.

undefined означает неинициализированную память, а null — намеренно absent значение в optional. Они решают совершенно разные задачи.

Если оставить большой объём памяти undefined, не придётся тратить время на запись ненужных нулей. Это осознанный выбор в пользу performance, а не небрежность.

Поле структуры также может начинаться как undefined, если Вы планируете задать его позже. Суть в честном, явном состоянии uninitialized.

Большинство привязок должны с самого начала содержать настоящее значение. Выбирайте undefined только тогда, когда Вам действительно нужно зарезервировать необработанное storage.

Другие языки могут молча оставлять переменные неинициализированными. Zig делает это explicit, поэтому замысел ясно виден каждому, кто читает код.

Вы пишете var x: i32 = undefined; и читаете x до присваивания. Что Вы сделали?

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