Вывод типов и явное указание типов

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

Если значение однозначно указывает на тип, позвольте Zig infer его. const name = "Ada" явно обозначает текст, поэтому аннотация не нужна.

Чтобы самостоятельно задать тип, напишите colon и тип после имени. Так можно зафиксировать точную разрядность целого числа.

Выведенный целочисленный литерал остаётся comptime_int, пока Вы его не используете. Когда он попадает в подходящее место, Zig приводит его к нужной разрядности.

Иногда одного значения недостаточно. Для var, начинающегося с 0, нужен явный тип, чтобы Zig понял, является ли это u8 или i64.

Простое 3.14 имеет тип comptime_float. Укажите f32 или f64, если точность и объём памяти действительно важны.

Если тип очевиден из контекста, его отсутствие делает clean строки. Добавляйте аннотацию только для большей ясности или когда она обязательна.

Присвойте 5 месту типа u16 — и литерал без лишних действий поместится. Zig безопасно выполняет coercion к объявленному типу, когда это возможно.

В сигнатурах функций и структурах данных типы всегда explicit. Вывод типа удобен локально, но не позволяет пропускать объявления.

Zig не станет молча превращать число с плавающей точкой в целое. Несовпадающие типы вызывают error, сохраняя предсказуемость числового поведения.

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

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