Go 反射与 unsafe DeepEqual 比较 NaN 如何解释

先记住一个容易被忽略的结论：math.NaN() == math.NaN() 是 false，所以两个独立的 float64 NaN 经过 reflect.DeepEqual 也通常是 false。但如果比较的是同一个切片、同一个 map 或同一个指针，DeepEqual 可能因为引用身份直接返回 true。这不是 NaN 被判定为相等，而是容器比较命中了身份短路。

官方文档入口：https://pkg.go.dev/reflect。本文的示例只做语义推导，未在写作过程中执行，不把示例输出冒充本机运行结果。

最小示例先把三种比较结果拆开

package main

import (
    "fmt"
    "math"
    "reflect"
)

func main() {
    a := math.NaN()
    b := math.NaN()

    // 独立的 NaN 仍遵守浮点规则：NaN 不等于自身，也不等于另一个 NaN。
    fmt.Println(a == a, a == b, reflect.DeepEqual(a, b))

    left := []float64{a}
    right := []float64{b}
    same := left

    // 两个不同底层数组要逐元素比较，因此 NaN 让结果为 false。
    fmt.Println(reflect.DeepEqual(left, right))
    // same 与 left 指向同一切片，命中切片身份捷径，结果为 true。
    fmt.Println(reflect.DeepEqual(left, same))
}

按语言规则，上面三组结果分别对应数值比较、不同切片的内容比较和同一切片的身份比较。这里的 same := left 只复制切片描述符，不复制底层数组；而 right 是另一份切片，即使 NaN 的位模式碰巧相同，也仍然要面对 NaN 的数值语义。

DeepEqual 的递归规则为什么会出现看似矛盾的结果

reflect.DeepEqual 不是“把所有内存逐字节相同就算相等”。它对数字、布尔值、字符串和通道使用 Go 的 ==；数组、结构体和接口再递归比较其中的值。因此，含有 NaN 的数组或结构体也可能“不等于自己”。

指针是一个重要例外：如果两个指针本身用 == 相等，DeepEqual 不必继续展开其指向内容。切片和 map 也有同一对象的捷径。于是，下面这张表比“DeepEqual 是否支持 NaN”更准确：

因此，测试失败时先确认比较的是“值的副本”还是“同一引用”。如果测试在构造输入时反复使用同一个切片变量，可能只测到了身份捷径；如果要验证元素语义，应分别创建两个底层数组，并明确 NaN 是否被视为同类值。

unsafe 按字节比较回答的是另一道题

有些自定义 DeepEqual 会把对象转换成字节区再比较。对两个采用同一 NaN 位模式的 float64，字节可能完全一致，于是这类实现返回 true；但它回答的是“内存表示是否相同”，不是“两个浮点数是否按 Go 语义相等”。NaN 还可以有不同的 payload，位模式不同时即使都属于 NaN，字节比较也会返回不相等。

更麻烦的是，结构体可能包含 padding，字符串、切片、map 和指针字段包含运行时引用信息。直接比较整块内存会把未导出的布局、填充字节、地址变化或实现细节带进结果，既不便携，也不符合 unsafe 文档所说的类型安全边界。标准库 reflect 源码虽然内部使用 unsafe 管理循环比较所需的地址，但这不等于它用裸内存比较替代了 NaN 规则。

需要 NaN 相等时，写出业务规则而不是改写内存

如果业务把所有 NaN 视为同一个缺失值，可以在比较函数中先处理 NaN，再比较普通数字。读取位模式用于诊断或序列化协议时，优先使用 math.Float64bits，它比把任意对象强转成字节更清楚地限定了范围。

package compare

import "math"

// EqualFloat 将业务规则写明：两个 NaN 视为相等，其余值仍按 == 判断。
func EqualFloat(a, b float64) bool {
    if math.IsNaN(a) || math.IsNaN(b) {
        return math.IsNaN(a) && math.IsNaN(b)
    }
    return a == b
}

// SameBits 只适合诊断或协议层位模式比较，不是通用数值相等。
func SameBits(a, b float64) bool {
    return math.Float64bits(a) == math.Float64bits(b)
}

EqualFloat 解决的是“缺失值是否归为一类”；SameBits 解决的是“编码是否完全一致”。如果还要处理正负零、容差或 NaN payload，应在函数名和注释里继续写清楚，别把它们混进一个模糊的 DeepEqual。

落到测试、缓存和数据清洗时的检查清单

• 测试结构体时，分别覆盖两个独立对象和同一指针/切片对象。
• 断言前决定 NaN 是非法输入、缺失值，还是需要保留 payload 的浮点数据。
• 缓存键和去重逻辑不要直接使用 DeepEqual 推断 NaN 的业务身份。
• 只有协议或诊断明确要求位级一致时才比较 math.Float64bits。
• 涉及字符串、切片、map、指针或结构体 padding 时，不用裸内存扫描代替字段比较。

三个容易混淆的问题

为什么同一个含 NaN 的切片 DeepEqual 可能返回 true？

因为同一切片对象满足身份捷径，函数不需要逐元素比较；这不表示 NaN 与自身在浮点语义上相等。

用 unsafe 比较 NaN 位模式可以吗？

只在你明确需要表示层结果、并能承担布局与可移植性边界时考虑。单个 float64 的位模式诊断优先用 math.Float64bits，不要扩展成任意结构体的通用比较器。

反射比较要把 NaN 当成相等怎么办？

不要期待 DeepEqual 改变浮点规则；先写 EqualFloat 这类业务比较器，再递归处理结构体、切片或 map 中的字段。

判断结果时，把“浮点值相等”“对象引用相同”和“内存表示相同”分成三栏，NaN 的所有反直觉现象就都有了落点。

参考：https://pkg.go.dev/reflect、https://go.dev/src/reflect/deepequal.go、https://pkg.go.dev/math#IsNaN、https://pkg.go.dev/math#Float64bits、https://pkg.go.dev/unsafe。