Go unique.Make 适合缓存字符串吗：句柄比较、对象生命周期与内存取舍

标签系统里有一类很适合做规范化：同一个租户、地区或事件名会在请求中反复出现，业务代码既要保留原值，又经常要比较它们是否相同。Go 1.23 的 unique.Make 能把可比较值映射成规范化的 unique.Handle[T]，比较句柄通常比反复比较较长字符串更轻，但它不是“调用一次就永久缓存”的字符串池。

先把“字符串缓存”拆成比较和保活两个问题

一次请求进入标签路由器时，代码可能同时收到多份 region-cn。真正需要优化的往往不是“能不能拿到一个字符串”，而是两个不同动作：比较两个标签是否代表同一个值，以及在这批业务对象还活着时是否保留规范化值。unique 把这两件事分别放在 Handle 和 Value 上，别把它误解成只返回一个去重后的字符串。

这张图里的重点是中间的句柄。代码可以用句柄比较，真正需要展示或序列化时再调用 Value()。句柄相等表达的是创建它们的值相等，不要求业务代码自己比较长文本。

最小写法：保存 Handle，按需取回 Value

下面的例子把标签规范化为可比较的句柄，并保留句柄作为缓存项的一部分：

package main

import (
    "fmt"
    "unique"
)

type LabelKey struct {
    Handle unique.Handle[string]
}

func main() {
    left := unique.Make("region-cn")
    right := unique.Make("region-cn")

    fmt.Println(left == right) // true
    fmt.Println(left.Value())  // region-cn
}

Handle[string] 是值类型，可以放进结构体或映射键。Value() 返回规范化后的原值；需要写日志、生成响应或做展示时再取，不要为了“缓存字符串”把句柄立刻转成字符串后丢弃句柄。

生产边界：句柄的生命周期决定规范化条目何时可清理

unique 的内部表不是一张永久增长的业务表。只要某个值对应的 Handle[T] 仍然存活，内部条目就会继续被保留；当这一值的句柄都不再可达，运行时才有机会在后续垃圾回收过程中清理它。

因此，下面两种写法的意图不同：

这里别急着把所有用户输入都交给 unique.Make。如果输入基数很高、只比较一次，查表和句柄管理可能抵消收益；如果值来自不受控的长文本，先做长度、格式和业务范围校验，再决定是否规范化。

它为什么不是传统意义上的字符串驻留池

传统字符串驻留常让人期待“传入字符串，返回一个永远可复用的字符串”。unique.Make 的 API 选择了 Handle[T]，因为句柄既能表达值相等，又能告诉运行时这个规范化值是否仍被使用。也就是说，想依赖这张规范化表，就必须在需要的生命周期里保留句柄。

对于字符串，确实可以写成 unique.Make(s).Value()，但如果调用结束后没有保存返回的句柄，就不能把它当成严格的长期驻留策略。Go 官方对这个取舍的说明也很明确：unique 的重点是可比较值的规范化，字符串只是其中一种类型。

把边界写进测试：比较、取值和释放意图分别验收

func TestLabelHandle(t *testing.T) {
    first := unique.Make("region-cn")
    second := unique.Make("region-cn")
    other := unique.Make("region-us")

    if first != second {
        t.Fatal("equal values must produce equal handles")
    }
    if first == other {
        t.Fatal("different values must not share a handle")
    }
    if got := first.Value(); got != "region-cn" {
        t.Fatalf("unexpected value: %q", got)
    }
}

这个测试验证的是 API 语义，不应该用指针地址、内部表大小或某次 GC 后的实现细节做断言。若业务要求长期保留规范化值，就在业务对象里明确保存 Handle；若只是一次比较，保持句柄在函数作用域内即可。

常见问题

unique.Make 的类型参数必须是可比较类型吗？

是。它面向可比较值，例如字符串、整数、数组或字段全部可比较的结构体；切片、映射和函数不能直接作为 T。

两个 Handle 相等就一定代表 Value 相等吗？

在同一类型下，句柄相等对应创建它们的值相等。需要原值时调用 Value()，不要把句柄格式化成字符串来推断内部实现。

只保存 Value 会不会阻止内部条目被清理？

不能把它当成阻止清理的保证。保活语义依赖仍然可达的 Handle；只保存取出的字符串值，句柄可能已经不再存活。

unique.Make 能替代所有 map[string]struct{} 吗？

不能。普通映射更适合需要显式成员关系、计数、删除和遍历的业务集合；unique 主要解决规范化和句柄比较，不提供完整集合操作。

落地时记住这条判断线

如果重复的可比较值很多、比较发生频繁，而且对象生命周期能自然持有 Handle，unique.Make 值得做一个小范围基准。先测字符串比较、普通映射和句柄比较的真实数据，再看内存变化；不要把“全局去重”当成默认优化。最终代码里只要能看出谁持有句柄、何时取回 Value()，这项能力就不会变成一张没人敢清理的隐形缓存。