Go maps.EqualFunc 如何比较带浮点字段的 map

我第一次把两份带测量值的 map 做比对时，直觉是把值结构体直接交给 maps.Equal。很快就发现，真正要回答的不是“两个 map 是否长得一样”，而是“两个浮点字段在什么误差范围内算一样”。这正是 maps.EqualFunc 的用武之地：它负责遍历同一组键，把每对值交给你提供的比较函数。

比较带浮点字段的 map 时，先用 maps.EqualFunc 对齐键和值，再在 eq 函数里明确绝对误差、相对误差以及 NaN 的规则。不要把浮点容差写成 map 的默认行为。

为什么不能直接用 maps.Equal

maps.Equal 要求值类型可比较，并且按 Go 的 == 判断值。带有 float64 的结构体虽然可以比较，但计算产生的 0.1、0.2 一类结果可能包含舍入差异；即使两个业务读数应该视为相同，直接比较也可能返回 false。

maps.EqualFunc 的关键签名可以概括为：

maps.EqualFunc(m1, m2, eq)

它先比较两个 map 的长度，再从第一个 map 取出键，到第二个 map 查找同名键；键不存在或 eq 返回 false 时，整体结果就是 false。官方实现明确了两个边界：键仍按 ==，值才交给 eq。因此，比较器不能把缺失键当成“数值接近”来忽略。

把浮点字段封装成可复用比较器

下面的例子用传感器读数表示 map 值。阈值只是演示，真实项目应根据精度、单位和误差预算调整。比较结构体时，把字段级规则集中在 readingEqual，调用处只保留 map 的语义。

package main

import (
	"fmt"
	"math"
	"maps"
)

type Reading struct {
	Voltage float64
	Current float64
}

func closeFloat(a, b float64) bool {
	// 先约定 NaN 的业务语义：两个 NaN 在这里视为同一个缺测值。
	if math.IsNaN(a) || math.IsNaN(b) {
		return math.IsNaN(a) && math.IsNaN(b)
	}
	// 无穷大只和同号无穷大相等，避免被普通容差误判。
	if math.IsInf(a, 0) || math.IsInf(b, 0) {
		return a == b
	}
	// 绝对误差照顾接近零的数，相对误差照顾数量级较大的数。
	diff := math.Abs(a - b)
	scale := math.Max(math.Abs(a), math.Abs(b))
	return diff 

这个比较器的重点不是某个固定数字，而是责任分层：maps.EqualFunc 处理 map 的结构，readingEqual 处理结构体字段，closeFloat 处理浮点策略。这样以后增加 Temperature 字段时，改动位置也很明确。

NaN、无穷大和容差要先定规则

Go 规范规定浮点比较遵循 IEEE 754。NaN 不等于包括自身在内的任何 NaN，所以如果比较器直接写 a == b，两个缺测值会被判为不同。上面的示例选择“两个 NaN 相等”，但这不是唯一答案：如果业务要求每个 NaN 都代表未知状态，就应让比较器对 NaN 直接返回 false。

无穷大也不适合套普通误差公式。示例先用 math.IsInf 分流，再用 a == b 保证只有同号无穷大相等。对有限数，绝对误差适合接近零的数，相对误差适合数量级变化大的数；阈值越宽，越容易把真实差异吞掉。

最后检查 map 结构而不是遍历顺序

map 的遍历顺序不应成为比较条件。maps.EqualFunc 只关心长度、键是否存在以及对应值是否通过 eq；两个 map 即使插入顺序不同，只要键和值规则一致，结果就应一致。

如果值包含切片、map 或函数，值本身不再适合用普通 ==，但 EqualFunc 仍可以接收一个能处理这些字段的比较器。若比较器含有容差，它最好保持对称，并在测试中写出边界值；不要把近似相等误当成严格等价关系。

常见问题：maps.EqualFunc 会比较 map 的遍历顺序吗

不会。它通过键查找对应值，不要求两个 map 以相同顺序插入或遍历。真正影响结果的是键集合、值比较函数以及你在比较器里制定的浮点特殊值规则。

相关问题

• 可以只对一个字段使用容差吗？可以，在结构体比较器中让不同字段使用不同阈值，但要把单位和原因写清楚。
• 为什么长度相同仍可能不相等？因为第二个 map 可能缺少第一个 map 的某个键，或者对应值没有通过 eq。
• 容差是否越大越好？不是。它应小于业务能接受的误差，否则比较结果会掩盖真实变化。