C言語で型安全なジェネリックデータ構造を実現する方法

Type Safe Generic Data Structures in C

C言語で型安全なジェネリックデータ構造を実装する手法を紹介。unionと三項演算子を組み合わせ、コンパイル時に型の不一致を検出する。void *やマクロによる従来の方法と比較し、メモリ効率と可読性を両立。linked listを例に、段階的に解説する。