Wombat - 对大规模生成 Go 代码的探索

项目代言熊

目标

泛型展开不是简单的类型替换。在 C++中有模板偏特化，以及由此发展出来一系列实现编译期计算的奇技淫巧，直到最后以 constexpr 变成语言的一部分。D 语言的 static if 也是类似的，在编译期实现了 D 语言的一个子集。在 Go 2.0 中即便支持了泛型，要达到 D 语言的高度，可能还需要很长的路要走。所以目前最佳的方案还是用代码生成的方案。但是纯手写的代码生成没有办法做到很复杂的泛型代码的组合，比如一个泛型函数调用另外一个泛型函数之类的。所以 wombat 的实现目标是设计一个能够支撑大规模代码生成的机制，使得复杂的 utility 能够被广泛复用。这些 utility 不仅仅是简单的 compare，max，甚至复杂的 json 编解码，参数校验工具等都可以代码生成。

详细内容

全文链接 http://v2p.ro/generics.cn.html

• 动态编译
• 静态代码生成
• 泛型展开时计算
• 递归展开
• 泛型容器
• 类型推断