Go 1.20新变化！第一部分：语言特性

又到了 Go 发布新版本的时刻了！

2022 年第一季度的 Go 1.18 是一个主版本，它在语言中增加了期待已久的泛型，同时还有许多微小功能更新[1]与优化[2]。2022 年第三季度的 Go 1.19 是一个比较低调[3]的版本。

现在是 2023 年，Go 1.20 RC 版本[4]已经发布，而正式版本也即将到来，Go 团队已经发布了版本说明草案[5]。

在我看来，Go 1.20 的影响介于 1.18 和 1.19 之间，比 1.19 有更多的功能更新并解决了一些长期存在的问题，但没有达到 1.18 中为语言增加泛型这样的重磅规模。

尽管如此，我还是要把我对“Go 1.20 的新变化”的看法分成系列三篇博文。

首先，我写了 Go 1.20 中的语言变化（如下），在下一篇文章中，我将写标准库的重要变化，最后一篇将讲解 Go 1.20 中我最喜欢的对标准库的小改动。

---

那么，让我们来看看语言方面的变化。首先，对泛型的规则做了一个小小的修改。有了 Go 泛型，你可以通过一个函数获取任何map的键：

func keys[K comparable, V any](m map[K]V) []K {
    var keys []K
    for k := range m {
        keys = append(keys, k)
    }
    return keys
}
···

在这段代码中，K comparable, V any 为“类型约束”。这意味着 K 可以是任何 comparable 的类型，而 V 则没有类型限制。comparable 类型为数字、布尔、字符串和由 comparable 元素组成的固定大小的复合类型等。因此，K 为 int，V 为一个 bytes 切片是合法的，但 K 是一个 bytes 切片是非法的。

我说过上面的代码会给你任何 map 的键，但在 Go 1.18 和 1.19 中，这并不是完全正确的。如果你试图把它用在一个键值为接口类型的 map 上，它将不会被编译。

m := make(map[any]any) // ok
keys(m)
// 编译器错误（Go 1.19）：any 没有实现 comparable
···

这个问题归结为围绕 K comparable 含义的解读。要作为 map 键使用，类型必须被 Go 编译器认为是 comparable 的。例如，这是无效的：

m := make(map[func()]any)
// 编译器错误：无效的 map 键类型 func()
···

然而，你可以通过使用接口来得到一个运行时错误而不是编译器错误：

m := make(map[any]any) // 正确
k := func() {}
m[k] = 1 // panic：运行时错误：哈希值为不可哈希的类型 func()

<