Go slices.Concat 怎样合并多个切片并保留顺序

需要把多个批次的切片拼成一个结果时，Go 1.22 起可以直接使用 slices.Concat。它按参数出现的顺序复制元素，返回一个新切片；如果所有输入合起来没有元素，返回值是 nil。最小写法是 merged := slices.Concat(first, second, third)，不用手动计算容量或写多次 append。

先看 slices.Concat 的函数签名

标准库的函数签名是 Concat[S ~[]E, E any](slices ...S) S。slices ...S 表示可以传入任意数量的切片，~[]E 表示底层类型为切片的命名类型也能使用。函数会返回新的切片，不会把某个输入切片直接当成结果返回。

它最适合“已经有多个同类型批次，现在要得到一个连续结果”的场景。下面的静态关系图把输入批次、参数顺序和新结果放在一起，便于先记住核心语义。

按传入顺序合并多个切片

下面的例子模拟三个分页批次。函数调用的参数顺序决定结果顺序：第一批的元素先出现，第二批紧随其后，第三批最后出现。

package main

import (
	"fmt"
	"slices"
)

func main() {
	// 三个切片代表按顺序到达的批次，元素类型必须兼容。
	first := []string{"A-01", "A-02"}
	second := []string{"B-01"}
	third := []string{"C-01", "C-02"}

	// Concat 会按 first、second、third 的顺序生成一个新切片。
	merged := slices.Concat(first, second, third)
	fmt.Println(merged) // [A-01 A-02 B-01 C-01 C-02]
}

这里不需要把 first 当作目标切片，也不需要提前为结果预留容量。Concat 直接根据全部输入长度准备结果并复制元素；读者只要关注输入的逻辑顺序即可。

空切片和 nil 结果要分清

“没有元素”不等于“返回一个非 nil 的空切片”。官方文档明确规定：拼接结果为空时，返回值为 nil。因此下面三种调用在遍历上都不会输出元素，但结果的 nil 状态需要按代码分别判断。

package main

import (
	"fmt"
	"slices"
)

func main() {
	// 空输入、空切片和 nil 切片都没有元素，但语义可能不同。
	var nilSlice []int
	empty := []int{}

	noArgs := slices.Concat[int]()
	allEmpty := slices.Concat(empty, nilSlice)
	withData := slices.Concat(empty, []int{7})

	fmt.Println(noArgs == nil)   // true
	fmt.Println(allEmpty == nil) // true
	fmt.Println(withData)        // [7]
}

如果结果要编码成 JSON、区分“没有字段”和“字段为空数组”，或者参与缓存键计算，就要先确定 nil 是否有业务含义。只需要遍历或读取长度时，nil 切片和空切片都可以安全使用。

命名切片类型也能保持类型

如果项目把切片定义成命名类型，slices.Concat 的返回类型仍然是这个命名类型。这个特性适合在领域代码中保留方法集或语义名称，而不是合并后退化成裸切片。

package main

import (
	"fmt"
	"slices"
)

type UserIDs []int

func main() {
	// 命名切片的底层类型是 []int，因此可以参与 Concat 的类型推导。
	left := UserIDs{101, 102}
	right := UserIDs{201}
	merged := slices.Concat(left, right)

	fmt.Printf("%T %v\n", merged, merged) // main.UserIDs [101 102 201]
}

同一次调用的参数要使用同一种切片类型。UserIDs 与 []int 虽然底层元素相同，但不能把它们混在一次调用中期待函数自动替换类型；需要先显式转换，或者统一调用边界的类型。

什么时候用 Concat，什么时候用 append

如果目标是把若干现成切片合成新结果，slices.Concat 的表达更直接。如果已经有一个目标切片，并且希望复用它的容量或继续在原有结果上追加，append 更合适：

// 已经有目标切片时，append 表达“在现有结果后继续追加”。
result := make([]string, 0, 4)
result = append(result, first...)
result = append(result, second...)

简单判断可以记成：多个输入一次性拼接，用 Concat；已有结果需要逐步追加或复用容量，用 append。无论选择哪一种，都不要把输入切片的顺序交给 map 遍历，否则结果顺序就不再稳定。

常见误区与速查

总的来说，slices.Concat 解决的是“按确定顺序把多个同类型切片合成一个新切片”。把参数顺序、空结果的 nil 语义和命名类型这三个边界记住，就能在批处理、分页结果和领域 ID 集合中稳定使用。

延伸问题

slices.Concat 会修改输入切片吗？

它返回新的拼接结果，调用方不应把结果当成某个输入切片的别名来理解；如果元素本身是指针或引用类型，元素指向的对象仍遵循普通赋值语义。

空结果需要 JSON 数组怎么办？

可以在业务边界显式使用 make([]T, 0) 或字面量创建非 nil 空切片，再交给编码器。