Go slices.Compact 怎样处理空值和异常分支

如果你把“空值”理解成空字符串、零值或 nil，然后直接调用 slices.Compact，很容易把“去重”和“过滤”混在一起。Compact 只会把连续相等的元素压成一个，nil 切片仍然是 nil，空但非 nil 的切片也不会被改成 nil；真正的业务异常需要在调用前由封装层明确返回。

处理这类分支的关键是先区分输入语义，再调用 Compact：它负责原地压缩连续重复项，不负责判断数据是否缺失，也不负责删除所有空字符串或零值。

Compact 到底会处理什么

slices.Compact 的签名是 func Compact[S ~[]E, E comparable](s S) S。元素类型必须可比较，函数会修改切片底层数组并返回长度可能变短的切片。它保留每段连续重复值的第一个元素，因此输入中不相邻的相同值不会被合并。

package main

import (
	"fmt"
	"slices"
)

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

	// Compact 只折叠相邻的相等元素，不把空字符串当成待删除数据。
	values = slices.Compact(values)
	fmt.Printf("%q len=%d\\n", values, len(values))
}

这个例子中，开头连续的两个空字符串只保留一个，中间两个 go 只保留一个，最后的空字符串因为不与前一个元素相等而继续存在。若业务规则是“删除所有空字符串”，应先用过滤逻辑表达这个规则，再按需调用 Compact，而不是把 Compact 当作过滤器。

nil 和空但非 nil 要分开判断

Go 中 var nilValues []string 与 emptyValues := []string{} 的长度都为 0，但前者为 nil，后者不是 nil。官方文档说明 Compact 会保留输入切片的 nil 性；这意味着调用 Compact 不会替业务层替换这两种状态。

package main

import (
	"fmt"
	"slices"
)

func main() {
	var nilValues []string
	emptyValues := []string{}

	// 先调用 Compact，再单独观察 nil 语义，避免只用 len 判断结果。
	nilValues = slices.Compact(nilValues)
	emptyValues = slices.Compact(emptyValues)
	fmt.Println(nilValues == nil, emptyValues == nil)
}

如果接口把 nil 表示“字段没有提供”，把空但非 nil 表示“明确提供了空集合”，就不要在通用工具函数里统一执行 make([]T, 0) 或把结果归一化。序列化、补丁更新和数据库写入都可能依赖这个差异。

没有错误返回时，异常由封装层负责

Compact 本身没有 error 返回值，也不会因为 nil 或空切片而报错。因此“输入缺失是否异常”必须由业务函数定义，而不是期待标准库替你判断。建议把校验、压缩和结果状态放在同一个小封装里，调用方只接收清晰的结果。

package compactdemo

import (
	"errors"
	"slices"
)

var ErrMissingItems = errors.New("items were not provided")

// CompactItems 将 nil 解释为缺失；空但非 nil 解释为合法空集合。
// 业务如果不需要这一区分，可以删除 ErrMissingItems 分支并直接返回结果。
func CompactItems(items []string) ([]string, error) {
	if items == nil {
		return nil, ErrMissingItems
	}

	// Compact 只处理连续重复项，空字符串仍由调用方按业务规则保留或过滤。
	return slices.Compact(items), nil
}

这里的“异常”是业务定义的错误，不是 Compact 的运行时异常。对空但非 nil 的输入返回一个长度为 0 的切片，可以让调用方继续走“查询成功但没有结果”的分支；对 nil 输入返回错误，则能把“未提交字段”和“空集合”区分开。

比较规则和底层数组也要设好边界

当元素类型不可比较，或者业务相等规则不是 Go 的直接相等关系时，应使用 slices.CompactFunc。例如名称去重可能需要忽略大小写，这时直接使用 Compact 会保留 "Go" 和 "go" 两个相邻值。

package main

import (
	"fmt"
	"slices"
	"strings"
)

func main() {
	names := []string{"Go", "go", "Rust", "rust", "Go"}

	// CompactFunc 用业务相等规则比较相邻元素；最后一个 Go 不相邻，不会被合并。
	names = slices.CompactFunc(names, func(left, right string) bool {
		return strings.EqualFold(left, right)
	})
	fmt.Println(names)
}

Compact 会把新长度到原长度之间的元素清零。切片的旧别名仍可能拥有原来的容量，所以不要让别名继续按旧长度读取；如果不希望结果保留多余容量，可以在业务确认不再追加后调用 slices.Clip。

发布前的边界检查清单

在生产代码中，可以把上表转成单元测试：至少覆盖 nil、空但非 nil、相邻重复、不相邻重复、空字符串和自定义比较规则。这样检查的是业务语义是否稳定，而不是把 Compact 错当成一个带错误处理的过滤 API。

常见问题

Compact 会删除所有重复值吗？

不会。它只压缩连续相等的一段；相同值如果被其他元素隔开，会继续保留。

空字符串会被 Compact 删除吗？

不会。空字符串只是一个可比较的字符串值，只有它与前一个元素连续相等时才会被折叠。

什么时候应该使用 CompactFunc？

元素不可比较，或业务相等规则需要忽略大小写、只比较某个字段时，使用 CompactFunc 更合适。

Compact 失败会返回 error 吗？

不会。nil、空切片和普通输入都由函数正常处理；如果 nil 代表业务缺失，应在调用 Compact 前显式校验。