Go 1.21新增的 slices 包详解（二）

Go 1.21新增的 slices 包提供了很多和切片相关的函数，可以用于任何类型的切片。

slices.Delete

定义如下：

func Delete[S ~[]E, E any](s S, i, j int) S

从 s 中删除元素 s[i:j]，返回修改后的切片。如果 s[i:j] 不是 s 的有效切片，则会 panic。Delete是 O(len(s)-j)，因此如果必须删除许多项，最好调用一次删除全部，而不是逐个删除。Delete不能修改元素 s[len(s)-(j-i):len(s)]。如果这些元素包含指针，可以考虑将这些元素归零，以便它们引用的对象可以被垃圾回收。简单示例如下：

package mainimport ("fmt""slices"
)func main() {letters := []string{"a", "b", "c", "d", "e"}letters = slices.Delete(letters, 1, 4)fmt.Println(letters) // [a e]}

slices.DeleteFunc

定义如下：

func DeleteFunc[S ~[]E, E any](s S, del func(E) bool) S

从 s 中删除 del函数返回 true 的元素，并返回修改后的切片。当 DeleteFunc 删除m个元素时，它可能不会修改元素s[len(s)-m:len(s)]。如果这些元素包含指针，、可以考虑将这些元素归零，以便它们引用的对象可以被垃圾回收。简单示例如下：

package mainimport ("fmt""slices"
)func main() {seq := []int{0, 1, 1, 2, 3, 5, 8}seq = slices.DeleteFunc(seq, func(n int) bool {return n%2 != 0 // 删除奇数})fmt.Println(seq) // [0 2 8]
}

slices.Equal

定义如下：

func Equal[S ~[]E, E comparable](s1, s2 S) bool

判断两个切片是否相等（长度相同且所有元素相等）。如果长度不同，返回 false。如果长度相同，将按索引递增的顺序比较元素，并在第一个不相等出现时停止比较。简单示例如下：

package mainimport ("fmt""slices"
)func main() {numbers := []int{0, 42, 8}fmt.Println(slices.Equal(numbers, []int{0, 42, 8})) // truefmt.Println(slices.Equal(numbers, []int{10})) // false
}

slices.EqualFunc

定义如下：

func EqualFunc[S1 ~[]E1, S2 ~[]E2, E1, E2 any](s1 S1, s2 S2, eq func(E1, E2) bool) bool

对每对元素使用自定义函数来判断两个片是否相等。如果长度不同，返回false。如果长度相同，将按索引递增的顺序比较元素，并在 eq 返回 false 的第一个索引处停止比较。简单示例如下：

package mainimport ("fmt""slices""strconv"
)func main() {numbers := []int{0, 42, 8}strings := []string{"000", "42", "0o10"}equal := slices.EqualFunc(numbers, strings, func(n int, s string) bool {sn, err := strconv.ParseInt(s, 0, 64)if err != nil {return false}return n == int(sn)})fmt.Println(equal) // true
}

slices.Grow

定义如下：

func Grow[S ~[]E, E any](s S, n int) S

增加片的容量，以为另外 n 个元素提供空间。在Grow(n)之后，至少可以将n个元素添加到片中，而无需再进行分配。如果 n 为负值或太大而无法分配内存，就会 panic。

slices.Index

定义如下：

func Index[S ~[]E, E comparable](s S, v E) int

返回 v 在 s 中第一次出现的索引，如果不存在则返回-1。简单示例如下：

package mainimport ("fmt""slices"
)func main() {numbers := []int{0, 42, 8}fmt.Println(slices.Index(numbers, 8)) // 2fmt.Println(slices.Index(numbers, 7)) // -1
}

slices.IndexFunc

定义如下：

func IndexFunc[S ~[]E, E any](s S, f func(E) bool) int

返回第一个满足 f(s[i]) 的索引 i，如果不满足则返回-1。简单示例如下：

package mainimport ("fmt""slices"
)func main() {numbers := []int{0, 42, -10, 8}i := slices.IndexFunc(numbers, func(n int) bool {return n < 0})fmt.Println("First negative at index", i) // 2
}

slices.Insert

定义如下：

func Insert[S ~[]E, E any](s S, i int, v ...E) S

将 值 v… 在索引 i 处插入到 s，返回修改后的切片。s[i:] 中的元素被上移以腾出空间。在返回的切片 r 中，r[i] == v[0]， r[i+len(v)] == 原来在 r[i] 处的 value。如果超出范围，则 panic。这个函数的复杂度为 O(len(s) + len(v))。简单示例如下：

package mainimport ("fmt""slices"
)func main() {names := []string{"Alice", "Bob", "Vera"}names = slices.Insert(names, 1, "Bill", "Billie")names = slices.Insert(names, len(names), "Zac")fmt.Println(names) // [Alice Bill Billie Bob Vera Zac]
}

slices.IsSorted

定义如下：

func IsSorted[S ~[]E, E cmp.Ordered](x S) bool

判断 x 是否按升序排序。简单示例如下：

package mainimport ("fmt""slices"
)func main() {fmt.Println(slices.IsSorted([]string{"Alice", "Bob", "Vera"})) // truefmt.Println(slices.IsSorted([]int{0, 2, 1})) // false
}

【参考资料】

Package slices（https://golang.google.cn/pkg/slices/）