Genéricos com Segurança de Tipos em C: Um Uso Inteligente de Unions

Este artigo apresenta uma técnica para implementar estruturas de dados genéricas com segurança de tipos em C, usando unions para associar informações de tipo a uma estrutura de dados genérica. O autor ilustra a abordagem com uma lista linkada, mostrando como macros e unions permitem a verificação de tipo em tempo de compilação, evitando a insegurança de tipo e o inchaço de código dos métodos genéricos tradicionais. São feitas comparações com abordagens `void*` e membros de array flexíveis, culminando em uma solução que fornece segurança de tipo em tempo de compilação, resultando em erros de compilação quando tipos incorretos são adicionados.