Go slices.EqualFunc 怎样按自定义规则比较两个切片

我在把接口返回的数值切片和配置文件里的字符串切片做对账时，发现普通的 slices.Equal 不够用：两边元素类型不同，业务上却可以通过解析后得到同一个值。这个场景适合用 slices.EqualFunc，让比较规则由调用方提供。

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

slices.EqualFunc 先比较两个切片长度，再按递增索引把元素交给 eq；长度不同或首次比较返回 false 时，整体结果就是 false。比较器只负责一对元素的判断，归一化、错误处理和副作用边界要在外层设计。

先按业务负载选择 Equal 还是 EqualFunc

如果两边是同一种可比较类型，例如两个 []int，slices.Equal 更直接。需要跨类型比较，或元素本身不能用 == 表达业务相等时，再使用 slices.EqualFunc。它的签名允许 S1 和 S2 是不同的切片类型：

package main

import "slices"

func sameIDs(left []int, right []string) bool {
    // eq 只描述一对元素怎样相等，不负责遍历或改变切片。
    return slices.EqualFunc(left, right, func(id int, text string) bool {
        // 这里用业务约定的十进制文本比较，解析失败就不是相等。
        parsed, ok := parseDecimal(text)
        return ok && id == parsed
    })
}

func parseDecimal(text string) (int, bool) {
    // 示例占位：生产代码应使用 strconv.Atoi 并处理越界错误。
    return 0, text == "0"
}

真正的解析函数应返回明确的错误或布尔结果。上面的示例只突出类型边界：左边的元素是 int，右边的元素是 string，不需要先把整个右侧切片复制成 []int。

长度是第一道约束，比较器不是全局过滤器

我第一次接入时最容易忽略的是：eq 不会改变“两个切片必须等长”的前提。官方契约要求长度不同直接返回 false，因此不能把它当成“从右侧找一个匹配项”的过滤器，也不能期待它完成集合比较。

长度相同后，函数按索引递增比较元素。只要某个位置的 eq 返回 false，后面的元素就不再参与比较。这种短路行为适合对账和校验，但也意味着比较器不应承担必须执行的统计、日志计数或外部写入。

package main

import "slices"

type Record struct {
    Code string
    Name string
}

func sameRecords(want, got []Record) bool {
    // 比较器保持纯判断语义，避免短路后遗漏必须执行的副作用。
    return slices.EqualFunc(want, got, func(a, b Record) bool {
        // 只比较业务需要的字段，展示字段不参与相等判断。
        return a.Code == b.Code && a.Name == b.Name
    })
}

如果你的需求是“只要顺序不同也算相等”，那已经超出 EqualFunc 的问题边界，应先定义排序或键化策略，再对归一化后的切片做比较。不要在 eq 里偷偷扫描另一边的全部元素，否则复杂度和语义都会失控。

空切片、nil 和比较器错误要在外层说清楚

长度相同的空切片会得到 true，包括空切片和 nil 切片的长度都为零这一情况。这个结果符合“没有发现不相等元素”的比较语义，但不一定符合接口业务语义：有些接口把 nil 表示“字段缺失”，把非 nil 空切片表示“明确提供了空集合”。

eq 只能返回 bool，不能把解析错误直接向外返回。因此跨类型比较时，通常有两种选择：把解析失败视为不相等，并在外层记录失败原因；或者先把输入归一化为带错误返回的中间结构，再调用 slices.Equal。

我的落地清单：先固定比较语义，再交给 EqualFunc

对我来说，slices.EqualFunc 最有价值的地方不是少写一个循环，而是把“两个切片如何相等”收束到一个可读的比较器里。只要先把长度、顺序、空值和错误语义说清楚，跨类型对账就能保持简洁；如果这些约束还没定，换一个函数名也解决不了问题。

常见问题

两个切片长度不同，eq 会被调用吗？

不会。长度不同会直接返回 false，比较器不会获得元素对。

EqualFunc 能比较无序集合吗？

不能直接比较。它按相同索引配对，若顺序不重要，应先按明确的业务键归一化。

eq 返回 false 后还会继续遍历吗？

不会。函数在首次不相等的位置停止，所以不要把必须执行的统计或写入放进比较器。