分享每一天-Go 1.19都有哪些新特性

Go 1.19都有哪些新特性

GoLang 1704 0 创建时间：2022-08-03 11:13:16

Go 1.19都有哪些新特性

## Go1.19发布了，看看都有哪些新特性  go.dev/doc/go1.19

#### Go 1.19 简介
最新的Go版本1.19在Go 1.18之后五个月发布。它的大部分变化都在工具链，运行时和库的实现中。与往常一样，该版本保持了Go 1的兼容性承诺。我们预计几乎所有的Go程序都能像以前一样继续编译和运行。

#### 对语言的更改 泛型问题的fix
对语言只有一个很小的更改，对方法声明中类型参数范围的非常小的更正。现有程序不受影响。

尽管Go核心团队在Go 1.18泛型上投入了很多精力，但Go 1.18发布后泛型这块依然有已知的天生局限，以及后续逐渐发现的一些问题，而Go 1.19版本将继续打磨Go泛型，并重点fix Go 1.18中发现的泛型问题。目前Go 1.19开发版本中大约有5-6个泛型问题待解决。之前谈到的可能放开一些泛型约束，在Go 1.19估计不会如期兑现了。

不过可以确定的是Go 1.19将包含Go语法规范中的一处关于泛型的修正，即由下面表述：

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.(译文：一个用于表示函数的类型参数或由方法接收器声明的类型参数的标识符的作用域范围包括函数体和函数的所有形式参数列表。)
改为下面更新版的表述：

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.(译文：一个用于表示函数的类型参数或由方法接收器声明的类型参数的标识符的作用域始于函数名，终止于函数体末尾。)
这样一个改动，使得原本在当前版本Go编译器(Go 1.18.x)下编译报错的源码，在Go 1.19版本中可以正常编译通过：

type T[T any] struct {} func (T[T]) m() {} // error: T is not a generic type

#### 修订Go memory model
Go memory model是Go文档中最抽象的一篇，没有之一！随着Go的演进，原先的Go memory model描述有很多地方不够正式，也缺少对一些同步机制的说明，如atomic等。

这次修订，参考了Hans-J. Boehm和Sarita V. Adve在“Foundations of the C++ Concurrency Memory Model，(PLDI 2008)”中对C++ memory model的描述方式，对Go memory model做了更正式的整体描述，增加了对multiword竞态、runtime.SetFinalizer、更多sync类型、atomic操作以及编译器优化方面的描述。

#### 修订go doc comment格式
Go内置了将comment直接提取为包文档的能力，这与其他语言通过第三方工具生成文档不同。go doc comment为Gopher提供了很大便利。但go doc comment设计于2009年，有些过时。对很多呈现形式的支持不够或缺少更为精确的格式描述，这次Russ Cox主导了go doc comment的修订，增加了对超链、列表、标题、标准库API引用等格式支持，修订后的go doc comment并非markdown语法，但从markdown语法中做了借鉴，同时兼容老comment格式

#### Go 1.19在启动时将默认提高打开文件的限值
经调查，一些系统对打开的文件数量设置了一个人为的soft限制, 主要是为了与使用select和其硬编码的最大文件描述符（由 fd_set 的大小限制）的代码兼容。通常限制为1024，有的更小，比如256。这样即便是gofmt这样的简单程序，当它们并行地遍历一个文件树时，也很容易遇到打开文件描述符超量的错误。

Go不使用select，所以它不应该受这些限制的影响。于是对于导入os包的go程序，Go将在1.19中默认提高这些限制值到hard limit。

#### Go 1.19 race detector将升级到v3版thread sanitizer
升级后的新版race detector的race检测性能相对于上一版将提升1.5倍-2倍，内存开销减半，并且没有对goroutine的数量的上限限制。

注：thread sanitizer检测数据竞态的工作原理：记录每一个内存访问的信息，并检测线程对这块内存的访问是否存在竞争。基于这种原理，我们也可以知道一旦开启race detect，Go程序的执行效率将受到很大影响，运行的开销将大幅增加。v3版thread sanitizer虽然得到了优化，但对程序的总体影响还是存在的并且依旧很大。

#### Go 1.19增加"unix" build tag
Go 1.19将增加"unix"构建标签：

//go:build unix
等价于

//go:build aix || linux || darwin || dragonfly || freebsd || openbsd || netbsd || solaris
不过要注意，"*_unix.go"还保留原语义，不能被识别，以便向后兼容现有文件，尤其是go标准库之外的使用。

#### 标准库的一些变化
与往常一样，该库有各种小的更改和更新，这些更改和更新是在考虑Go 1兼容性承诺的情况下进行的。还有各种性能改进，此处未列举。

详情请到 go.dev/doc/go1.19 官网查看

Go 1.19都有哪些新特性

商品推荐

广告推荐

推荐文章