Go 1.19要来了，看看都有哪些变化

2022年6月19日 274点热度 0人点赞 0条评论

前言

Go官方团队在2022.06.11发布了Go 1.19 Beta 1版本，Go 1.19的正式release版本预计会在今年8月份发布。

让我们先睹为快，看看Go 1.19给我们带来了哪些变化。

这是Go 1.19版本更新内容详解的第1篇，欢迎大家关注公众号，及时获取本系列最新更新。

Go 1.19发布清单

和Go 1.18相比，改动相对较小，主要涉及语言(Language)、内存模型(Memory Model)、可移植性(Ports)、Go Tool工具链、运行时(Runtime)、编译器(Compiler)、汇编器(Assembler)、链接器(Linker)和核心库(Core library)等方面的优化。

我们逐个看看具体都有哪些变化。

语言变化

语言层面的变化很小，只有一个和泛型相关的优化，调整了泛型函数和方法声明里的类型参数(type parameter)的作用域，不影响现有代码。

为什么会有这个调整呢？我们来看看如下的代码

type T[T any] struct {
 m1 T
}

这段代码定义了泛型类型T ，类型参数列表(type parameter list)里的类型参数(type parameter)命名也是T，代码可以正常编译通过。

但是如下代码呢？

type T[T any] struct {
 m1 T
}

func(t T[T]) print() {
 fmt.Println(t.m1)
}

我们定义了泛型类型T 的方法print，编译上面的代码，编译器会提示：

./main.go:11:8: T is not a generic type

也就是说编译器认为方法print里的第一个T不是泛型类型，为什么会这样呢？我们来看看官方说明^[1]：

The scope of an identifier denoting a type parameter of a function or declared by a method receiver is the function body and all parameter lists of the function.

这段说明对应到上面的代码，编译器会认为print方法里的第2个T(类型参数T)的作用域是函数体以及函数的参数列表(这里的参数列表包括方法receiver parameter list和函数名后面的参数列表)。因此第2个T就覆盖了第1个T ，所以编译器会提示T is not a generic type。

这个问题^[2]是由Go101作者提出来的，Go泛型的设计者Robert Griesemer^[3]认领了这个问题，把类型参数的作用域按照如下说明进行调整：

The scope of an identifier denoting a type parameter of a function or declared by a method receiver starts after the function name and ends at the end of the function body.

也就是类型参数的作用域是从函数名后面开始一直到函数体，这样上面的代码里的2个T 的就不会覆盖第1个T ，编译器也就不会编译报错了。

想了解Go泛型的使用方法、设计思路和最佳实践，推荐大家阅读：

内存模型

Go内存模型^[4] 在Go 1.19版本做了修改，和C, C++, Java, JavaScript, Rust和Swift对齐。Go只提供顺序一致原子操作(sequentially consistent atomics)，不提供其它语言里更宽松的内存模型，比如因果一致性(casual consistency)、最终一致性(eventual consistency)。

伴随着内存模型的修改，Go 1.19版本在sync/atomic包里引入了新的类型，例如atomic.Int64^[5]和atomic.Pointer[T]^[6]，这些新的类型可以让开发者使用原子操作时更容易。

想了解Go原子操作和使用方法，推荐大家阅读：