Go 1.18正式发布！支持泛型、性能优化...

2022年3月15日 328点热度 0人点赞 0条评论

文 | 罗奇奇

出品 | OSC开源社区（ID：oschina2013)

距离 Go 1.17 发布七个月后，Go 1.18 正式发布了！Go 1.18 是一个包含大量新功能的版本，包括对语言本身做了有史以来最大的改变（泛型）、工具链的实现、运行时和库的更改，还改善了性能。

与往常一样，该版本保持了 Go 1的兼容性承诺：几乎所有 Go 程序都能像以前一样继续编译和运行。下面来看一下新版本的一些重大特性：

以下是关于 Go 1.18 泛型的最明显变化的列表，如需更全面的概述请参阅泛型提案，更详细信息请参阅语言规范。

泛型提案：https://go.googlesource.com/proposal/+/refs/heads/master/design/43651-type-parameters.md

语言规范：https://tip.golang.org/ref/spec

有三个使用泛型的实验包可能有用，这些包在 x/exp 存储库中；但它们的 API 不在 Go 1 兼容性承诺的保证范围内：

当前的泛型实现具有以下已知限制：

Go 编译器无法处理泛型函数或方法中的类型声明，计划在 Go 1.19 中取消这个限制。
Go 编译器不接受具有预声明函数 real、imag 和 complex 的参数类型的参数，计划在 Go 1.19 中取消这个限制。
如果 m 由 P 的约束接口显式声明，Go 编译器仅支持在类型参数类型 P 的值 x 上调用方法 m。类似地，方法值 x.m 和方法表达式 P.m 也仅在 m 由 P 显式声明时才受支持，即使 m 可能在 P 的方法集中，因为 P 中的所有类型都实现了 m，计划在 Go 1.19 中取消这个限制。
Go 编译器不支持访问结构字段 x.f，其中 x 是类型参数类型，即使类型参数的类型集中的所有类型都具有字段 f，计划在 Go 1.19 中取消这个限制。
不允许将类型参数或指向类型参数的指针作为结构类型中的未命名字段嵌入，同样地，也不允许在接口类型中嵌入类型参数。
具有多个 term 的 union 元素可能不包含具有非空方法集的接口类型。

泛型代表 Go 生态系统的巨大变化，虽然官方更新了几个支持泛型的核心工具，但还有很多工作要做。剩余的工具、文档和库需要一些时间才能赶上这些语言变化。此外，官方公告中还有这么一段话：

（虽然泛型是搞出来了，但很可能有 Bug，不建议在生产中使用）

模糊测试

Go 1.18 包括 fuzzing（模糊测试）的实现，如 fuzzing 提案所述，详情请参阅 fuzzing 教程（https://go.dev/doc/tutorial/fuzz）以开始使用。
注意，模糊测试会消耗大量内存，并且可能会影响机器运行时的性能。
另请注意，模糊引擎在运行时会将扩展测试覆盖率的值写入模糊缓存目录 $GOCACHE/fuzz。目前对可以写入模糊缓存的文件数量或总字节数没有限制，因此可能会占用大量存储空间（可能为 GB 级别）。

现在编译器可以内联包含范围循环或标记为循环的函数。
编译器的类型检查器被完全替换以支持泛型，一些错误消息可能使用与以前不同的措辞（提供更多详细信息，或以更有用的方式表述）。
由于与支持泛型相关的编译器的更改，Go 1.18 的编译速度可能比 Go 1.17 的编译速度慢大约 15%，代码的执行时间不受影响，目前计划在 Go 1.19 中提高编译器的速度。

Go 1.18 编译器可以正确地报告在函数文本中设置但从未使用过的变量的错误（已声明但未使用），解决了一个老问题 issue #8560 （https://golang.org/issue/8560）。
Go 1.18 编译器现在在将如 '1' << 32 之类的符文常量表达式作为参数传递给预声明函数 print 和 println 时会报告溢出。