Go 1.14 发布说明

Go 1.14 简介

Go 的最新版本 1.14 在 Go 1.13 发布六个月后到来。其大部分更改集中在工具链、运行时和库的实现上。与以往一样，此版本遵循 Go 1 兼容性承诺。我们期望几乎所有 Go 程序都能像以前一样继续编译和运行。

go 命令中的模块支持现已可用于生产环境，我们鼓励所有用户迁移到 Go 模块进行依赖管理。如果由于 Go 工具链中的问题而无法迁移，请确保该问题已有一个未关闭的 issue 提交。（如果该 issue 不在 Go1.15 里程碑中，请告知我们它为何阻碍了您的迁移，以便我们能适当地确定优先级。）

语言变更

根据重叠接口提案， Go 1.14 现在允许嵌入具有重叠方法集的接口：来自嵌入接口的方法可以与（嵌入它的）接口中已存在的方法具有相同的名称和相同的签名。这解决了通常（但不仅限于）出现在菱形嵌入图中的问题。接口中显式声明的方法必须像以前一样保持唯一性。

平台支持

Darwin

Go 1.14 是支持 macOS 10.11 El Capitan 的最后一个版本。 Go 1.15 将需要 macOS 10.12 Sierra 或更高版本。

Go 1.14 是最后一个在 macOS 上支持 32 位二进制文件的 Go 版本（darwin/386 平台）。从 macOS 10.15 (Catalina) 开始，macOS 不再支持它们。 Go 继续支持 64 位 darwin/amd64 平台。

Go 1.14 可能将是最后一个在 iOS、iPadOS、watchOS 和 tvOS 上支持 32 位二进制文件的 Go 版本（darwin/arm 平台）。Go 继续支持 64 位 darwin/arm64 平台。

Windows

Windows 上的 Go 二进制文件现已启用 DEP (数据执行保护)。

在 Windows 上，通过 os.OpenFile 并设置 os.O_CREATE 标志创建文件，或通过 syscall.Open 并设置 syscall.O_CREAT 标志创建文件时，如果权限参数中未设置 0o200 位（所有者写权限），现在将创建只读文件。这使得 Windows 上的行为更接近 Unix 系统。

WebAssembly

现在可以通过 js.Value 对象从 Go 引用的 JavaScript 值可以被垃圾回收。

js.Value 值不再能使用 == 运算符进行比较，而必须使用它们的 Equal 方法进行比较。

js.Value 现在具有 IsUndefined、IsNull 和 IsNaN 方法。

RISC-V

Go 1.14 包含了在 Linux 上对 64 位 RISC-V 的实验性支持（GOOS=linux，GOARCH=riscv64）。请注意性能、汇编语法稳定性和可能的正确性仍在开发中。

FreeBSD

Go 现在支持 FreeBSD 12.0 或更高版本上的 64 位 ARM 架构（freebsd/arm64 平台）。

Native Client (NaCl)

正如 Go 1.13 发布说明中宣布的那样， Go 1.14 移除了对 Native Client 平台（GOOS=nacl）的支持。

Illumos

运行时现在遵循区域 CPU 上限（zone.cpu-cap 资源控制）用于 runtime.NumCPU 和 GOMAXPROCS 的默认值。

工具

Go 命令

供应商目录

当主模块包含一个顶层 vendor 目录且其 go.mod 文件指定 go 版本为 1.14 或更高时， go 命令现在默认为接受该标志的操作设置 -mod=vendor。该标志的新值 -mod=mod 会使 go 命令改为从模块缓存加载模块（如同没有 vendor 目录存在一样）。

当设置了 -mod=vendor（显式设置或默认设置）时， go 命令现在会验证主模块的 vendor/modules.txt 文件与其 go.mod 文件一致。

go list -m 不再静默忽略不在 vendor 目录中提供包的可传递依赖项。如果设置了 -mod=vendor 并且请求了未在 vendor/modules.txt 中提及的模块信息，现在它会显式失败。

标志

go get 命令不再接受 -mod 标志。之前，该标志的设置要么被忽略要么导致构建失败。

当 go.mod 文件为只读且没有顶层 vendor 目录时，现在默认设置 -mod=readonly。

-modcacherw 是一个新标志，它指示 go 命令保留新创建的目录在模块缓存中的默认权限，而不是使它们变为只读。使用此标志使得测试或其他工具更有可能意外添加未包含在模块已验证校验和中的文件。然而，它允许使用 rm -rf （而不是 go clean -modcache）来删除模块缓存。 -modfile=file 是一个新标志，它指示 go 命令读取（也可能写入）一个替代的 go.mod 文件，而不是模块根目录中的那个文件。名为 go.mod 的文件仍然必须存在，以确定模块根目录，但不会被访问。当指定 -modfile 时，也会使用一个替代的 go.sum 文件：其路径通过去除 .mod 扩展名并附加 .sum，从 -modfile 标志派生而来。

环境变量

GOINSECURE 是一个新的环境变量，它指示 go 命令在直接从模块的源头获取某些模块时，不要求 HTTPS 连接，并跳过证书验证。与现有的 GOPRIVATE 变量类似，GOINSECURE 的值是一个逗号分隔的 glob 模式列表。

模块外的命令

当显式启用模块感知模式（通过设置 GO111MODULE=on）时，如果不存在 go.mod 文件，大多数模块命令的功能将受到更多限制。例如，go build、go run 和其他构建命令只能构建标准库中的包以及在命令行上指定为 .go 文件的包。

以前，go 命令会将每个包路径解析为一个模块的最新版本，但不会记录模块路径或版本。这导致了缓慢且不可重现的构建。

go get、go mod download 和带有显式版本的 go list -m 将继续像以前一样工作。

`+incompatible` 版本

如果一个模块的最新版本包含 go.mod 文件，go get 将不再升级到该模块的不兼容主版本，除非显式请求此类版本或该版本已被要求。当直接从版本控制获取时，go list 也会为这样的模块省略不兼容的主版本，但如果代理报告了它们，则可能会包含。

`go.mod` 文件维护

除了 go mod tidy 之外的 go 命令，不再移除指定一个间接依赖版本的 require 指令，如果该版本已被主模块的其他（传递性）依赖所隐含。

除了 go mod tidy 之外的 go 命令，如果更改仅为格式上的调整，则不再编辑 go.mod 文件。

当设置 -mod=readonly 时，go 命令将不再因为缺少 go 指令或错误的 // indirect 注释而失败。

模块下载

go 命令现在支持 Subversion 仓库的模块模式。

go 命令现在包含来自模块代理和其他 HTTP 服务器的纯文本错误消息片段。仅当错误消息是有效的 UTF-8 并且仅由图形字符和空格组成时，才会显示。

测试

go test -v 现在会流式传输 t.Log 输出，即实时发生时就输出，而不是在所有测试结束时输出。

运行时

此版本改进了 defer 的大多数使用场景的性能，使其与直接调用延迟函数相比，几乎不产生额外开销。因此，defer 现在可以在性能关键代码中使用，而无需担心开销问题。

Goroutine 现在可以被异步抢占。因此，没有函数调用的循环不再可能导致调度器死锁或显著延迟垃圾回收。此特性在所有平台上均受支持，除了 windows/arm、darwin/arm、js/wasm 和 plan9/*。

抢占实现的一个后果是，在 Unix 系统（包括 Linux 和 macOS 系统）上，使用 Go 1.14 构建的程序将比使用早期版本构建的程序接收更多的信号。这意味着使用 syscall 或 golang.org/x/sys/unix 等包的程序将看到更多的慢速系统调用因 EINTR 错误而失败。这些程序将不得不以某种方式处理这些错误，很可能是循环重试系统调用。有关此方面的更多信息，请参阅 Linux 系统的 man 7 signal 或其他系统的类似文档。

页面分配器效率更高，并且在 GOMAXPROCS 值较高时锁争用显著减少。这在并行和高频率进行大型分配时，表现为更低的延迟和更高的吞吐量。

内部定时器（被 time.After、time.Tick、net.Conn.SetDeadline 及其相关函数使用）效率更高，锁争用更少，上下文切换也更少。这是一项性能改进，不应导致任何用户可见的变化。

编译器

此版本添加了 -d=checkptr 作为编译时选项，用于添加插桩以动态检查 Go 代码是否遵循 unsafe.Pointer 安全规则。当使用 -race 或 -msan 标志时，默认启用此选项（Windows 上除外），并且可以通过 -gcflags=all=-d=checkptr=0 禁用。具体来说，-d=checkptr 检查以下内容：

将 unsafe.Pointer 转换为 *T 时，结果指针必须按 T 的要求适当对齐。
如果指针运算的结果指向一个 Go 堆对象，则其中一个 unsafe.Pointer 类型的操作数必须指向同一个对象。

目前不建议在 Windows 上使用 -d=checkptr，因为它会在标准库中导致误报。编译器现在可以通过 -json 标志生成关键优化的机器可读日志，包括内联、逃逸分析、边界检查消除和空指针检查消除。

详细的逃逸分析诊断信息 (-m=2) 现已恢复正常工作。此功能在上一版本的新逃逸分析实现中曾被移除。

macOS 二进制文件中所有 Go 符号现在都以下划线开头，以遵循平台惯例。

此版本包含编译器插入的模糊测试覆盖率检测的实验性支持。更多详情请参见 issue 14565。该 API 可能在未来版本中发生变化。

边界检查消除现在利用了切片创建的信息，并可以消除类型小于 int 的索引的检查。

标准库

新增字节序列哈希包

Go 1.14 新增了一个包 hash/maphash，它提供了针对字节序列的哈希函数。这些哈希函数旨在用于实现哈希表或其他需要将任意字符串或字节序列映射到无符号 64 位整数均匀分布的数据结构。

这些哈希函数具有抗碰撞性，但并非密码学安全。对于给定的字节序列，其哈希值在单个进程内是一致的，但在不同进程中会不同。

库的次要更改

一如既往，库中有各种次要更改和更新，这些更改都考虑了 Go 1 的兼容性承诺。

crypto/tls

已移除对 SSL 版本 3.0 (SSLv3) 的支持。请注意，SSLv3 是早于 TLS 的已知存在加密缺陷的协议。

现在无法再通过 GODEBUG 环境变量禁用 TLS 1.3。请使用 Config.MaxVersion 字段来配置 TLS 版本。

当通过 Config.Certificates 字段提供多个证书链时，现在会自动选择第一个与对端兼容的证书链。这允许例如同时提供 ECDSA 和 RSA 证书，然后让该包自动选择最佳证书。请注意，除非设置了 Certificate.Leaf 字段，否则此选择的性能会很差。现在已弃用仅支持将单个证书与给定名称关联的 Config.NameToCertificate 字段，应将其保留为 nil。类似地，现在也弃用了用于从叶子证书构建 NameToCertificate 字段的 Config.BuildNameToCertificate 方法，不应再调用它。

新增的 CipherSuites 和 InsecureCipherSuites 函数返回当前已实现的密码套件列表。新增的 CipherSuiteName 函数根据密码套件 ID 返回其名称。

新增的 (*ClientHelloInfo).SupportsCertificate 和 (*CertificateRequestInfo).SupportsCertificate 方法可暴露对端是否支持某个证书。

tls 包不再支持旧版的 Next Protocol Negotiation (NPN) 扩展，现在仅支持 ALPN。在先前版本中两者都支持。API 没有变化，应用程序的行为应与之前完全相同。大多数其他客户端和服务器已经移除了 NPN 支持，转而使用标准化的 ALPN。

现在，当 TLS 1.2 握手支持时，将使用 RSA-PSS 签名。这不会影响大多数应用程序，但不支持 RSA-PSS 签名的自定义 Certificate.PrivateKey 实现需要使用新的 Certificate.SupportedSignatureAlgorithms 字段来禁用它们。

如果设置了 Config.GetConfigForClient，则 Config.Certificates 和 Config.GetCertificate 现在都可以为 nil。如果回调既不返回证书也不返回错误，则现在会发送 unrecognized_name。

新增的 CertificateRequestInfo.Version 字段为客户端证书回调提供了 TLS 版本。

新增的 TLS_ECDHE_RSA_WITH_CHACHA20_POLY1305_SHA256 和 TLS_ECDHE_ECDSA_WITH_CHACHA20_POLY1305_SHA256 常量使用了先前称为 TLS_ECDHE_RSA_WITH_CHACHA20_POLY1305 和 TLS_ECDHE_ECDSA_WITH_CHACHA20_POLY1305 的密码套件的最终名称。

crypto/x509

Certificate.CreateCRL 现在支持 Ed25519 签发者。

debug/dwarf

debug/dwarf 包现在支持读取 DWARF 版本 5。

新增的方法 (*Data).AddSection 支持从输入文件向 DWARF Data 添加任意新的 DWARF 段。新方法 (*Reader).ByteOrder 返回当前编译单元的字节序。这可用于解释采用本地字节序编码的属性，例如位置描述。

新方法 (*LineReader).Files 从行号读取器返回文件名表。这可用于解释诸如 AttrDeclFile 之类的 DWARF 属性的值。

encoding/asn1

Unmarshal 现在支持 ASN.1 字符串类型 BMPString，该类型由新的 TagBMPString 常量表示。

encoding/json

Decoder 类型支持新的方法 InputOffset，该方法返回当前解码器位置在输入流中的字节偏移量。

Compact 不再转义 U+2028 和 U+2029 字符，这从来不是一个有文档记录的功能。要获得正确的转义，请参见 HTMLEscape。

Number 不再接受无效数字，以更紧密地遵循有文档记录的行为。如果程序需要接受无效数字（如空字符串），请考虑使用 Unmarshaler 对该类型进行包装。

Unmarshal 现在支持底层类型为字符串且实现了 encoding.TextUnmarshaler 接口的映射键。

go/build

Context 类型有一个新字段 Dir，可用于设置构建的工作目录。默认值是运行进程的当前目录。在模块模式下，此字段用于定位主模块。

go/doc

新函数 NewFromFiles 根据 *ast.File 列表计算包文档，并将示例与相应的包元素关联起来。新的信息可在 Package、Type 和 Func 类型的新 Examples 字段中使用，以及 Example 类型的新 Suffix 字段中使用。

io/ioutil

TempDir 现在可以创建名称具有可预测前缀和后缀的目录。与 TempFile 类似，如果模式包含 \*，则随机字符串将替换最后一个 \*。

log

新的 Lmsgprefix 标志可用于告知日志函数在日志消息正文中立即输出可选的输出前缀，而不是在行首输出。

math

新的 FMA 函数以浮点数计算 x*y+z，且不对 x*y 计算进行中间舍入。一些体系结构使用专用的硬件指令来实现此计算，以获得额外的性能提升。

math/big

GCD 方法现在允许输入 a 和 b 为零或负数。

math/bits

新函数 Rem、Rem32 和 Rem64 支持在商溢出的情况下计算余数。

mime

.js 和 .mjs 文件的默认类型现在是 text/javascript 而非 application/javascript。这符合 IETF 草案，该草案将 application/javascript 视为过时类型。

mime/multipart

新的 Reader 方法 NextRawPart 支持获取下一个 MIME 部分，而不透明地解码 quoted-printable 数据。

net/http

新的 Header 方法 Values 可用于获取与规范化的键关联的所有值。

新的 Transport 字段 DialTLSContext 可用于指定可选的拨号函数，用于为非代理 HTTPS 请求创建 TLS 连接。这个新字段可以代替 DialTLS 使用，后者现在被视为已弃用；DialTLS 将继续工作，但新代码应使用 DialTLSContext，它允许传输层在不再需要时立即取消拨号。

在 Windows 上，ServeFile 现在可以正确提供大于 2GB 的文件。