Inferência de tipos versus tipos explícitos

Ao vincular um valor, o Zig pode descobrir o tipo por você, ou você pode escrevê-lo explicitamente. Ambas as formas dependem do sistema de tipos forte e estático do Zig.

Se o valor tornar o tipo óbvio, deixe o Zig inferi-lo. const name = "Ada" é claramente texto, portanto nenhuma anotação é necessária.

Para declarar você mesmo um tipo, escreva dois-pontos e o tipo depois do nome. É assim que você fixa a largura exata de um inteiro.

Um literal inteiro inferido torna-se um comptime_int até ser utilizado. Quando chega a uma posição, o Zig o converte para a largura necessária.

Às vezes, o valor sozinho não basta. Uma var que começa em 0 precisa de um tipo explícito para que o Zig saiba se ela é um u8 ou um i64.

Um 3.14 sem tipo é um comptime_float. Anote-o para escolher f32 ou f64 quando a precisão e o tamanho da memória realmente forem importantes.

Quando o tipo é óbvio pelo contexto, omiti-lo mantém as linhas limpas. Anote-o somente quando isso trouxer clareza real ou for necessário.

Atribua 5 a uma posição u16 e o literal caberá silenciosamente. O Zig faz uma conversão segura para o tipo declarado sempre que possível.

Nas assinaturas de funções e nas estruturas de dados, os tipos são sempre explícitos. A inferência é uma conveniência local, não uma forma de ignorar declarações.

O Zig não converterá silenciosamente um número de ponto flutuante em um inteiro. Tipos incompatíveis geram um erro, mantendo previsível o comportamento numérico.

Infira quando o valor falar por si; anote quando o tipo for a informação de que o leitor precisa. A clareza deve orientar a escolha.

Você viu que o Zig pode inferir um tipo a partir de um valor claro, ou que você pode anotá-lo com dois-pontos. Deixe a clareza e os casos obrigatórios decidirem qual usar. 🎯