Inferencia de tipos frente a tipos explícitos

Al enlazar un valor, Zig puede determinar el tipo por usted o puede escribirlo explícitamente. Ambas opciones se basan en el sólido sistema de tipos estáticos de Zig.

Si el valor deja claro el tipo, permita que Zig lo infiera. const name = "Ada" es claramente texto, por lo que no se necesita ninguna anotación.

Para indicar usted mismo un tipo, escriba dos puntos y el tipo después del nombre. Así puede fijar el ancho exacto de un entero.

Un literal entero inferido se convierte en un comptime_int hasta que lo utiliza. Cuando se asigna a un destino, Zig lo convierte al ancho necesario.

A veces el valor por sí solo no basta. Un var que comienza en 0 necesita un tipo explícito para que Zig sepa si es un u8 o un i64.

Un 3.14 sin tipo es un comptime_float. Anótelo para elegir f32 o f64 cuando la precisión y el uso de memoria sean importantes para usted.

Cuando el tipo es evidente por el contexto, omitirlo mantiene las líneas limpias. Anótelo solo cuando aporte claridad real o sea obligatorio.

Asigne 5 a un destino u16 y el literal encajará sin más. Zig realiza una coerción segura hacia el tipo declarado siempre que puede.

En las firmas de funciones y las estructuras de datos, los tipos siempre son explícitos. La inferencia es una comodidad local, no una forma de omitir declaraciones.

Zig no convertirá silenciosamente un flotante en un entero por usted. Los tipos incompatibles producen un error, lo que mantiene predecible el comportamiento numérico.

Infiera el tipo cuando el valor hable por sí mismo; anótelo cuando el tipo sea la información que el lector necesita. La elección debe guiarse por la claridad.

Ha visto que Zig puede inferir un tipo a partir de un valor claro, o que usted puede anotarlo con dos puntos. Deje que la claridad y los casos obligatorios determinen cuál usar. 🎯