Funciones que reciben un tipo

Zig no tiene una sintaxis de genéricos independiente. En su lugar, una función puede aceptar un tipo como uno de sus parámetros y utilizarlo como cualquier otro valor. ✨

Como un tipo debe conocerse al compilar el código, el parámetro de tipo siempre se marca como comptime. Quien llama proporciona un tipo real.

En Zig, la palabra type es a su vez un tipo, por lo que un parámetro puede declararse como type para representar cualquier tipo.

Una vez que asigna al tipo el nombre T, puede utilizarlo en los parámetros posteriores y en el tipo de retorno para relacionarlos entre sí.

Para llamarla, pase primero el tipo concreto y después los argumentos normales. Aquí pedimos el mayor de dos valores i32.

La misma función funciona con cualquier tipo que admita las operaciones utilizadas. Sustituya i32 por f64 y el código seguirá siendo válido.

Por cada tipo distinto que pase, Zig genera una copia específica de la función. Esto es la monomorfización, que se realiza en tiempo de compilación.

Escriba el tipo explícitamente en la llamada, pero el cuerpo sigue siendo genérico. Zig comprueba que las operaciones utilizadas sean válidas para cualquier valor que llegue como T.

Pasar un type real es diferente del polimorfismo en tiempo de ejecución: no hay vtable ni boxing, solo una copia concreta elegida en el momento de compilación.

Si llama a max con un tipo que no tiene un operador mayor que, Zig informa del problema al compilar esa especialización, no en tiempo de ejecución.

Por convención, el parámetro de tipo comptime se escribe antes que los parámetros de valor, para que el tipo se conozca antes de describir los datos.

Pase un parámetro comptime T: type para hacer genérica una función. Zig compila una versión especializada para cada tipo que utilice realmente. 🎯