Go 1.18 终于来了！

Go 1.18 正式版发布了！包含大量新功能的版本，最大的改变带来---泛型、工具链的实现、运行时和库的更改，还改善了性能。

可以点击底部查看原文，观看视频版泛型教程

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

泛型

下面是 Go 1.18 泛型的主要功能变化，更详细信息请参阅官方文档。

1. 函数和类型声明的语法，现在接受类型参数。

2. 参数化函数和类型可以通过在方括号中列出类型参数来实例化。

3. 新标记~已添加到操作符和标点符号中。

4. 接口类型的语法现在允许嵌入任意类型（不仅仅是接口的类型名称）以及 union 和 ~T 类型元素。，这样的接口只能用作类型约束。

5. 新的预声明标识符 any是空接口的别名，可以用来代替 interface{}.

6. 新的预声明标识符 comparable是一个接口，表示可以使用==或者 != 比较的所有类型的集合，它只能用作（或嵌入）类型约束。

下面3个包，不在兼容性保证范围内：

1. golang.org/x/exp/constraints：对通用代码有用的约束，例如 constraints.Ordered.

2. golang.org/x/exp/slices：对任何元素类型的切片进行操作的通用函数集合。

3. golang.org/x/exp/maps：对任何键或元素类型的映射进行操作的通用函数集合。

泛型实现具有如下限制：

1. Go 编译器无法处理泛型函数或方法中的类型声明，计划在 Go 1.19 中取消这个限制。

2. Go 编译器不接受具有预声明函数 real、imag 和 complex 的参数类型的参数，计划在 Go 1.19 中取消这个限制。

2. 如果 m 由 P 的约束接口显式声明，Go 编译器仅支持在类型参数类型 P 的值 x 上调用方法 m。类似地，方法值 x.m 和方法表达式 P.m 也仅在 m 由 P 显式声明时才受支持，即使 m 可能在 P 的方法集中，因为 P 中的所有类型都实现了 m，计划在 Go 1.19 中取消这个限制。

3. Go 编译器不支持访问结构字段 x.f，其中 x 是类型参数类型，即使类型参数的类型集中的所有类型都具有字段 f，计划在 Go 1.19 中取消这个限制。

4. 不允许将类型参数或指向类型参数的指针作为结构类型中的未命名字段嵌入，同样地，也不允许在接口类型中嵌入类型参数。

5. 具有多个 term 的 union 元素可能不包含具有非空方法集的接口类型。

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