Handle 值相等是否意味着原始对象地址相同

先把结论说清楚：unique.Handle[T] 相等，只说明创建它们时传入的两个 T 值按 Go 的 == 规则相等。它内部确实用指针表示规范值，但那个指针属于 unique 的内部存储，不是原始输入对象的地址。只有当 T 本身是指针时，指针值的相等才恰好具有“地址相同”的含义。

判断 Handle 是否代表同一个对象，先看泛型参数 T 的相等语义；不要从 Handle 的内部实现反推原始对象身份。

Handle 相等比较的是 T 的 == 结果，不是输入对象地址

Handle[T] 的设计目标是把可比较值规范化。官方文档给出的语义是：两个 Handle 相等，当且仅当创建它们的值相等；Value() 返回产生该 Handle 的 T 值的浅拷贝。也就是说，真正决定结果的是 T 的 ==，而不是调用者当时把值放在了哪块内存。

官方文档入口可以直接复制：https://pkg.go.dev/unique。下面这段关系图把三层概念分开：输入值的相等语义、内部规范值和对外可比较的 Handle。

源码中的 Handle[T] 持有一个指向规范值的内部指针，因此相等比较可以很轻量。但这个指针是 unique.Make 为规范化管理建立的存储位置，不能拿来回答“调用者最初的对象在哪个地址”。

用指针类型验证地址例外

当 T 写成 *Node 时，传入 unique.Make 的值本来就是一个指针。Go 对指针使用 == 时比较的是指针值，因此这个特例下，Handle 相等可以解释为两个输入指针指向同一地址。

package main

import (
    "fmt"
    "unique"
)

type Node struct {
    Name string
}

func main() {
    left := &Node{Name: "go"}
    same := left                       // 中文注释：复制指针值，仍指向同一个 Node
    right := &Node{Name: "go"}         // 中文注释：内容相同，但这是另一块对象存储

    hLeft := unique.Make(left)
    hSame := unique.Make(same)
    hRight := unique.Make(right)

    fmt.Println(hLeft == hSame)        // 中文注释：指针值相等，所以 Handle 相等
    fmt.Println(hLeft == hRight)       // 中文注释：两个 Node 地址不同，所以 Handle 不等
    fmt.Println(hLeft.Value() == hSame.Value()) // 中文注释：Value 返回的仍是同一个指针值
}

这段代码的判断重点不是 Handle “找回了” left 的对象地址，而是 left 和 same 传进去的指针值相同。right 即使字段内容完全一样，指针值仍不同，所以 hLeft 与 hRight 不会相等。

指针类型与值类型的判断边界

换一个泛型参数，结论就会改变。字符串按内容比较；可比较结构体按字段递归使用 ==；数字直接按数值比较。这些类型可以获得相等 Handle，但“原始对象地址”并不是它们相等规则的一部分。

type Key struct {
    Service string
    Version int
}

textA := string([]byte{'g', 'o'}) // 中文注释：构造一个字符串值，不依赖字符串存储地址
textB := "go"
stringEqual := unique.Make(textA) == unique.Make(textB)

keyEqual := unique.Make(Key{Service: "api", Version: 1}) ==
    unique.Make(Key{Service: "api", Version: 1}) // 中文注释：结构体按字段值比较

_ = stringEqual
_ = keyEqual

生产代码中的四项检查

1. 先看 T。如果需求是对象身份，明确使用指针或业务 ID；不要因为看到 Handle 就默认它提供对象身份。
2. 确认可比较性。T 必须满足 comparable，切片、映射和包含不可比较字段的结构体不能直接作为参数。
3. 正确理解 Value。Value() 返回的是 T 的浅拷贝。若 T 是结构体，其中的指针、切片或接口字段仍保留浅拷贝语义。
4. 不要把规范化当永久对象表。Handle 适合做值的轻量身份和 Map key；如果业务需要独立控制对象生命周期，应保留自己的对象引用或稳定 ID。

因此，标题中的问题不能只回答“是”或“否”：对 Handle[*Node]，相等意味着输入指针值相等；对 Handle[string]、Handle[Key] 等值类型，相等只意味着输入值相等。这个区分就是避免误用 unique.Handle 的关键。

常见问题

Handle 可以直接作为 map 的 key 吗？

可以。Handle[T] 本身可比较，适合把规范化后的值用作 Map key；但 key 的等价关系仍然继承 T 的 == 语义。

两个 Handle 相等时，Value 一定完全相同吗？

它们代表的 T 值按 == 相等，Value() 返回浅拷贝。这里的“相同”是值语义，不代表两个调用者持有同一个外部对象。

业务需要判断同一个对象时该怎么做？

直接比较明确的指针值，或比较业务层生成的稳定 ID。只有在 T 明确是指针且团队接受这种语义时，才把 Handle[*T] 用作对象身份索引。