C言語における型安全なジェネリクス：ユニオンの巧妙な利用

この記事では、ユニオンを使って型情報を汎用データ構造と関連付けることで、C言語で型安全な汎用データ構造を実装する手法を紹介しています。著者はいずれもリストを使ってこの手法を説明し、マクロとユニオンによってコンパイル時の型チェックが可能になり、従来の汎用的な方法による型安全性の欠如とコードの肥大化を回避できることを示しています。`void*`とフレキシブル・アレイ・メンバのアプローチとの比較も行い、コンパイル時の型安全性を提供するソリューションに到達し、間違った型を追加するとコンパイルエラーが発生することを示しています。