文 | 局长
出品 | OSC开源社区（ID：oschina2013)
近期一篇主题为 Go 泛型导致代码运行速度变慢的文章引起了广泛讨论。因为 Go 开发者对“泛型”这项特性期盼已久，但最后却发现有所落差。
Go 泛型主要设计者 Ian Lance Taylor 也留意到了相关的讨论，于是近日他在 Go 官方博客发表了自己 2021 年的演讲——《When To Use Generics》，来介绍使用 Go 泛型的最佳时机。
上文提到的文章指出，从历史上看，C++、D 乃至 Rust 等系统语言一直采用单态化方法实现泛型。然而，Go 1.18 的泛型实现并不完全依靠单态化 (Monomorphization)，而是采用了一种被称为"GCShape stenciling with Dictionaries"的部分单态化技术。这种方法的好处是可以大幅减少代码量，但在特定情况下，会导致代码速度变慢。
Ian Lance Taylor 表示，Go 的通用开发准则有要求：开发者应通过编写代码而不是定义类型来编写 Go 程序。当涉及到泛型时，如果通过定义类型参数约束来编写程序，那一开始就走错了路。正解应该是从编写函数开始，当明确了类型参数的作用后，再添加类型参数就很容易了。
接着，Ian 列举了 4 种类型参数能有效发挥作用的情况：
-
使用语言定义的特殊容器类型
-
通用数据结构
-
类型参数首选是函数，而非方法的情况
-
不同类型需要实现通用方法
-
不要使用类型参数替换接口类型 (Interface Type)
-
如果方法实现不同，不要使用类型参数
-
在适当的地方使用反射 (reflection)
最后，Ian 给出了简要的泛型使用方针，当开发者发现自己多次编写完全相同的代码，而这些副本之间的唯一区别仅在于使用了不同类型，这时候便可以考虑使用类型参数。换句话说，即开发者应避免使用类型参数，直到发现自己要多次编写完全相同的代码。
推荐阅读
我为大家整理了一份从入门到进阶的Go学习资料礼包，包含学习建议：入门看什么，进阶看什么。关注公众号 「polarisxu」，回复 ebook 获取；还可以回复「进群」，和数万 Gopher 交流学习。
文章评论