2022年Go语言盘点：泛型落地，无趣很好，稳定为王
本文永久链接 – https://tonybai.com/2022/12/29/the-2022-review-of-go-programming-language 早早就计划好在年前写一个Go语言年度盘点，就像2020年和2021年那样。但恰逢国内疫情管控放开，一波阳了之后身体十分容易疲劳，再加上工作上的事情挺多，这篇盘点也就迟迟没能下笔。 今年的盘点思路将围绕三个关键字来展开：泛型、无趣(boring)和稳定。下面我们逐一来看看。 1. “泛型”靴子落地 2022年3月中旬，Go社区尤其是那些期盼Go加入泛型特性的Gopher终于迎来了Go 1.18版本的正式发布，这意味着Go泛型这只靴子终于落地了。 其实，从Go开源那一天开始，Go核心团队就没有间断过对泛型的探索，并一直尝试寻找一个理想的泛型设计方案，但始终未能如愿。直到近几年Go团队觉得Go已经逐渐成熟，是时候下决心解决Go社区主要关注的几个问题了，包括泛型、包依赖以及错误处理等。其中泛型常年在Go官方用户调查报告的“你最想要的Go语言特性”这项调查的榜单上霸榜，下图摘自2020年度Go官方用户调查结果： 之后，Go团队安排伊恩·泰勒和罗伯特·格瑞史莫花费更多精力在泛型的设计方案上，这才有了Go 1.18 版本中泛型语法特性的落地。 个人觉得：Go泛型是Go核心团队对Go社区的一次迎合与妥协，因为泛型与Go的主要设计哲学“简单”是有悖的。泛型这个语法特性会给语言带来复杂性，这种复杂性不仅体现在语法层面上引入了难于理解和使用的新的语法元素，也体现在类型系统和运行时层面上为支持泛型进行的复杂的实现。 如果从2010年6月份，伊恩·泰勒提出的Type Functions设计方案算起，到2022年3月份的泛型落地，Go加入泛型之路足足走了近12年。不过结果还是不错的，经过近12年的努力与不断地自我否定，Go团队终于找到了一个不违背Go1兼容性承诺(见下图)的泛型实现方案： 从这方面讲，Go对泛型的支持又是十分成功的。在如此语法巨变的情况下，依然保持向后兼容(backforward compatibility)。 不过如果你因为Go加入了对泛型的支持就打算投入Go阵营，这里先给你一些友情提示：和支持泛型的主流编程语言之间的泛型设计与实现存在差异一样，Go的泛型与其他主流编程语言的泛型也是不同的。在学习Go泛型之前，可以先了解一下Go泛型设计方案已经明确不支持的若干特性，比如： 不支持泛型特化（specialization），即不支持编写一个泛型函数针对某个具体类型的特殊版本； 不支持元编程（metaprogramming），即不支持编写在编译时执行的代码来生成在运行时执行的代码； 不支持操作符方法（operator method），即只能用普通的方法（method）操作类型实例（比如：getIndex(k)），而不能将操作符视为方法并自定义其实现，比如一个容器类型的下标访问 c[k]； 不支持变长的类型参数（type parameters）； … …。 这些特性如今不支持，后续大概率也不会支持。所以小伙伴们，尤其是来自Java、C++等语言阵营的小伙伴，在进入Go泛型语法学习之前，你一定要先了解Go团队的这些设计决策。 此外，目前的Go泛型实现和最后一版的泛型设计方案相比还有差距，依旧不是完全版，还有一些特性没有加入，还有问题亟待解决。 就目前笔者观察来看，Go泛型还处于早期阶段，远非成熟。Go module构建模式从go 1.11版本加入到go 1.16成为默认并逐渐成熟还花了3年多时间呢，何况是Go泛型。这样来看，初步预测Go泛型要到2025年才会成熟，而成熟的标志无非如下几个： 泛型语法特性确定以及稳定下来； 语法问题基本都解决； Go标准库开始广泛使用泛型； Go泛型的运行时性能问题得到基本解决。 目前Go团队对泛型的应用依旧保持谨慎，并在循序渐进地推进泛型在Go团队与Go社区的应用，最新的消息是Go团队已经提出proposal，计划在Go 1.21版本中将用泛型实现的maps包和slices包加入Go标准库，这两个包原本计划在Go 1.18版本加入，但因Rob Pike的建议先放到了golang.org/x/exp下面待定。 2. 无趣(boring)很好 和其他主流编程语言如C++、Rust等在新版本中不断有新语言特性刺激程序员的神经，让大家阶段性产生兴奋感(exciting)不同，除了早期版本(比如Go 1.1和Go 1.2)以及里程碑的Go 1.5版本的完成自举和大幅降低GC延迟、Go 1.11版本的go module构建模式、Go 1.18版本的泛型落地之外，大部分版本的发布都很难让Gopher们十分兴奋，甚至业界都称“Go is boring(Go很无趣)”。 在今年的线下GopherCon大会上，Go核心团队技术Leader Russ [...]
