在C中实现类型安全通用数据结构

作者提出了一种在C语言中实现类型安全泛型数据结构的新技术。

文章对比了使用头文件宏和多次包含实现的泛型方法及其缺点。

介绍了基于void*的通用实现，并指出了性能和安全性方面的问题。

通过灵活数组成员将数据内联存储，减少了额外的分配和缓存未命中。

利用union中承载类型信息的payload成员和__typeof__宏，实现了编译时类型检查。

还提供了兼容老旧编译器（如MSVC）和函数参数传递的解决方案。

该技术可以推广应用到各种数据结构，如映射表等。