2
头图
Go1.20新版本正式发布,新特性值得一看

该版本依然保持 Go1 兼容性,可以升级到 Go1.20,而不需要做任何代码改动。

可以使用你任何喜欢的方式升级:

比如:
go install golang.org/dl/go1.20@latest

具体的可以参考官网教程:
https://go.dev/doc/go1.20

或者关注我:

王中阳Go的主页

Go 1.20 简介

最新的 Go 版本 1.20 在Go 1.19 发布六个月后发布。它的大部分更改都在工具链、运行时和库的实现中。

一如既往,该版本保持了 Go 1的兼容性承诺。我们期望几乎所有的 Go 程序都能像以前一样继续编译和运行。

内容很长,建议先收藏,再转发给gopher小伙伴们,慢慢看。

语言的变化

Go 1.20 包括对语言的四个更改。

Go 1.17 添加了从切片到数组指针的转换。Go 1.20 扩展了它以允许从切片到数组的转换:给定一个切片x,[4]byte(x)现在可以写成*(*[4]byte)(x).

unsafe定义了三个新函数SliceDataStringStringData。与 Go 1.17 一起Slice,这些函数现在提供了构建和解构切片和字符串值的完整能力,而不依赖于它们的确切表示。

该规范现在定义结构值一次比较一个字段,按照它们在结构类型定义中出现的顺序考虑字段,并在第一个不匹配时停止。之前可以阅读规范,就好像所有字段都需要比较第一个不匹配之外的字段。类似地,该规范现在定义数组值按递增索引顺序一次比较一个元素。在这两种情况下,差异会影响某些比较是否必须恐慌。现有程序没有改变:新的规范措辞描述了实现一直所做的事情。

可比较的类型(例如普通接口)现在可以满足comparable约束,即使类型参数不是严格可比较的(比较可能会在运行时崩溃)。这使得实例化受约束的类型参数comparable (例如,用户定义的通用映射键的类型参数)与非严格可比较的类型参数(例如接口类型或包含接口类型的复合类型)成为可能。

本文内容来自golang官网,在机器翻译的基础上进行了优化,方便大家理解。

端口

Windows

Go 1.20 是将在 Windows 7、8、Server 2008 和 Server 2012 的任何版本上运行的最后一个版本。Go 1.21 将至少需要 Windows 10 或 Server 2016。

Darwin and iOS

Go 1.20 是将在 macOS 10.13 High Sierra 或 10.14 Mojave 上运行的最后一个版本。Go 1.21 将需要 macOS 10.15 Catalina 或更高版本。

FreeBSD/RISC-V

GOOS=freebsdGo 1.20 在 RISC-V ( , GOARCH=riscv64) 上添加了对 FreeBSD 的实验性支持。

工具

Go command

该目录$GOROOT/pkg不再存储标准库的预编译包存档: go install不再写入它们,go构建不再检查它们,Go 发行版不再运送它们。相反,标准库中的包是根据需要构建的,并缓存在构建缓存中,就像外部的包一样GOROOT。此更改减少了 Go 发行版的大小,还避免了使用 cgo 的包的 C 工具链倾斜。

实施go test -json 已得到改进,使其更加健壮。运行的程序go test -json 不需要任何更新。直接调用的程序现在应该使用 (例如, 或)而不是普通的来go tool test2json 运行测试二进制文件。 -v=test2json`go test -v=test2json./pkg.test` `-test.v=test2json-v`

一个相关的变化是 在每个测试程序开始执行时go test -json 添加了一个Action设置为的事件。start当使用命令运行多个测试时go,这些启动事件保证以与命令行中指定的包相同的顺序发出。

go命令现在定义了体系结构功能构建标签,例如amd64.v2,以允许根据特定体系结构功能的存在或不存在来选择包实现文件。详情请见go help buildconstraint

go子命令现在接受 在执行命令之前 将-C <dir>目录更改为 <dir>,这对于需要在多个不同模块中执行命令的脚本可能很有用。

go buildandgo test 命令不再接受-i标志,该标志自 Go 1.16 以来已 被弃用

go generate命令现在接受 -skip <pattern>跳过//go:generate匹配的指令<pattern>

go test命令现在接受 -skip <pattern>跳过测试、子测试或匹配的示例<pattern>

当主模块位于 中GOPATH/src时, go install不再为非main包安装库GOPATH/pkg,并且go list不再报告Target 此类包的字段。(在模块模式下,已编译的包仅存储在 构建缓存中 ,但一个错误导致GOPATH安装目标意外地保持有效。)

go buildgo install其他与构建相关的命令现在支持-pgo启用配置文件引导优化的标志,这在下面的 编译器部分中有更详细的描述。该-pgo标志指定配置文件的文件路径。指定-pgo=auto会导致go命令搜索default.pgo在主包目录中命名的文件,如果存在则使用它。此模式目前需要在命令行上指定一个主包,但我们计划在未来的版本中取消此限制。指定-pgo=off关闭配置文件引导的优化。

go buildgo install其他与构建相关的命令现在支持-cover 使用代码覆盖检测构建指定目标的标志。这在下面的封面部分 中有更详细的描述 。

go version

go version -m命令现在支持读取更多类型的 Go 二进制文件,最值得注意的是,使用构建的 Windows DLLgo build -buildmode=c-shared 和没有执行权限的 Linux 二进制文件。

CGO

go命令现在默认在没有 C 工具链的系统上禁用cgo。更具体地说,当CGO_ENABLED环境变量未设置时,环境变量未设置,并且在路径中找不到 CC默认的 C 编译器(通常是clang或),默认为. 与往常一样,您可以通过显式设置来覆盖默认值。 gcc`CGO_ENABLED0CGO_ENABLED`

默认更改最重要的影响是,当 Go 安装在没有 C 编译器的系统上时,它现在将使用纯 Go 构建标准库中使用 cgo 的包,而不是使用预分发的包存档(有已被删除,如上所述)或尝试使用 cgo 并失败。这使得 Go 在一些最小的容器环境以及 macOS 上工作得更好,在 macOS 上,自 Go 1.16 以来,预分发的包存档还没有用于基于 cgo 的包。

标准库中使用 cgo 的包有net、 os/user和 plugin。在 macOS 上,netos/user包已被重写为不使用 cgo:相同的代码现在用于 cgo 和非 cgo 构建以及交叉编译的构建。在 Windows 上,netos/user包从未使用过 cgo。在其他系统上,禁用 cgo 的构建将使用这些包的纯 Go 版本。

在 macOS 上,竞态检测器已被重写为不使用 cgo:启用竞态检测器的程序可以在没有 Xcode 的情况下构建和运行。在 Linux 和其他 Unix 系统以及 Windows 上,需要主机 C 工具链才能使用竞争检测器。

Cover

Go 1.20 支持收集程序(应用程序和集成测试)的代码覆盖率配置文件,而不仅仅是单元测试。

要收集程序的覆盖率数据,请使用go build-cover标志构建它,然后运行生成的二进制文件,并将环境变量GOCOVERDIR设置为覆盖率配置文件的输出目录。有关如何开始的更多信息,请参阅 “集成测试覆盖率”登录页面。详细设计和实现见 提案

Vet

改进了嵌套函数对循环变量捕获的检测

该工具现在报告 在子测试函数体内vet调用后对循环变量的引用。T.Parallel()此类引用可能会观察来自不同迭代的变量值(通常会导致测试用例被跳过)或由于不同步的并发访问而导致的无效状态。

该工具还在更多地方检测引用错误。以前它只会考虑循环体的最后一条语句,但现在它递归地检查 if、switch 和 select 语句中的最后一条语句。

针对错误时间格式的新诊断

vet 工具现在报告使用时间格式 2006-02-01 (yyyy-dd-mm)Time.Format和 time.Parse。此格式未出现在通用日期标准中,但在尝试使用 ISO 8601 日期格式 (yyyy-mm-dd) 时经常被错误使用。

Runtime

一些垃圾收集器的内部数据结构被重新组织,以提高空间和 CPU 效率。此更改减少了内存开销并将整体 CPU 性能提高了 2%。

在某些情况下,垃圾收集器在 goroutine 协助方面表现得不太不稳定。

Go 1.20 添加了一个runtime/coverage包含 API 的新包,用于在运行时从长时间运行和/或不通过os.Exit().

编译器 Compiler

Go 1.20 添加了对配置文件引导优化 (PGO) 的预览支持。PGO 使工具链能够根据运行时配置文件信息执行特定于应用程序和工作负载的优化。目前,编译器支持 pprof CPU 配置文件,可以通过常规方式收集,例如runtime/pprof或 net/http/pprof包。要启用 PGO,请通过 -pgo标志将 pprof 配置文件的路径传递给go build如上所述。Go 1.20 使用 PGO 更积极地在热调用站点内联函数。一组具有代表性的 Go 程序的基准显示启用配置文件引导的内联优化可将性能提高约 3–4%。请参阅PGO 用户指南获取详细文档。我们计划在未来的版本中添加更多配置文件引导的优化。请注意,配置文件引导的优化是一个预览,因此请谨慎使用。

Go 1.20 编译器升级了它的前端以使用一种新的方式来处理编译器的内部数据,它修复了几个泛型类型问题并在泛型函数和方法中启用了类型声明。

编译器现在 默认拒绝带有编译器错误的匿名接口循环。这些源于嵌入式接口的巧妙使用, 并且一直存在细微的正确性问题,但我们没有证据表明它们确实在实践中使用过。假设没有用户报告受到此更改的不利影响,我们计划更新 Go 1.22 的语言规范以正式禁止它们,以便工具作者也可以停止支持它们。

Go 1.18 和 1.19 的构建速度有所下降,这主要是由于增加了对泛型的支持和后续工作。Go 1.20 将构建速度提高了 10%,使其与 Go 1.17 保持一致。相对于 Go 1.19,生成的代码性能也普遍略有提升。

链接器 Linker

glibc 在 Linux 上,链接器现在为链接时或musl在链接时 选择动态解释器。

在 Windows 上,Go 链接器现在支持现代的基于 LLVM 的 C 工具链。

Go 1.20 对编译器生成的符号使用go:andtype:前缀,而不是go.and type.。这避免了名称以 . 开头的用户包的混淆go.。该debug/gosym软件包理解使用 Go 1.20 及更新版本构建的二进制文件的新命名约定。

引导程序 Bootstrap

当从源代码构建 Go 版本GOROOT_BOOTSTRAP且未设置时,以前版本的 Go 在目录中查找 Go 1.4 或更高版本的引导工具链 $HOME/go1.4%HOMEDRIVE%%HOMEPATH%\go1.4在 Windows 上)。 Go 1.18 和 Go 1.19在回退到 之前首先寻找$HOME/go1.17或,以预期在引导 Go 1.20 时需要使用 Go 1.17。Go 1.20 确实需要 Go 1.17 版本来进行引导,但我们意识到我们应该采用引导工具链的最新点版本,因此它需要 Go 1.17.13。Go 1.20 寻找或 回退到之前$HOME/sdk/go1.17`$HOME/go1.4$HOME/go1.17.13$HOME/sdk/go1.17.13`$HOME/go1.4 (以支持硬编码路径 $HOME/go1.4 但在那里安装了更新的 Go 工具链的系统)。未来,我们计划大约每年将引导工具链向前移动一次,特别是我们预计 Go 1.22 将需要 Go 1.20 的最终版本来进行引导。

核心库

New crypto/ecdh package

Go 1.20 添加了一个新crypto/ecdh包,以明确支持 NIST 曲线和 Curve25519 上的椭圆曲线 Diffie-Hellman 密钥交换。

程序应该为 ECDH 使用crypto/ecdh而不是低级功能 crypto/elliptic,而为更高级的用例使用第三方模块。

包装多个错误

Go 1.20 扩展了对错误包装的支持,允许一个错误包装多个其他错误。

一个错误e可以通过提供一个Unwrap返回[]error.

和函数已更新以检查多重包装错误 errors.Is。 errors.As

fmt.Errorf函数现在支持多次出现%w格式动词,这将导致它返回一个包含所有这些错误操作数的错误。

新函数errors.Join 返回一个包含错误列表的错误。

HTTP 响应控制器

新 "net/http".ResponseController 类型提供对接口未处理的扩展的按请求功能的 "net/http".ResponseWriter访问。

以前,我们通过定义ResponseWriter可以实现的可选接口(例如 Flusher. 这些接口不可发现且使用起来很笨拙。

ResponseController类型提供了一种更清晰、更易于发现的方式来添加每个处理程序的控件。Go 1.20 中还添加了两个这样的控件是 SetReadDeadlineSetWriteDeadline,它们允许设置每个请求的读写截止日期。例如:

func RequestHandler(w ResponseWriter, r *Request) {
  rc := http.NewResponseController(w)
  rc.SetWriteDeadline(time.Time{}) // 发送大响应时禁用 Server.WriteTimeout
  io.Copy(w, 大数据)
}

新的 ReverseProxy 重写hook

httputil.ReverseProxy 转发代理包括一个新的 钩子Rewrite 函数,取代了以前的Director钩子。

Rewrite挂钩接受一个 ProxyRequest参数,该参数包括代理接收的入站请求和它将发送的出站请求。与Director仅对出站请求进行操作的挂钩不同,这允许Rewrite挂钩避免某些情况,在这些情况下,恶意入站请求可能导致挂钩添加的标头在转发之前被删除。请参阅问题 #50580

ProxyRequest.SetURL 方法将出站请求路由到提供的目的地并取代该NewSingleHostReverseProxy功能。与 不同的NewSingleHostReverseProxy是,SetURL 还设置了Host出站请求的标头。

该 ProxyRequest.SetXForwarded 方法设置出站请求的X-Forwarded-ForX-Forwarded-HostX-Forwarded-Proto标头。使用 aRewrite时,默认情况下不会添加这些标头。

Rewrite使用这些功能的挂钩 示例是:

proxyHandler := &httputil.ReverseProxy{
  重写: func(r *httputil.ProxyRequest) {
    r.SetURL(outboundURL) // 转发请求到 outboundURL。
    r.SetXForwarded() // 设置 X-Forwarded-* 标头。
    r.Out.Header.Set("X-Additional-Header", "代理设置的header")
  },
}

ReverseProxyUser-Agent当传入请求没有时, 不再向转发的请求添加标头。

library的小改动

与往常一样,库有各种小的变化和更新,考虑到 Go 1的兼容性承诺 。还有各种性能提升,这里就不一一列举了。

  • archive/tar

    设置GODEBUG=tarinsecurepath=0环境变量后, Reader.Next方法现在将返回ErrInsecurePath 文件名为绝对路径的条目的错误,指的是当前目录之外的位置,包含无效字符,或者(在 Windows 上)是保留名称,例如NUL. Go 的未来版本可能会默认禁用不安全的路径。

  • archive/zip

    设置GODEBUG=zipinsecurepath=0环境变量后, NewReader现在将 ErrInsecurePath 在打开包含绝对路径的任何文件名的存档时返回错误,指的是当前目录之外的位置,包含无效字符,或者(在 Windows 上)是保留名称,例如作为NUL。Go 的未来版本可能会默认禁用不安全的路径。

    从包含文件数据的目录文件中读取现在将返回错误。zip 规范不允许目录文件包含文件数据,因此此更改仅影响从无效存档中读取。

  • context

    WithCancelCause函数提供了一种方法来取消具有给定错误的上下文。可以通过调用新Cause函数来检索该错误。

  • crypto/ecdsa

    使用支持的曲线时,所有操作现在都在恒定时间内实现。这导致 CPU 时间增加 5% 到 30%,主要影响 P-384 和 P-521。

    PrivateKey.ECDH方法将 an 转换ecdsa.PrivateKeyecdh.PrivateKey.

  • crypto/RSA

    新字段OAEPOptions.MGFHash 允许为 OAEP 解密单独配置 MGF1 哈希。

    crypto/rsa 现在使用一个新的、更安全的、恒定时间的后端。这会导致解密操作的 CPU 运行时间增加大约 15%(amd64 上的 RSA-2048)和 45%(arm64 上的 RSA-4096),在 32 位架构上更多。加密操作比以前慢了大约 20 倍(但仍然比解密快 5-10 倍)。性能有望在未来的版本中得到改善。程序不得修改或手动生成 的字段 PrecomputedValues

  • crypto/TLS

    已解析的证书现在在所有主动使用该证书的客户端之间共享。在与共享其证书链的任何部分的服务器或服务器集合建立许多并发连接的程序中,内存节省可能非常重要。

    对于由于证书验证失败而导致的握手失败,TLS 客户端和服务器现在返回一个新类型的错误 CertificateVerificationError,其中包括提供的证书。

  • encoding/xml

    Encoder.Close方法可用于在完成编码时检查未闭合的元素。

    解码器现在拒绝具有多个冒号的元素和属性名称,例如<a:b:c>,以及解析为空字符串的命名空间,例如xmlns:a="".

    解码器现在拒绝在开始和结束标记中使用不同命名空间前缀的元素,即使这些前缀都表示相同的命名空间。

  • 错误

    Join函数返回一个包含错误列表的错误。

  • 调速器

    Errorf函数支持格式动词的多次出现%w,返回一个错误,该错误解包到所有参数的列表%w

    FormatString函数恢复对应于 a 的格式化指令State,这在Formatter. 实施。

  • IO

    OffsetWriter包装底层 WriterAt 并提供SeekWriteWriteAt方法,将其有效文件偏移位置调整固定量。

  • math/big

    math/big包 的广泛范围和依赖于输入的时序使其不适合实现密码学。标准库中的加密包不再 对攻击者控制的输入调用非平凡的Int方法。将来,确定 math/big 中的错误是否被视为安全漏洞将取决于它对标准库的更广泛影响。

  • math/rand

    math/rand包 现在自动为全局随机数生成器(由 和 等顶级函数使用Float64Int生成一个随机值,并且顶级Seed函数已被弃用。需要可重现的随机数序列的程序应该更喜欢分配自己的随机源,使用rand.New(rand.NewSource(seed)).

    需要较早一致的全局播种行为的程序可以 GODEBUG=randautoseed=0在其环境中设置。

    顶层Read函数已被弃用。几乎在所有情况下, crypto/rand.Read都是更合适的。

  • mime

    ParseMediaType函数现在允许重复参数名称,只要名称的值相同即可。

  • net

    该函数现在在记录存在时LookupCNAME 始终如一地返回记录的内容。CNAME以前在 Unix 系统上,当使用纯 Go 解析器时,如果记录引用的名称没有、 或记录,LookupCNAME则会返回错误。此更改会修改 以匹配 Windows 上的先前行为,从而允许在存在时成功 。 CNAME`AAAAACNAMELookupCNAMELookupCNAME`CNAME

    Interface.Flags现在包括新标志FlagRunning,表示一个可操作的活动接口。管理配置但不活动的接口(例如,因为未连接网络电缆)将FlagUp设置但不FlagRunning

    Dialer.ControlContext字段包含一个类似于现有Dialer.Control挂钩的回调函数,它另外接受拨号上下文作为参数。 当不为零 Control时被忽略。ControlContext

    Go DNS 解析器识别trust-ad解析器选项。当在options trust-ad中设置时resolv.conf,Go 解析器将在 DNS 查询中设置 AD 位。解析器不在响应中使用 AD 位。

    DNS 解析将检测更改/etc/nsswitch.conf 并在更改时重新加载文件。最多每五秒进行一次检查,与之前对/etc/hosts 和的处理相匹配/etc/resolv.conf

  • pkg

    在 Windows 上,该名称NUL不再被视为 和 中的 Mkdir特例 Stat

    在 Windows 上,File.Stat 当文件是目录时,现在使用文件句柄检索属性。以前它会使用传递给的路径 Open,如果文件已被移动或替换,则该路径可能不再是文件句柄所代表的文件。此更改修改Open为没有访问权限的打开目录 FILE_SHARE_DELETE,这与常规文件的行为相匹配。

    在 Windows 上,File.Seek现在支持查找到目录的开头。

  • 路径/文件路径

    新错误 立即但成功 SkipAll 终止。Walk

    IsLocal函数报告路径是否是目录的词法本地路径。例如,如果IsLocal(p)is trueOpen(p)则将引用一个文件,该文件在词法上位于以当前目录为根的子树中。

  • 反射 reflect

    新的Value.Comparableand Value.Equal方法可用于比较两个Values 是否相等。 Comparable报告Equal给定Value接收器的操作是否有效。

    Value.Grow方法扩展了一个切片以保证其他n元素的空间。

    Value.SetZero方法将一个值设置为其类型的零值。

    Go 1.18 引入Value.SetIterKey 和Value.SetIterValue方法。这些是优化:v.SetIterKey(it)意味着等同于v.Set(it.Key()). 这些实现错误地忽略了对未优化表单中存在的未导出字段的使用检查。Go 1.20 更正了这些方法以包括未导出的字段检查。

  • 正则表达式

    Go 1.19.2 和 Go 1.18.7 包含对正则表达式解析器的安全修复,使其拒绝会消耗过多内存的非常大的表达式。因为 Go 补丁版本没有引入新的 API,所以syntax.ErrInternalError在这种情况下返回的解析器。Go 1.20 添加了一个更具体的错误,syntax.ErrLarge解析器现在返回该错误。

  • 运行时/cgo

    Go 1.20 添加了新的Incomplete标记类型。cgo 生成的代码将用于cgo.Incomplete标记不完整的 C 类型。

  • 运行时/指标

    Go 1.20 添加了新的支持指标,包括当前GOMAXPROCS设置 ( /sched/gomaxprocs:threads)、执行的 cgo 调用次数 ( /cgo/go-to-c-calls:calls)、互斥块总时间 ( /sync/mutex/wait/total:seconds) 以及垃圾收集中花费的各种时间度量。

    基于时间的直方图指标现在不太精确,但占用的内存少得多。

  • 运行时间/pprof

    互斥配置文件样本现在已预先缩放,解决了如果采样率在执行期间发生变化,旧的互斥配置文件样本将被错误缩放的问题。

    在 Windows 上收集的配置文件现在包含内存映射信息,可修复与位置无关的二进制文件的符号化问题。

  • 运行时/跟踪

    垃圾收集器的后台清扫器现在产生的频率降低了,从而导致执行跟踪中的无关事件大大减少。

  • 测试

    新方法B.Elapsed 报告基准的当前经过时间,这可能有助于计算使用 报告的速率ReportMetric

  • 时间

    新的时间布局常量DateTime、 DateOnly和 TimeOnly 为公共 Go 源代码调查中使用的三个最常见的布局字符串提供了名称。

    Time.Compare方法比较两次。

    Parse 现在忽略其输入中的亚纳秒精度,而不是将这些数字报告为错误。

    Time.MarshalJSON方法现在更加严格地遵守 RFC 3339。


王中阳Go
805 声望297 粉丝