Go log/slog Attr.Equal 怎么判断两个属性相等：组属性与值类型边界

做结构化日志断言时，最容易写错的不是字段名，而是“值看起来一样”是否真的代表两个 slog.Attr 相等。log/slog 提供的 Attr.Equal 比直接比较结构体更清楚，但它仍然会受到值类型、组属性和空属性的影响。

Attr.Equal 适合比较已经规范化的日志属性；先确认 Key，再让 Value.Equal 判断值，组属性则按组内容继续比较。不要把数值类型转换和空属性语义想当然。

先看清 slog.Attr 的比较对象

一个 slog.Attr 可以理解成一对数据：Key 是字段名，Value 是结构化值。日志处理器最后怎样排版，并不改变这两个字段本身。比如下面两个属性输出文本可能都像数字，但比较时仍要看它们的值类型。

package main

import (
    "fmt"
    "log/slog"
)

func main() {
    left := slog.Int("attempt", 3)
    right := slog.Int("attempt", 3)
    otherKey := slog.Int("retries", 3)

    fmt.Println(left.Equal(right))    // true
    fmt.Println(left.Equal(otherKey)) // false
}

这里的判断入口是 left.Equal(right)。字段名不同，即使数值相同，也不能视为同一条属性；这正是日志去重和测试断言需要的语义。

Attr.Equal 为什么不能只比较 String()

String() 是为了展示，Equal 是为了判断。把属性格式化成字符串再比较，会把格式化规则、转义方式和隐藏的类型信息混在一起。更稳妥的做法是让属性保持结构化状态，比较完成后再交给 slog.Handler 输出。

实际代码中，属性值的 slog.Kind 也是边界的一部分。slog.Int、slog.Int64、slog.Uint64 和浮点构造函数表达的数值类型不同，不能因为日志里都显示为 3 就推断一定相等。断言失败时，先把 Key 和 Kind 分开打印，别急着改比较函数。

func sameAttr(got, want slog.Attr) bool {
    if got.Key != want.Key {
        return false
    }
    return got.Value.Equal(want.Value)
}

这个小函数适合放在测试辅助层，但生产代码不必重复实现一套规则；优先使用标准库的 Attr.Equal，只有需要输出诊断信息时才拆开字段。

组属性、空属性和零值怎么判断

slog.Group 会把若干属性放进一个组值。比较组属性时，关注的是组名与组内属性，而不是处理器最终把它展开成几层文本。组内属性的顺序、空组是否被省略，也应该在测试里明确，而不是依赖某种日志格式。

groupA := slog.Group("request",
    slog.String("method", "GET"),
    slog.Int("attempt", 1),
)
groupB := slog.Group("request",
    slog.String("method", "GET"),
    slog.Int("attempt", 1),
)

if !groupA.Equal(groupB) {
    panic("request attributes differ")
}

如果比较的是可选字段，建议先约定“缺失”和“存在但为空”是否同义。slog.Any 携带的动态值也不能只看格式化结果；接口里装着不同的具体类型时，应在构造属性的地方统一约束。

把比较放进日志测试时的三个检查点

• 先比 Key：字段改名时应明确视为契约变化，不能用格式化字符串掩盖。
• 再比 Value：特别检查 Kind，避免 Int、Int64、Uint64 和 Float64 之间的误判。
• 最后看 Group：组名、组内空值和可选字段语义要在测试数据里写出来。

如果属性来自多个中间层，可以在进入 handler 前完成一次构造和规范化。这样既方便使用 Attr.Equal，也能避免同一字段有时用 slog.Any、有时用专用构造函数，导致日志内容相近却无法稳定断言。

相关问题

Attr.Equal 能不能替代日志文本比较？

可以优先替代。结构化属性比较不依赖 handler 的排版，但如果测试目标就是最终文本格式，仍应单独测试 handler 输出。

两个 Key 相同但数值类型不同，应该怎么处理？

先按业务契约决定是否允许转换；不要因为展示结果相同就默认相等。需要统一时，在创建 slog.Attr 的边界处完成转换。

组属性比较失败，先查哪里？

依次查看组名、组内属性数量、每个属性的 Key 和 Kind，再确认空组与缺失字段是否被业务规则视为同一状态。

小结

slog.Attr.Equal 的价值在于保留结构化语义：字段名、值和组属性都能按明确边界检查。把它用于日志去重或测试断言时，统一构造方式、区分值类型，并为可选字段写清空值规则，通常比修改最终日志字符串可靠得多。