Go slices.Compact 怎样复用已有缓冲空间

处理去重后的连续数据时，slices.Compact 会直接改写传入切片的底层数组，不会为了压缩结果主动创建一份新数组。它只合并“相邻且相等”的元素，所以正确用法是接住返回值：s = slices.Compact(s)。这样既能复用已有缓冲空间，又能让后续遍历只看到新的有效长度。

官方文档：https://pkg.go.dev/slices#Compact

先用返回值接住原地压缩结果

下面的输入中，两个连续的 "go" 和两个连续的 "db" 会各保留一个；分散在不同位置的相同字符串不会被合并。函数返回的是同一类切片类型，但长度已经改变。

package main

import (
	"fmt"
	"slices"
)

func main() {
	items := []string{"go", "go", "db", "db", "go"}

	// Compact 只合并相邻重复项，并把结果长度交还给调用方。
	items = slices.Compact(items)

	fmt.Println(items) // [go db go]
}

不要写成 slices.Compact(items) 后继续使用原变量。原变量的长度仍然是旧长度，尾部虽然已经被清理，却不再代表压缩结果。Go 官方也把这类函数设计成“原地修改、返回新切片头”，因为切片头中的长度需要传回调用方。

通过 len、cap 和地址判断是否复用缓冲

“复用缓冲”说的是压缩过程通常在原底层数组上向前搬运元素，而不是把每个保留值追加到新切片。可以用 cap 和首元素地址观察这个关系；不要把地址相同当成 API 对外承诺，真正稳定的判断是：压缩不会因为删掉重复项而要求增长容量。

package main

import (
	"fmt"
	"slices"
)

func main() {
	items := make([]int, 0, 8)
	items = append(items, 1, 1, 2, 3, 3)
	beforeCap := cap(items)
	items = slices.Compact(items)

	// len 变短而 cap 通常保留，说明可继续在这块缓冲上工作。
	fmt.Println(len(items), cap(items), beforeCap) // 3 8 8
}

如果后面还会继续批量追加，保留容量通常有利于减少分配；如果压缩后切片会长期保存，而旧容量很大，就应考虑收紧容量，避免无意中把整块大数组继续挂住。

处理指针元素的尾部清理与容量边界

Compact 会把新长度到旧长度之间的元素置为元素类型的零值。对指针、切片、map 或接口元素来说，这意味着不再让被淘汰的对象通过底层数组保持可达。调用方仍要遵守一个边界：返回切片才是有效视图，旧切片不能继续当作完整数据使用。

若不希望后续调用方利用剩余容量扩展到旧尾部，可以使用三索引切片；它不复制数据，只把容量上限改为当前长度：

package main

import "slices"

func compactAndFreeze[T comparable](items []T) []T {
	// 先复用底层数组完成连续重复项压缩。
	items = slices.Compact(items)
	// 三索引切片阻止后续 append 越过当前有效长度写入旧尾部。
	return items[:len(items):len(items)]
}

如果只是想释放尾部容量，也可以使用 slices.Clip；它表达的是“容量与长度对齐”的意图。两者都不会改变元素内容，但会让后续追加更容易触发新分配，选择前要确认调用方是否还需要复用空间。

自定义相等规则时改用 CompactFunc

默认的 Compact 要求元素可比较，并使用 Go 的相等运算。如果业务上把大小写不同的名称视为同一项，应使用 CompactFunc，但它仍然只处理连续分组，且同样需要接回返回值。

import (
	"slices"
	"strings"
)

names := []string{"go", "GO", "db", "DB", "go"}

// EqualFold 只改变相等判断，不会把分散的最后一个 go 移到前面。
names = slices.CompactFunc(names, strings.EqualFold)

因此，先排序再压缩会改变业务顺序，不能为“全局去重”机械套用。需要保持原顺序的全局去重，应另建集合记录已经出现的值；需要只压缩日志、批处理或相邻事件流时，slices.Compact 才是更贴合语义的选择。

相关问题

Compact 会分配新内存吗？

单纯压缩已有元素时，它通过修改传入切片的内容并返回缩短视图来复用底层数组；不要把这理解成任何场景都保证零分配，调用链中其他操作仍可能分配。

为什么 Compact 后还要重新赋值？

因为切片长度属于切片头，不会因函数内部修改而自动回写到调用方。只有接住返回值，遍历和追加才会遵守新的有效范围。