Typesikre generiske datastrukturer i C

Teknikken bruker unjoner for å binde typeinformasjon til en generisk datastruktur uten runtime-overhead.

Artikkelen gjennomgår fire generics-nivåer: makrostyrte headers, void*-basert, inline-lagring med fleksible array-medlemmer og kompilertids typekontroll med __typeof__.

list_prepend-makroen kaster automatisk funksjonstyper, håndterer datastrukturens størrelse og genererer kompilatorfeil ved feil datatype.

Viser hvordan teknikken tilpasses eldre kompilatorer uten __typeof__ ved å bruke struct og do-while-makro.

Forklarer at identiske generiske typer må typedefineres for å tillate tildeling og parameter­overføring.

Metoden kan utvides til andre datastrukturer, som hashkart med separate nøkkel- og verdityper.