Go 怎样原地压缩相邻重复元素

Go 可以用 s = slices.Compact(s) 原地合并连续相等的元素。要点是接住返回值：底层数组被改写，但调用前那份切片描述符不会自动缩短。相隔一段距离的重复元素不会被删除，也不需要为了使用 Compact 先排序。

标准库文档入口：https://pkg.go.dev/slices。标准库 slices 从 Go 1.21 开始可用；本文涉及尾部清零的例子按 Go 1.22 及以后版本解释。

最小写法：接住返回值，保留相邻段的顺序

package main

import (
    "fmt"
    "slices"
)

func main() {
    states := []string{"queued", "queued", "running", "running", "queued"}
    states = slices.Compact(states) // 必须接住新的有效长度。
    fmt.Println(states, len(states))

    source := []string{"east", "east", "west"}
    // 先复制再压缩，避免改写调用方持有的字符串切片。
    result := slices.Compact(slices.Clone(source))
    fmt.Println(source, result)
}

第一段输入表示一串状态记录。按代码语义，压缩后的预期值为 [queued running queued]，长度为3；末尾 queued 与开头 queued 不相邻，所以仍保留。第二段的预期值分别为 [east east west] 与 [east west]。这些是推导示例，未在本文制作过程中执行。

Compact 适合移除“连续重复通知”这一类冗余。如果业务要求每种状态在全部历史中只出现一次，那是全局去重任务，不能直接把这里的调用当成答案。先排序再 Compact 虽可让相同值聚集，却改变原顺序；状态记录若依赖顺序，不能随意这么改。

升级时需要关注哪些变化

这次版本差异没有把相邻去重改成全局去重，也没有让调用方的长度自动更新。依赖旧尾部残留值的代码本来就不应将其视为压缩结果；升级只是使这类错误更容易暴露。版本说明可查看 Go 官方文章：https://go.dev/blog/generic-slice-functions。

旧变量、别名和容量为什么仍然重要

alias := s 只复制切片描述符，不复制元素。Compact 后，新返回切片与旧别名仍关联同一个底层数组：新有效区可能覆盖了旧元素，旧长度视图还可能包含已经清零的尾部。不要把旧别名继续交给下游业务读取。

package main

import (
    "fmt"
    "slices"
)

func main() {
    a, b := 11, 22
    refs := []*int{&a, &a, &b, &b}
    oldView := refs // 仅作观察别名影响，不能继续作为业务数据。
    refs = slices.Compact(refs)

    // Go 1.22+：有效区缩为2，旧长度视图尾部两格为nil。
    fmt.Println(len(refs), len(oldView), cap(refs))
    fmt.Println(oldView[2] == nil, oldView[3] == nil)
}

该字面量有四个元素，预期长度依次为2和4，返回切片容量仍为4；两个尾部判断在 Go 1.22+ 预期都为 true。这里比较的是指针身份：两份不同地址的整数即使值相等，也不因此被 Compact 当成相同指针。

尾部清零的范围到调用时的原长度为止，不是整个容量范围。清零可去掉废弃槽位对对象的引用，但如果其他变量仍引用对象，或有效区仍保留该对象，它当然不会仅因为这次调用就变成不可达。长度变小也不等于底层数组的存储立即缩小。

需要保留输入时，先复制再压缩

第一个示例里的 slices.Clone 把保留输入这一决定放在调用处，方便读者明确谁拥有可写数据。它是浅复制：字符串切片的槽位可以独立改写；指针切片复制的是地址，不会深复制地址指向的对象。如果后续还要修改对象内容，仍需自己的复制策略。

原地操作意味着共享这块数组的并发读写也必须自行同步，Compact 不提供并发保护。不要拿一个小切片长度去推断它已经与大型数组脱离关系；若确实需要独立、紧凑的存储，应另行分配并复制有效元素，而不是继续复用原数组。

替换旧代码前，可按这份清单核对

• 输入任务确实是相邻去重，而不是保序全局去重。
• 所有调用都保留返回值，尤其留意嵌套作用域里的变量遮蔽。
• 下游按新长度遍历，不再继续使用旧别名充当结果。
• 跨 Go 1.21 与 Go 1.22 时，不依赖废弃尾部残值。
• 需要保留输入的地方显式复制，共享数组的地方约定写入权限。

可为自己的业务准备空切片、单元素、全相等、完全不相等及非相邻重复这五组输入；检查预期的段数和顺序，不把示例打印当成本文已经完成的测试记录。Compact 减少了手写搬移代码，不代表在任意负载上都有已证明的性能收益。

两个容易混淆的问题

空切片会报错吗？ 不会因为长度为0而报错；Compact 保持输入的 nil 属性。业务如果区分 nil 与非 nil 空切片，不能只依据打印出来的空方括号判断。

元素不能用等号比较怎么办？ Compact 要求元素可比较；有自定义相等规则时可以考虑 CompactFunc，但必须先约定什么叫相等。它仍然是相邻合并，不会自动变成全局去重工具。

归纳起来，迁移时真正需要一起改的是调用后的数据使用方式：返回值给出有效长度，底层数组仍有身份和别名，废弃尾部不再属于业务结果。