2020年6月16日 Go生态洞察：泛型的下一步

2020年6月16日 Go生态洞察：泛型的下一步 🌟

摘要 📝

🐯 猫头虎博主来啦！今天我们要深入Go的最新进展：泛型的发展历程。作为Go语言热门话题的核心，泛型的探讨总是让人兴奋不已。我们会从最新的设计草案到实验工具，一步步解析泛型在Go中的演变。如果你对Go语言和泛型兴趣浓厚，那就跟随我的脚步，一起探索吧！🚀

引言 🎤

Go语言社区的朋友们，你们好！作为猫头虎博主，我非常激动地分享Go泛型的最新动态。自从上次关于添加泛型到Go的讨论以来，已经过去了近一年的时间。如今，Ian Lance Taylor和Robert Griesemer带来了泛型的最新进展，让我们一起来看看吧！

正文 📖

泛型设计的更新 🔄

Go团队一直在细化泛型设计草案。他们已经编写了一个类型检查器，能够解析使用设计草案中描述的泛型的Go代码，并报告任何类型错误。此外，还编写了示例代码，并从众多人那里收集了反馈。

最大的变化 💡

• 合约的放弃：泛型的最新设计草案放弃了合约的概念。之前合约与接口类型之间的差异令人困惑，现在改为由接口类型约束类型参数。在新草案中，接口类型被允许包含类型列表，但仅在用作约束时；在之前的设计草案中，类型列表是合约的特性。
• 更复杂的情况：将使用参数化的接口类型。

泛型实验工具 🔧

为了进一步完善设计草案，Go团队发布了一个转换工具。这个工具允许人们类型检查和运行使用设计草案中描述的泛型的代码。它通过将泛型代码转换为普通Go代码来工作。虽然这个转换过程有一些限制，但希望它足够好，能让人们感受到泛型Go代码可能的样子。

如何使用工具 🛠️

• 工具地址：https://go2goplay.golang.org
• 自行构建：遵循从源码安装Go的指南。按照指南，运行git checkout dev.go2go，然后构建Go工具链。

下一步计划 📈

Go团队希望这个工具能给Go社区一个实验泛型的机会。他们希望了解两件主要事情：

1. 泛型代码是否有意义？它感觉像Go吗？人们遇到了什么惊喜？错误消息是否有用？
2. 这个草案设计是否以有用的方式解决了需要泛型的问题？

反馈与承认 💌

反馈是通过golang-nuts@googlegroups.com邮件列表提供的。如果发现泛型类型检查器或转换工具中的bug，应在Go问题跟踪器中报告。

总结 📚

Go语言的泛型发展迈出了重要一步，从设计草案到实验工具的发布，Go社区对泛型的期待与日俱增。作为猫头虎的Go生态洞察专栏的一部分，这篇文章也收录在了我的专栏中。期待着泛型在Go中的未来发展！