在 Go1.22 这个新版本起，切片（Slices）新增和变更了一些行为。对于开发者相对更友好了一点。
以下涉及 Concat、Delete、DeleteFunc、Replace、Compact、CompactFunc、Insert 等函数的新版本调整的讲解和分享。
新增 Concat 函数
在以前的 Go 版本中，有一个很常见的使用场景，如果我们想要拼接两个切片。必须要手写类似如下的代码：
func main() { s1 := []string{"煎鱼", "咸鱼", "摸鱼"} s2 := []string{"炸鱼", "水鱼", "煎鱼"} s3 := append(s1, s2...) fmt.Println(s3) }
输出结果：
[煎鱼 咸鱼 摸鱼 炸鱼 水鱼 煎鱼]
如果在 Go 工程中常用到，大家还会在类似 util 包上补一个这种函数，便于复用。搞不好还要基于不同的数据类型都实现一遍。
可能的实现如下：
func concatSlice[T any](first []T, second []T) []T { n := len(first) return append(first[:n:n], second...) } func main() { s1 := []string{"煎鱼", "炸鱼"} s2 := []string{"水鱼", "摸鱼", "煎鱼"} s3 := concatSlice(s1, s2) fmt.Println(s3) }
输出结果：
[煎鱼 炸鱼 水鱼 摸鱼 煎鱼]
如果要合并超过 2 个的切片，这个函数的实现就更复杂一些。
但是！
在 Go1.22 起，新增了 Concat 函数，可以用于拼接（连接）多个切片。不需要自己维护一个公共方法了。
Concat 函数签名如下：
func Concat[S ~[]E, E any](slices ...S) S
使用案例如下：
import ( "fmt" "slices" ) func main() { s1 := []string{"煎鱼"} s2 := []string{"炸鱼", "青鱼", "咸鱼"} s3 := []string{"福寿鱼", "煎鱼"} resp := slices.Concat(s1, s2, s3) fmt.Println(resp) }
该函数是基于泛型实现的，不需要像以前一样，每个类型都在内部实现一遍。用户使用起来非常方便。但需要确保传入的切片类型都是一致的。
其内部函数实现也比较简单。如下代码：
// Concat returns a new slice concatenating the passed in slices. func Concat[S ~[]E, E any](slices ...S) S { size := 0 for _, s := range slices { size += len(s) if size < 0 { panic("len out of range") } } newslice := Grow[S](nil, size) for _, s := range slices { newslice = append(newslice, s...) } return newslice }
需要注意的是：当 size < 0 时会触发 panic。但我感觉这更多只是一个防御性的编程处理。一般情况下不会被触发。
变更 Delete 等函数行为结果
Go1.22 起，将对会缩小切片片段/大小的相关函数的结果行为进行调整，切片经过缩小后新长度和旧长度之间的元素将会归为零值。
将会涉及如下函数：Delete、DeleteFunc、Replace、Compact、CompactFunc 等函数。
以下是一些具体的案例。分为旧版本（Go1.21）、新版本（Go1.22 及以后）。
Delete 相关函数
旧版本：
func main() { s1 := []int{11, 12, 13, 14} s2 := slices.Delete(s1, 1, 3) fmt.Println("s1:", s1) fmt.Println("s2:", s2) }
输出结果：
s1: [11 14 13 14] s2: [11 14]
新版本程序不变，运行结果发生了改变，输出结果为：
s1: [11 14 0 0] s2: [11 14]
Compact 函数
旧版本：
func main() { s1 := []int{11, 12, 12, 12, 15} s2 := slices.Compact(s1) fmt.Println("s1:", s1) fmt.Println("s2:", s2) }
输出结果：
s1: [11 12 15 12 15] s2: [11 12 15]
新版本程序不变，运行结果发生了改变，输出结果为：
s1: [11 12 15 0 0] s2: [11 12 15]
Replace 函数
旧版本：
func main() { s1 := []int{11, 12, 13, 14} s2 := slices.Replace(s1, 1, 3, 99) fmt.Println("s1:", s1) fmt.Println("s2:", s2) }
输出结果：
s1: [11 99 14 14] s2: [11 99 14]
新版本程序不变，运行结果发生了改变，输出结果为：
s1: [11 99 14 0] s2: [11 99 14]
变更 Insert 函数行为，可能会 panic
旧版本：
func main() { s1 := []string{"煎鱼", "炸鱼", "水鱼"} s2 := slices.Insert(s1, 4) fmt.Println("s1:", s1) fmt.Println("s2:", s2) }
输出结果：
s1: [煎鱼 炸鱼 水鱼] s2: [煎鱼 炸鱼 水鱼]
新版本程序不变，运行结果发生了改变，输出结果为：
panic: runtime error: slice bounds out of range [4:3] goroutine 1 [running]: slices.Insert[...]({0xc00010e0c0?, 0x10100000010?, 0x7ecd5be280a8?}, 0xc00010aee8?, {0x0?, 0x60?, 0x10052e4c0?}) ...
以上场景是使用 slices.Insert 函数下，以前没有填入具体要插入的元素，是会正常运行的。在新版本起，会直接导致 panic。
当然，如果一开始就有填入。无论是新老版本，都会导致 panic。相当于是修复了一个边界值了。
一点质疑
可能会有同学说，这不对劲啊。Go1 不是有兼容性保障吗？这么多函数的行为变更，是可以这么干的吗？
从官方文档角度来看是可以的，因为其强调了其当前文档并未承诺将过时元素归零或不归零。也就是没有承诺不变，但承诺过可能产生变更。
总结
今天我们针对切片（Slices）的各函数变更和新增进行了实际的讲解和案例分享。整体来看，还是基于泛型做的修修补补，虽然不是大功能特性。但是对于我们实际做 Go 工程开发的同学来讲，这是比较实在的。
