[博客翻译]在C语言中实现类型擦除的泛型函数

今年早些时候，我阅读了马丁·乌尔克（Martin Uecker）关于为C语言添加参数化多态性的提案N3212。乍一看，将泛型编程引入基础的C语言似乎有些荒谬，毕竟C++已经有了模板，而现代系统级语言几乎都有某种形式的泛型支持。但这个想法让我思考，或许我们可以做点不同于其他语言的、有意义且实用的事情。C++的模板依赖于单例化，即当你编写一个通用函数或类型时，编译器会为每种使用它的类型生成一个独特的特化版本。大多数系统级语言也遵循C++的...