Go slices.Compact 怎样减少临时分配

Go slices.Compact 通过原地压缩相邻重复元素，避免另建结果切片。必须保存返回值，例如 s = slices.Compact(s)。它会修改底层数组，不是全局去重工具，也不保证整个业务零分配。

官方地址：https://pkg.go.dev/slices

明确相邻去重目标

输入 12、12、18、12 按语义压缩为 12、18、12。这是示例推导，不是运行记录。若要求全局唯一，排序会改变顺序，集合则增加存储需求，应按业务选择。

保存返回切片，复用已有存储

package batch
import "slices"
// CompactOwned 要求调用方独占底层数组，返回新的有效范围。
func CompactOwned(ids []int) []int {
    return slices.Compact(ids)
}
// CompactCopy 保留原输入，主动支付副本的存储成本。
func CompactCopy(ids []int) []int {
    owned := slices.Clone(ids)
    return slices.Compact(owned)
}

第一种适合已交给当前工作单元的批次。第二种适合必须保留原始数据的场景，不能把它也称作免分配方案。调用方应将返回值写回自己的变量；原切片变量的长度不会自动更新。

别名是原地修改最容易遗漏的风险

saved := ids 只复制切片描述，两个变量仍指向同一数组。压缩改写内容后，saved 不是备份。当前官方实现还会清零原长度内不再使用的尾部位置；这有助于避免这些位置继续保留引用，但不等于安全擦除，也不覆盖原长度以外的容量区域。

需要原始批次作为审计输入时，应在修改前独立复制或保存。独立副本也只是元素赋值复制，元素内有指针时仍需定义共享规则。

按保留容量选择复制

长度变短后，结果仍可能保留大数组。长期缓存很小的结果时，可以主动复制有效前缀，并停止保存旧数组引用。此时增加一次复制，是为了减少长期保留。限制切片容量或者使用 Clip，并不自动分离旧数组。

比较规则与并发边界

Compact 用相等比较识别相邻重复。指针相等不表示对象字段相同；需要字段判等时考虑 CompactFunc，并让回调与业务语义一致。回调自身创建对象也可能产生分配。

不同切片变量可能共享重叠数组，不能无同步并发读写。可把一个批次交给一个工作单元独占，完成后仅传递有效结果，避免旧长度视图继续被使用。

相关问题

为什么忽略返回值后长度不变？函数返回新的切片描述，不能替调用方修改变量长度。

能保证业务零分配吗？不能。这里只解释避免新建结果切片的机制，没有测量数据，复制及周边逻辑仍可能分配。

可以直接替代全局去重吗？不能，它仅合并相邻重复段。

依据：官方 Compact 文档、官方源码。