Go 1.21新增的 slices 包详解(二)

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

slices.Delete

定义如下:

复制代码
func Delete[S ~[]E, E any](s S, i, j int) S

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

复制代码
package main

import (
	"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个元素时,它可能不会修改元素slen(s)-m:len(s)。如果这些元素包含指针,、可以考虑将这些元素归零,以便它们引用的对象可以被垃圾回收。简单示例如下:

复制代码
package main

import (
	"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 main

import (
	"fmt"
	"slices"
)

func main() {
	numbers := []int{0, 42, 8}
	fmt.Println(slices.Equal(numbers, []int{0, 42, 8})) // true
	fmt.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 main

import (
	"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 main

import (
	"fmt"
	"slices"
)

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

slices.IndexFunc

定义如下:

复制代码
func IndexFunc[S ~[]E, E any](s S, f func(E) bool) int

返回第一个满足 f(si) 的索引 i,如果不满足则返回-1。简单示例如下:

复制代码
package main

import (
	"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,返回修改后的切片。si: 中的元素被上移以腾出空间。在返回的切片 r 中,ri == v0, ri+len(v) == 原来在 ri 处的 value。如果超出范围,则 panic。这个函数的复杂度为 O(len(s) + len(v))。简单示例如下:

复制代码
package main

import (
	"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 main

import (
	"fmt"
	"slices"
)

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

【参考资料】

Package slices(https://golang.google.cn/pkg/slices/)

相关推荐
小小代码狗7 分钟前
PHP 常用函数与变量参考文档
开发语言·安全·php
编程阿峰29 分钟前
Python 环境配置(二)安装jupyter、matplotlib、numpy库
开发语言·python·jupyter·numpy·matplotlib
磁爆步兵1 小时前
内存分区:程序运行的核心秘密
java·开发语言·jvm
此生决int1 小时前
深入理解C++系列(06)——模版初阶与STL
开发语言·c++
swany2 小时前
同步数据中,只需要几秒钟 & milvus向量数据库不可用 dify1.16.1 升级后踩坑记录
开发语言·python·numpy
小杍随笔2 小时前
2025年Rust GUI框架实战万字避坑指南
开发语言·后端·rust
geovindu2 小时前
CSharp: LogHelper
开发语言·后端·c#·.net
奈斯先生Vector2 小时前
大模型 Agentic Workflow 架构解构:异构 API 调度与 Token 路由的多模态系统设计
开发语言·前端·架构·prompt·aigc·音视频
冻柠檬飞冰走茶2 小时前
PTA基础编程题目集 7-20 打印九九口诀表(C语言实现)
c语言·开发语言·数据结构·算法
fliter2 小时前
Go设计取舍之一: goroutine 为什么保持匿名、无状态
后端