Go unique.Make 怎样为 comparable 值复用唯一句柄

Go 1.23 新增的 unique 包，解决的是“相等的值能不能拿到可复用的唯一句柄”这个问题。最小写法是调用 unique.Make：它接收一个满足 comparable 的值，返回 unique.Handle[T]。同值输入得到的句柄相等，后续可以比较句柄；需要原值时，再调用 Value() 取回产生句柄的值的浅拷贝。

如果你的目标是把重复的字符串、标签或小型配置值统一成可比较的句柄，使用 unique.Make；如果你需要过期、容量、淘汰、持久化或按业务键查找，它就不是完整缓存方案。

官方文档：https://pkg.go.dev/unique#Make

先确认 unique.Make 的返回语义

unique.Make[T comparable](value T) 的关键不在于返回一个普通指针，而在于返回一个可以比较的 Handle[T]。两个句柄相等，当且仅当创建它们时传入的两个值按 Go 的相等规则相等。官方文档把这类处理称为 canonicalization，也就是常说的 interning。

因此，判断一个类型能否使用它，先看类型是否满足 comparable。字符串、整数，以及字段全部可比较的结构体都适合做示例；包含切片或 map 的结构体不能直接作为这里的类型参数。

快速判断：什么时候应该比较 Handle

当同一类值会反复出现，而且调用方只关心“是不是同一个规范值”时，句柄比较会比反复携带完整值更直接。例如配置标签、协议字段名、有限集合中的状态对象，都可以先把值转换为句柄，再用句柄作为 map 的键或比较对象。

package main

import (
    "fmt"
    "unique"
)

type Label struct {
    Namespace string
    Code      uint64
}

func main() {
    // 字段全部满足 comparable，因此 Label 可以作为 unique.Make 的类型参数。
    left := unique.Make(Label{Namespace: "order", Code: 7})
    right := unique.Make(Label{Namespace: "order", Code: 7})

    // 相等的输入值产生相等的 Handle；比较的是句柄，不是内部实现细节。
    fmt.Println(left == right)
    fmt.Println(left.Value())
}

这里的重点是值相等关系，而不是“同一段代码是否调用过一次”。两个调用可以发生在不同函数、不同 goroutine 中，只要输入值相等，返回的句柄就可以相等。Make 官方定义为支持并发使用，但这不代表周边业务 map 自动获得并发安全。

处理步骤：让句柄承担去重和比较

在业务代码里，可以让句柄成为 map 的键，保存与规范值相关的轻量信息。这样做的边界很清楚：unique.Make 负责把值规范化为句柄，map 负责你的业务索引，两者不要混成一个“自动缓存”。

package main

import "unique"

type State struct {
    Name string
}

func buildStates(names []string) map[unique.Handle[string]]State {
    result := make(map[unique.Handle[string]]State, len(names))
    for _, name := range names {
        // 句柄适合作为可比较键；业务值仍由 map 自己保存和更新。
        handle := unique.Make(name)
        result[handle] = State{Name: name}
    }
    return result
}

如果 map 需要跨 goroutine 读写，仍然要按普通 map 的规则加锁，或者改用合适的并发容器。句柄只改变键的表示方式，不会替你完成锁、过期、淘汰和容量控制。

Value 的读取边界：拿到的是浅拷贝

Handle.Value() 返回产生该句柄的 T 值的浅拷贝。对于字符串、整数和只含值字段的结构体，这通常就是调用方需要的原值；但“浅拷贝”意味着嵌套指针仍然指向原来的对象，不能把返回值理解为递归复制。

package main

import (
    "fmt"
    "unique"
)

type ConfigKey struct {
    Service string
    Version uint16
}

func main() {
    // Handle 保存的是可比较的 ConfigKey 语义，不是给调用方修改的引用。
    handle := unique.Make(ConfigKey{Service: "billing", Version: 2})

    // Value 返回值副本；读取它不会改变 Handle 的相等关系。
    key := handle.Value()
    fmt.Printf("%s/%d\\n", key.Service, key.Version)
}

如果类型里包含指针字段，类型本身可能仍满足 comparable，但比较规则是指针是否指向同一对象；Value 也只会复制指针这个字段。需要独立可变对象时，应在业务层显式复制，而不是期待 Value 提供深拷贝。

回滚路径：不适合时退回原值或业务索引

如果迁移后发现调用方需要的是完整字符串内容、可过期缓存或可观测的业务主键，可以把句柄使用限制在比较层，保留原值字段；更简单的做法是直接回到原值作为 map 键。回滚时不需要把 Handle 序列化成稳定 ID，也不要把它当成跨进程协议字段。

尤其要注意三种“不适合”的信号：

• 类型包含切片或 map，无法直接满足 comparable 约束。
• 需要 TTL、淘汰、容量上限、持久化或跨进程共享。
• 需要深拷贝、版本迁移或稳定的外部标识，而不是进程内的比较句柄。

告警确认和复盘清单

把 unique.Make 放进生产代码前，可以用下面的清单快速确认边界：

一句话总结：unique.Make 适合把可比较值变成可复用的比较句柄，Handle.Value() 适合读取原值的浅拷贝；真正的业务索引、缓存策略和生命周期，仍然需要由你的代码明确负责。

相关问题

unique.Make 只能处理字符串吗？不是，只要类型满足 comparable，整数、指针或字段均可比较的结构体都可以作为类型参数，具体相等结果遵循 Go 类型规则。

Handle 可以代替缓存吗？不能。它提供规范化和比较语义，不提供 TTL、淘汰、容量和持久化。

Value 返回的是深拷贝吗？不是。官方 API 定义是浅拷贝；嵌套引用仍需由业务代码决定是否复制。