Funções que recebem um tipo

O Zig não tem uma sintaxe separada para genéricos. Em vez disso, uma função pode aceitar um tipo como um de seus parâmetros e usá-lo como qualquer outro valor. ✨

Como um tipo precisa ser conhecido quando o código é construído, o parâmetro de tipo é sempre marcado como comptime. Quem chama a função passa um tipo real.

Em Zig, a palavra type é ela própria um tipo, portanto um parâmetro pode ser declarado como type para significar qualquer tipo.

Depois de nomear o tipo como T, você pode usá-lo nos parâmetros seguintes e no tipo de retorno, vinculando todos eles.

Para chamá-la, passe primeiro o tipo concreto e depois os argumentos comuns. Aqui, pedimos o maior de dois valores i32.

A mesma função funciona para qualquer tipo que ofereça suporte às operações usadas. Troque i32 por f64 e o código continuará adequado.

Para cada tipo distinto que você passa, o Zig gera uma cópia dedicada da função. Isso é a monomorfização, realizada em tempo de compilação.

Você escreve o tipo explicitamente na chamada, mas o corpo continua genérico. O Zig verifica se as operações usadas são válidas para qualquer T recebido.

Passar um type real é diferente de polimorfismo em tempo de execução: não há vtable nem boxing, apenas uma cópia concreta escolhida no momento da construção.

Se você chamar max com um tipo que não tenha um operador de maior que, o Zig informará o problema ao construir essa especialização, não em tempo de execução.

Por convenção, o parâmetro de tipo comptime vem antes dos parâmetros de valor, para que o tipo seja conhecido antes da descrição dos dados.

Passe um parâmetro comptime T: type para tornar uma função genérica. O Zig constrói uma versão especializada para cada tipo que você realmente usar. 🎯