建设网站思路,中国建设银行国际互联网网站,适用的深圳网站定制开发,京山网站设计公司原文地址#xff1a; The Next Step for Generics - The Go Blog https://blog.golang.org/generics-next-step 介绍
自从我们上次写下关于在Go中加入泛型的可能性的文章以来#xff0c;已经快一年了。现在是该更新的时候了。
设计的更新
我们一直在继续完善泛型设计草案。… 原文地址 The Next Step for Generics - The Go Blog https://blog.golang.org/generics-next-step 介绍
自从我们上次写下关于在Go中加入泛型的可能性的文章以来已经快一年了。现在是该更新的时候了。
设计的更新
我们一直在继续完善泛型设计草案。我们已经为它写了一个类型检查器一个可以解析设计草案中描述的使用泛型的Go代码并报告任何类型错误的程序。我们已经写了示例代码。我们还收集了许多人的反馈–感谢他们提供的反馈!
根据我们所了解到的情况我们发布了一个更新的设计稿。最大的变化是我们放弃了contracts的概念。contracts和interface之间的区别让人很困惑所以我们要消除这种区别。类型参数现在受到接口类型的约束。接口类型现在允许包含类型列表不过只有在用作约束时才允许在之前的设计草案中类型列表是contracts的一个特征。更复杂的情况下会使用参数化的接口类型。
我们希望大家会发现这个设计稿更简单更容易理解。
实验工具
为了帮助决定如何进一步完善设计草案我们正在发布一个翻译工具。这是一个允许人们对使用设计草案中描述的泛型版本编写的代码进行类型检查和运行的工具。它的工作原理是将泛型代码翻译成普通的Go代码。这个翻译过程会带来一些限制但我们希望它能让人们感受到泛型Go代码的样子。如果泛型代码被语言接受那么它们的真正实现将以不同的方式进行。(我们才刚刚开始勾勒出直接编译器实现的样子。)
这个工具可以在Go playground的一个变体上获得网址是https://go2goplay.golang.org。 这个playground的工作原理和通常的Go playground一样但它支持通用代码。
你也可以自己构建和使用这个工具。它在主Go repo的一个分支中。按照关于Go from source的说明。在这些 release tags的地方改成运行git checkout dev.go2go。然后按照指示构建Go工具链。
翻译工具的文档在 README.go2go 中有说明。
接下来的步骤
我们希望这个工具能给Go提供一个尝试泛型的机会。我们希望学习的主要有两点。
首先泛型代码是否有意义它的感觉像Go吗人们会遇到什么惊喜错误信息是否有用
第二我们知道很多人都说Go需要泛型但我们不一定知道这到底是什么意思。这个设计草案是否以有用的方式解决了这个问题如果有一个问题让你觉得 “如果Go有了泛型我就能解决这个问题”那么在使用这个工具时你能解决这个问题吗
我们将利用从Go社区收集到的反馈来决定如何推进。如果设计草案广受好评不需要做重大修改下一步将是正式的语言修改提案。为了设定期望值如果大家对设计草案完全满意并且不需要进一步调整那么最早可以在Go中加入泛型的时间是Go1.17版本计划于2021年8月发布。当然在现实中可能会有不可预见的问题所以这是一个乐观的时间表我们无法做出任何明确的预测。
反馈意见
为语言修改提供反馈的最佳方式是给邮件列表golang-nutsgooglegroups.com发邮件。邮件列表是不完美的但它们似乎是我们进行初步讨论的最佳选择。当写设计稿时请在主题行的开头加上[generics]并为不同的特定主题启动不同的线程。
如果您在generics类型检查器或翻译工具中发现了bug应该将其归档到标准的Go问题追踪器中网址为https://golang.org/issue 。请以 cmd/go2go:作为问题标题的开头。请注意问题跟踪器并不是讨论语言修改的最佳场所因为它不提供线程也不太适合进行冗长的对话。
我们期待着您的反馈。
鸣谢
我们还没有完成但我们已经走了很长的路。如果没有很多人的帮助我们就不会有今天。
我们要感谢Philip Wadler和他的合作者感谢他们正式思考了Go中的generics并帮助我们澄清了设计的理论方面。他们的论文Featherweight Go分析了Go的限制版本中的generics他们已经在GitHub上开发了一个原型。
我们还要感谢那些对早期版本的设计稿提供详细反馈的人。
最后但绝对不是最不重要的我们要感谢Go团队中的许多人Go问题跟踪器的许多贡献者以及其他所有对早期设计稿分享想法和反馈的人。我们阅读了所有的内容我们很感激。没有你们我们就不会有今天。
