Genéricos con seguridad de tipos en C: Un uso inteligente de uniones

Este artículo presenta una técnica para implementar estructuras de datos genéricas con seguridad de tipos en C, utilizando uniones para asociar información de tipo a una estructura de datos genérica. El autor ilustra el enfoque con una lista enlazada, mostrando cómo las macros y las uniones permiten la verificación de tipos en tiempo de compilación, evitando la inseguridad de tipos y la hinchazón de código de los métodos genéricos tradicionales. Se realizan comparaciones con enfoques `void*` y miembros de matriz flexibles, culminando en una solución que proporciona seguridad de tipos en tiempo de compilación, lo que resulta en errores de compilación cuando se agregan tipos incorrectos.