加餐｜聊聊最近大热的Go泛型

该思维导图由 AI 生成，仅供参考

Go语言在2022年3月发布了Go 1.18版本，其中最引人关注的特性是泛型。泛型编程的中心思想是对具体的、高效的算法进行抽象，以获得通用的算法，然后这些算法可以与不同的数据表示法结合起来，产生各种有用的软件。Go语言加入泛型的原因是因为社区对泛型特性的需求强烈，但在早期并未将其作为设计目标，因为泛型会给语言带来复杂性，与Go语言的简单设计哲学有所冲突。在即将发布的Go 1.18版本中，泛型语法特性将正式落地。泛型的引入将使得算法更广泛地复用，解决了在没有泛型的情况下需要针对不同类型重复实现相同算法逻辑的问题。 Go泛型的设计经历了多年的探索和演化。从最初的三种可遵循的泛型实现方法，到伊恩·泰勒和罗伯特·格瑞史莫提出的多个设计方案，再到菲利普·瓦德勒的泛型语法设计，Go团队不断寻找理想的泛型设计方案。最终，Go泛型的基本语法经过12年的努力与不断地自我否定，终于在2021年12月14日正式支持。泛型的引入为Go语言带来了重大变革，使得算法更加灵活和通用，同时也没有违背Go1的兼容性。 Go泛型的引入并未影响程序运行时性能，反而提高了程序员的开发效率和算法的重用性。在性能基准测试中，泛型版的Sort函数表现出与非泛型版相当的性能，并且在排序过程中没有额外的内存分配。然而，Go 1.18编译器的性能下降了约15%，但Go核心团队承诺将在Go 1.19中改善编译器的性能。 Go团队建议在编写函数的操作元素的类型为slice、map、channel等特定类型，或者编写通用数据结构时使用泛型。但不宜在对某一类型的值进行全部操作时使用泛型，或者当不同的类型使用一个共同的方法时，如果每种类型的实现各不相同时也不宜使用泛型。 总的来说，Go泛型的引入标志着Go语言在语法层面的最大一次变动，为Go社区解决了重要问题，也为未来的软件开发提供了更多可能性。 Go泛型方案对Go程序的运行时性能也带来了积极影响。