Inférence de type ou types explicites

Lorsque vous liez une valeur, Zig peut déterminer son type pour vous, ou vous pouvez l’écrire explicitement. Les deux approches reposent sur le système de types statique et strict de Zig.

Si la valeur rend le type évident, laissez Zig le déduire. const name = "Ada" représente clairement du texte, aucune annotation n’est donc nécessaire.

Pour indiquer vous-même un type, écrivez un deux-points, puis le type après le nom. C’est ainsi que vous imposez une largeur entière précise.

Un littéral entier déduit devient un comptime_int jusqu’à son utilisation. Lorsqu’il est affecté à un emplacement, Zig le convertit vers la largeur nécessaire.

Parfois, la valeur seule ne suffit pas. Une var initialisée à 0 a besoin d’un type explicite pour que Zig sache s’il s’agit d’un u8 ou d’un i64.

Un 3.14 nu est un comptime_float. Annotez-le pour choisir f32 ou f64 lorsque la précision et la taille mémoire vous importent réellement.

Lorsque le type est évident d’après le contexte, l’omettre rend les lignes plus claires. Annotez-le uniquement si cela apporte une réelle précision ou si c’est obligatoire.

Affectez 5 à un emplacement u16 et le littéral s’y adapte discrètement. Zig effectue une conversion implicite sûre vers le type déclaré lorsque c’est possible.

Dans les signatures de fonctions et les structures de données, les types sont toujours explicites. La déduction est une commodité locale, pas un moyen d’éviter les déclarations.

Zig ne transformera pas silencieusement un nombre flottant en entier pour vous. Des types incompatibles provoquent une erreur, ce qui rend le comportement numérique prévisible.

Déduisez le type lorsque la valeur parle d’elle-même ; annotez-le lorsque le type constitue l’information dont le lecteur a besoin. La clarté doit guider votre choix.

Vous avez vu que Zig peut déduire un type à partir d’une valeur claire, ou que vous pouvez l’annoter avec un deux-points. Laissez la clarté et les cas obligatoires déterminer votre choix. 🎯