Go 1.23 发行说明

语言的变化 ¶

Go 1.23 使（Go 1.22） “range-over-func”实验成为该语言的一部分。 “for-range”循环中的“range”子句现在接受以下类型的迭代器函数

func(func() bool)
func(func(K) bool)
func(func(K, V) bool)

作为范围表达式。调用迭代器参数函数会生成“for-range”循环的迭代值。详细信息请参阅 iter 包文档和语言规范。如需了解动机，请参阅 2022 年 “range-over-func”讨论。

Go 1.23 包含对泛型类型别名的预览支持。构建工具链 GOEXPERIMENT=aliastypeparams 在包中启用此功能。（尚不支持跨包边界使用通用别名类型。）

工具 ¶

遥测 ¶

从 Go 1.23 开始，Go 工具链可以收集使用情况和损坏情况帮助 Go 团队了解 Go 工具链的统计数据使用情况以及效果如何。我们将这些统计数据称为进行遥测。

Go 遥测是一个 选择加入系统 ，由 go telemetry 命令。默认情况下，工具链程序收集可以在本地检查的计数器文件中的统计信息但在其他方面未使用（ go telemetry local）。

为了帮助我们保持 Go 良好运行并了解 Go 的用法，请考虑通过运行选择加入 Go 遥测 go telemetry on。在那种模式下，匿名反驳报告上传至 telemetry.go.dev 周刊，它们被聚合成图表并制作任何 Go 贡献者或用户都可以下载想要分析数据。请参阅“ 遥测有关更多详细信息， ” 关于 Go 遥测系统。

执行命令 ¶

设置 GOROOT_FINAL 环境变量不再起作用（＃62047 ）。安装的发行版 go 命令到除 $GOROOT/bin/go 应该安装符号链接而不是重新定位或复制 go 二进制。

新的 go env -changed 标志导致命令仅打印有效值与默认值不同的那些设置这将在空环境中获得，之前没有使用过 -w 旗帜。

新的 go mod tidy -diff 标志导致命令不修改文件，而是将必要的更改打印为统一差异。如果需要更新，它将以非零代码退出。

这 go list -m -json 命令现在包括新的 Sum 和 GoModSum 字段。这与现有的行为类似 go mod download -json 命令。

新的 godebug 指令中 go.mod 和 go.work 声明一个 GODEBUG 设置适用于正在使用的工作模块或工作区。

VET ¶

这 go vet 子命令现在包括标准版本分析器，标记对版本来说太新的符号的引用 Go 在引用文件中生效。（有效版本确定由 go 文件附件中的指令 go.mod 文件，以及由任何 //go:build 限制条件在文件中。）

例如，它将报告诊断以供参考 reflect.TypeFor 函数（在 go1.22 中引入）来自 a 中的文件 go.mod 文件指定的模块 go 1.21。

CGO ¶

cmd/cgo 支持新的 -ldflags flag 用于将标志传递给 C 链接器。这 go 命令自动使用它，避免“参数列表太长” 错误非常大 CGO_LDFLAGS。

TRACE ¶

这 trace 工具现在可以通过尝试更好地容忍部分损坏的痕迹恢复它可以恢复的跟踪数据。此功能在以下情况下特别有用：查看程序崩溃期间收集的跟踪，因为跟踪数据导致崩溃的原因现在可以恢复在大多数情况下情况。

运行时 ¶

在未处理的恐慌或其他情况之后运行时打印的回溯致命错误现在缩进错误的第二行和后续行通过单个选项卡发送消息（例如，恐慌的参数），以便它可以与堆栈跟踪明确区分开来第一个协程。请参阅 #64590 进行讨论。

编译器 ¶

进行构建的构建时间开销使用配置文件引导优化已显着减少。以前，启用 PGO 后，大型构建的构建时间可能会增加 100% 以上。在 Go 1.23 中，开销应为个位数百分比。

Go 1.23 中的编译器现在可以重叠局部变量的堆栈帧槽在函数的不相交区域中访问，这减少了堆栈的使用对于 Go 应用程序。

对于 386 和 amd64，编译器将使用 PGO 中的信息来对齐某些循环中的热块。这将性能额外提高 1-1.5% 额外 0.1% 文本和二进制大小的成本。目前仅实现此功能在 386 和 amd64 上，因为它在其他平台上没有表现出改进。可以禁用热块对齐 -gcflags=[<packages>=]-d=alignhot=0。

链接器 ¶

链接器现在不允许使用 //go:linkname 参考指令标准库（包括运行时）中的内部符号没有标记为 //go:linkname 关于他们的定义。同样，链接器不允许从汇编中引用此类符号代码。为了向后兼容，现有的用法 //go:linkname 发现于仍然支持大型开源代码库。任何对标准库内部符号的新引用都将被禁止。

链接器命令行标志 -checklinkname=0 可以用来禁用此检查用于调试和实验目的。

当构建动态链接的 ELF 二进制文件（包括 PIE 二进制文件）时，新的 -bindnow 标志启用立即函数绑定。

标准库 ¶

计时器更改 ¶

Go 1.23 对实现进行了两个重大更改 time.Timer 和 time.Ticker。

第一的， Timer沙 Ticker程序不再引用的 s 立即有资格进行垃圾收集，即使他们 Stop 方法尚未被调用。 Go 的早期版本不会不间断地收集 Timer直到之后他们开火了，却从未不间断地收集 Tickers。

其次，定时器通道关联 Timer 或者 Ticker 是现在无缓冲，容量为 0。这一变化的主要影响是 Go 现在保证对于任何呼叫 Reset 或者 Stop 方法，没有陈旧的值在该呼叫之前准备好将在呼叫之后发送或接收。 Go 的早期版本使用带有单元素缓冲区的通道，使其难以使用 Reset 和 Stop 正确。这一变化的一个明显效果是 len 和 cap 定时器通道数现在返回 0 而不是 1，这可能会影响以下程序轮询长度以决定定时器通道上是否接收会成功的。此类代码应使用非阻塞接收。

这些新行为仅在主 Go 程序运行时才会启用位于一个带有 go.mod go 使用 Go 1.23.0 或更高版本。当 Go 1.23 构建较旧的程序时，旧的行为仍然有效。新的 GODEBUG设置 asynctimerchan=1 可用于恢复异步通道行为即使程序在其名称中命名为 Go 1.23.0 或更高版本 go.mod 文件。

新的独特包 ¶

新的 unique 包提供设施规范化值（例如“interning”或“hash-consing”）。

任何可比较类型的值都可以用新的规范化 Make[T] 函数，它生成对规范副本的引用 a 形式的值 Handle[T]。二 Handle[T] 当且仅当用于产生的值相等句柄相等，允许程序删除重复值并减少他们的内存足迹。比较两个 Handle[T] 值是有效的，简化为简单的指针比较。

迭代器 ¶

新的 iter 包提供了使用的基本定义用户定义的迭代器。

这 slices 包添加了几个与迭代器一起使用的函数：

All 返回切片索引和值的迭代器。
Values 返回切片元素上的迭代器。
Backward 返回一个循环的迭代器向后切片。
Collect 将迭代器中的值收集到一个新切片。
AppendSeq 将迭代器中的值附加到现有切片。
Sorted 将迭代器中的值收集到新切片，然后对切片进行排序。
SortedFunc 就像 Sorted 但有一个比较功能。
SortedStableFunc 就像 SortFunc 但使用稳定的排序算法。
Chunk 返回连续的迭代器切片最多包含 n 个元素的子切片。

这 maps 包添加了几个与迭代器一起使用的函数：

All 返回映射中键值对的迭代器。
Keys 返回映射中键的迭代器。
Values 返回映射中值的迭代器。
插入将迭代器中的键值对添加到现有映射中。
Collect 将迭代器中的键值对收集到新映射中并返回它。

新的结构包 ¶

新的 structs 套餐提供修改属性的结构体字段的类型包含的结构类型，例如内存布局。

在此版本中，唯一的此类类型是 HostLayout 这表明具有该字段的结构 type 具有符合主机平台的布局期望。 HostLayout 应该用于以下类型传递给、返回或访问通过传入/传出主机 API 的指针。如果没有这个标记，结构布局顺序就不会由语言规范保证，但从 Go 1.23 开始主机和语言布局恰好匹配。

对库的小改动 ¶

archive/tar ¶

如果参数为 FileInfoHeader 实施新的 FileInfoNames 接口，那么接口方法将用于设置Uname/Gname 文件头的。这允许应用程序覆盖依赖于系统的 Uname/Gname 查找。

crypto/tls ¶

TLS 客户端现在支持 Encrypted Client Hello 草案规范。可以通过设置来启用此功能 Config.EncryptedClientHelloConfigList 字段到正在连接的主机的编码 ECHConfigList。

这 QUICConn QUIC 实现使用的类型包括新事件报告会话恢复的状态，并提供一种方法 QUIC 层将数据添加到会话票证和会话缓存条目。

3DES 密码套件已从以下情况下使用的默认列表中删除： Config.CipherSuites 为零。可以通过添加来恢复默认值 tls3des=1 到 GODEBUG 环境变量。

实验性后量子密钥交换机制X25519Kyber768Draft00 现在默认启用 Config.CurvePreferences 为零。可以通过添加来恢复默认值 tlskyber=0 到 GODEBUG 环境变量。

Go 1.23 改变了行为 X509KeyPair 和 LoadX509KeyPair 来填充 Certificate.Leaf 返回的字段 Certificate。新的 x509keypairleaf GODEBUG 设置。为此行为添加了

crypto/x509 ¶

CreateCertificateRequest 现在正确支持 RSA-PSS 签名算法。

CreateCertificateRequest 和 CreateRevocationList 现在使用签名者的公钥验证生成的签名。如果签名无效，则返回错误。这一直是 CreateCertificate 从 Go 1.16 开始。

这 x509sha1 GODEBUG设置将将在下一个 Go 主要版本 (Go 1.24) 中删除。这将意味着 crypto/x509 将不再支持验证使用基于 SHA-1 的证书上的签名签名算法。

新的 ParseOID 函数解析点编码的 ASN.1 对象标识符字符串。这 OID 类型现在实现了 encoding.BinaryMarshaler, encoding.BinaryUnmarshaler, encoding.TextMarshaler, encoding.TextUnmarshaler 接口。

database/sql ¶

返回的错误 driver.Valuer 现在包装了实现改进了操作期间的错误处理，例如 DB.Query, DB.Exec, 和 DB.QueryRow。

debug/elf ¶

这 debug/elf 包现在定义 PT_OPENBSD_NOBTCFI。这 ProgType 是用于禁用分支跟踪控制流完整性 (BTCFI) 强制执行在 OpenBSD 二进制文件上。

现在定义符号类型常量 STT_RELC, STT_SRELC，和 STT_GNU_IFUNC。

encoding/binary ¶

新的 Encode 和 Decode 函数是字节片等价物到 Read 和 Write。 Append 允许将多个数据编组到同一个字节片中。

go/ast ¶

新的 Preorder 函数返回一个方便的迭代器语法树的节点。

go/types ¶

这 Func type，代表函数或方法符号，现在有一个 Func.Signature 返回函数类型的方法，其中总是一个 Signature。

这 Alias 类型现在有一个 Rhs 返回类型的方法其声明的右侧：给定 type A = B，这 Rhs 的 A 是 B。（ #66559 ）

方法 Alias.Origin, Alias.SetTypeParams, Alias.TypeParams, 和 Alias.TypeArgs 已添加。通用别名类型需要它们。

默认情况下，go/types 现在生成 Alias 类型别名的类型节点。此行为可以通过以下方式控制 GODEBUG gotypesalias 旗帜。它的默认值已从 Go 1.22 中的 0 更改为 Go 1.23 中的 1。

math/rand/v2 ¶

这 Uint 功能和 Rand.Uint 方法已添加。他们无意中被排除在 Go 1.22 之外。

新的 ChaCha8.Read 方法实现了 io.Reader 界面。

net ¶

新类型 KeepAliveConfig 允许微调保持活动状态 TCP 连接的选项，通过一个新的 TCPConn.SetKeepAliveConfig 方法和新的 KeepAliveConfig 字段 Dialer 和 ListenConfig。

这 DNSError type 现在包含由超时或取消引起的错误。例如， errors.Is(someDNSErr, context.DeadlineExceedeed) 现在将报告 DNS 错误是否是由超时引起的。

新的 GODEBUG 环境 netedns0=0 禁用发送 EDNS0 DNS 请求上的附加标头，因为据报道它们破坏了 DNS 某些调制解调器上的服务器。

net/http ¶

Cookie 现在保留 cookie 值周围的双引号。新的 Cookie.Quoted 字段指示是否 Cookie.Value 最初被引用。

新的 Request.CookiesNamed 方法检索与给定名称匹配的所有 cookie。

新的 Cookie.Partitioned 字段标识具有 Partitioned 属性的 cookie。

使用的模式 ServeMux 现在，方法名称后允许有一个或多个空格或制表符。以前，只允许有一个空格。

新的 ParseCookie 函数解析 Cookie 标头值并返回其中设置的所有 cookie。因为同一个cookie 名称可以出现多次返回值可以包含给定键有多个值。

新的 ParseSetCookie 函数解析 Set-Cookie 标头值并返回一个cookie。它返回语法错误的错误。

ServeContent, ServeFile，和 ServeFileFS 现在删除这 Cache-Control, Content-Encoding, Etag，和 Last-Modified 提供错误时的标头。这些标头通常适用于非错误内容，但不至于错误的文字。

中间件封装了一个 ResponseWriter 并即时应用编码，例如 Content-Encoding: gzip，之后将无法运行这个变化。之前的行为 ServeContent, ServeFile, 和 ServeFileFS 可以通过设置来恢复 GODEBUG=httpservecontentkeepheaders=1。

请注意，中间件会更改所提供内容的大小（例如通过压缩）已经无法正常工作 ServeContent 处理范围请求。即时压缩应该使用 Transfer-Encoding 标题而不是 Content-Encoding。

对于入站请求，新 Request.Pattern 字段包含 ServeMux 与请求匹配的模式（如果有）。当以下情况时不设置该字段 GODEBUG=httpmuxgo121=1 已设置。

net/http/httptest ¶

新的 NewRequestWithContext 方法创建一个传入请求一个 context.Context。

net/netip ¶

在 Go 1.22 及更早版本中，使用 reflect.DeepEqual 比较一个 Addr 持有一个 IPv4 地址该地址的 IPv4 映射 IPv6 形式错误地返回 true，尽管 Addr 与比较时的值不同 == 或者 Addr.Compare。此错误现已修复，所有三种方法现在报告相同结果。

os ¶

这 Stat 函数现在设置 ModeSocket 有点为 Windows 上的 Unix 套接字文件。这些文件被识别通过将重新解析标签设置为 IO_REPARSE_TAG_AF_UNIX。

在 Windows 上，模式位由 Lstat 和 Stat 为了重新分析点已更改。挂载点不再有 ModeSymlink 放，和不是符号链接、Unix 套接字或重复数据删除文件的重新分析点现在总是有 ModeIrregular 放。此行为由 winsymlink 环境。对于 Go 1.23，默认为 winsymlink=1。以前的版本默认为 winsymlink=0。

这 CopyFS 函数复制一个 io/fs.FS 到本地文件系统。

在 Windows 上， Readlink 不再尝试使交易量正常化驱动字母，这并不总是可能的。此行为由 winreadlinkvolume 环境。对于 Go 1.23，默认为 winreadlinkvolume=1。以前的版本默认为 winreadlinkvolume=0。

在支持 pidfd 的 Linux 上（通常是 Linux v5.4+）， Process相关函数和方法使用pidfd（而不是比 PID）在内部消除了重复使用 PID 时潜在的误定位由操作系统。 Pidfd 支持对于用户来说是完全透明的，除了额外的进程可能拥有的进程文件描述符。