Go unique.Handle 怎么共享不可变值：类型参数、生命周期与缓存命中

服务端收到一批带租户、区域和策略版本的请求时，最容易被忽略的是“值一样”不等于“比较成本一样”。如果这些字段会被反复查找、去重或作为缓存键，Go 1.23 的 unique.Handle 可以把可比较值规范化成句柄：相同输入得到相等的句柄，业务代码只需保存句柄，就能把重复值的身份比较压到很小。

先看最小写法：重复策略如何变成同一个句柄

下面的例子把租户策略压成三个可比较字段。实际项目里，建议把它当作“不可变描述值”：创建后不再原地修改，读取时通过 Value() 取回值。

package main

import (
    "fmt"
    "unique"
)

type Policy struct {
    Tenant string
    Region string
    Tier   uint8
}

func main() {
    a := unique.Make(Policy{Tenant: "acme", Region: "cn-east", Tier: 2})
    b := unique.Make(Policy{Tenant: "acme", Region: "cn-east", Tier: 2})
    c := unique.Make(Policy{Tenant: "acme", Region: "cn-east", Tier: 3})

    fmt.Println(a == b) // true
    fmt.Println(a == c) // false
    fmt.Printf("%+v\n", a.Value())
}

运行结果的关键不是某个地址，而是 a == b 为 true。Handle 的等值关系跟传入值一致；不同策略版本得到不同句柄。对于长字符串或结构较大的可比较值，这个身份比较更适合放在热路径。

分层检查三个边界：类型、比较和取值

类型边界：必须是可比较值

unique.Make[T comparable] 的约束来自 Go 的比较规则。字符串、整数、数组以及字段全部可比较的结构体可以使用；包含切片、map 或函数字段的类型不能直接实例化。

type Good struct {
    Name string
    Tags [2]string
}

// type Bad struct { Tags []string }
// unique.Make(Bad{}) // 编译失败：Bad 不满足 comparable

如果原始对象含有切片，先提取真正参与身份判断的字段，重新设计一个小的描述值。不要为了通过编译把可变对象硬塞进规范化池。

比较边界：句柄相等不是深度相等的替代品

句柄相等表示“创建句柄时传入的值相等”。它适合作为缓存键、去重标识或快速分支条件，但不表示 Value() 拿到的是一份递归深拷贝。值里如果嵌套了指针，比较和生命周期都要按嵌套对象的语义处理。

取值边界：Value 返回浅拷贝

可以把 Value() 理解为从规范化值中取出一个 T 的副本。标量字段会直接复制；指针、切片、map 等引用型成员仍指向原来的底层数据。因此，用它保存配置快照时，配置内部也应保持不可变，或者在进入 Make 前完成必要的复制。

生命周期判断：Handle 更像可回收的规范化池

unique 内部会保留仍有句柄引用的规范化值。句柄不再被引用后，对应条目会变成可删除状态，实际回收要等运行时后续处理。这个设计避免了“全局 map 越写越大”的简单实现，但不提供定时过期、容量上限或命中率保证。

所以它适合值集合重复率高、对象逻辑上不可变、句柄能跟业务对象一起结束的场景。若业务要求按分钟淘汰、按租户隔离容量或主动删除，仍需要带淘汰策略的缓存；不要用 unique 代替 LRU。

把 Handle 放进缓存键前，先做一次验收

常见问题

unique.Make 能接收任意 Go 类型吗？

不能。类型参数必须满足 comparable。含切片、map 或函数字段的结构体不能直接使用，需要先抽取可比较的身份描述。

Handle.Value 会返回深拷贝吗？

不会，它返回 T 的浅拷贝。嵌套指针、切片或 map 仍可能共享底层数据，配置类值最好从创建到读取都保持不可变。

unique 可以替代带过期时间的缓存吗？

不可以。它解决的是可比较值的规范化和句柄比较，内部条目在句柄不可达后才有机会回收，没有业务级 TTL、容量上限或主动删除接口。

最后的判断

看到大量重复的可比较描述值时，可以先用 unique.Make 做一个小基准：比较原值和比较句柄的 CPU、分配与存活时间，再决定是否接入。把类型约束、浅拷贝和生命周期三个边界写进代码评审清单，通常比单纯追求一次缓存命中更重要。