Go 提案：增加泛型版 Slices 和 Maps 新包_Golang

Go 提案：增加泛型版 Slices 和 Maps 新包

2021-08-10 01:02脑子进煎鱼了陈煎鱼 Golang

今天要讨论的泛型版功能支持也是如此，分别包含：map（#47330）、slice（#45955）、container/set（#47331）三种通用类型的支持。

Go 提案：增加泛型版 Slices 和 Maps 新包

大家好，我是煎鱼。

现在是 2021 年 8 月份了，根据 Go 语言发布周期的 2，8 原则。Go 1.17 即将发布，在写这篇文章时，现在已经进行到了 rc2：

Go 提案：增加泛型版 Slices 和 Maps 新包

这意味着离 Go1.18 释出泛型的正式支持又近了一点点，社区中讨论泛型相关的周边功能的声音又多了起来。

今天要讨论的泛型版功能支持也是如此，分别包含：map(#47330)、slice(#45955)、container/set(#47331) 三种通用类型的支持。

我们主要展开 maps 和 slices，其余的都大同小异，理解核心思想就好。

maps

该提案建议定义一个新的包 maps，它将提供可用于任何类型的 map 的函数：

Go 提案：增加泛型版 Slices 和 Maps 新包

下面的描述侧重于描述 API 的提供：

package maps
func Keys[K comparable, V any](m map[K]V) []K
func Values[K comparable, V any](m map[K]V) []V
func Equal[K, V comparable](m1, m2 map[K]V) bool
func EqualFunc[K comparable, V1, V2 any](m1 map[K]V1, m2 map[K]V2, cmp func(V1, V2) bool) bool
func Clear[K comparable, V any](m map[K]V)
func Clone[K comparable, V any](m map[K]V) map[K]V
func Add[K comparable, V any](dst, src map[K]V)
func Filter[K comparable, V any](m map[K]V, keep func(K, V) bool)

slice

该提案建议定义一个新的包 slices，它将提供可用于任何类型的 slice 的函数：

Go 提案：增加泛型版 Slices 和 Maps 新包

下面的描述侧重于描述 API 的提供：

Equal：检查两个切片是否相等，以长度和元素值来比较。
EqualFunc：检查两个切片是否相等，以所传入的匹配函数来比较。
Compare/CompareFunc：
- Compare 比较两个切片 s1 和 s2 的元素。
- CompareFunc 与 Compare 类似，在每一对元素上使用所传入的比较函数。
Index：
- Index 返回值 v 在切片 s 中第一次出现的索引，如果不存在，则返回-1。
- IndexFunc 返回满足f(c)的第一个元素在s中的索引，如果没有则返回-1。
Contains：检查值 v 是否存在于切片 s 中。

插入、删除、克隆的 API 比较常见，这里我就不展开了。在通用类型的切片有一些比较特殊的 API：

Compact/CompactFunc：
- Compact 将连续运行的相等元素替换为单一的副本。这就像 Unix 中的 uniq 命令。会直接修改切片 s 的内容，不会重新创建一个。
- CompactFunc 与 Compact 方法类似，但是使用一个比较函数来匹配。
Grow：如果有必要，Grow 会增长切片的容量，以保证另外 n 个元素的空间。在 Grow(n) 之后，至少有 n 个元素可以被添加到分片中而不需要再分配。如果 n 是负数或者太大，无法分配内存，Grow 将陷入恐慌。
Clip：从切片中移除未使用的容量，返回s[:len(s):len(s)]。