Go unique.Make 怎样组合到一个小型工具中

做一个小型标签工具时，我通常先遇到一个很具体的问题：同一个标签会在不同输入位置反复出现，字符串比较和去重逻辑散落在各处，后面再加注册编号、分组或缓存就容易变得混乱。Go 1.23 加入的 unique 包，正好可以把可比较的值规范化为可比较的 Handle[T]。

官方地址：https://pkg.go.dev/unique

这篇文章把 unique.Make 组合进一个小型标签注册器：输入先做轻量规范化，再生成 Handle[string]；相同标签共享同一身份，工具自己的 map 负责编号和查询。需要注意的是，unique.Make 的并发安全不会自动扩展到我们自己维护的 map。

先把 unique.Make 的职责说清楚

unique.Make[T](value) 要求 T 满足 comparable。它返回一个 Handle[T]，两个输入值相等时得到的句柄也相等，因此句柄之间的比较通常比直接比较复杂值更轻量。句柄还可以调用 Value() 取回产生它的值的浅拷贝。

这个工具并不是把字符串“加密”成 ID，也不是给数据生成跨进程、跨重启都不变的主键。它更像是当前程序内的规范化身份：特别适合标签、枚举值、配置键和值对象。输入清洗仍然由业务负责，例如是否去除首尾空格、是否拒绝空字符串，不要把这些策略交给 unique 包。

先把标签身份抽出来

下面这张结构说明图只表达数据关系：两个内容相同的标签会落到同一个句柄身份，注册器再给这个身份挂上自己的编号。

用 Handle[string] 作为小工具的核心键

注册器只保存两类业务状态：句柄到编号的映射，以及编号到展示文本的映射。前者用于快速判断标签是否已经登记，后者用于生成列表或打印结果。把字符串规范化放在 Add 的入口，可以避免调用方各自决定空格规则。

package main

import (
    "strings"
    "sync"
    "unique"
)

// LabelRegistry 给规范化后的标签分配进程内编号。
type LabelRegistry struct {
    mu         sync.RWMutex
    nextID     int
    ids        map[unique.Handle[string]]int
    valuesByID map[int]string
}

// NewLabelRegistry 创建一个可以被多个请求共享的注册器。
func NewLabelRegistry() *LabelRegistry {
    return &LabelRegistry{
        ids:        make(map[unique.Handle[string]]int),
        valuesByID: make(map[int]string),
    }
}

// Add 先清理输入，再用 Handle 作为去重键；空标签不进入注册表。
func (r *LabelRegistry) Add(raw string) (int, bool) {
    label := strings.TrimSpace(raw)
    if label == "" {
        return 0, false // 明确拒绝空值，避免产生无意义的标签身份
    }

    handle := unique.Make(label)
    r.mu.Lock()
    defer r.mu.Unlock() // 保证 map 和编号在同一临界区内更新

    if id, ok := r.ids[handle]; ok {
        return id, true // 同一规范化值复用已有编号
    }

    r.nextID++
    r.ids[handle] = r.nextID
    r.valuesByID[r.nextID] = label
    return r.nextID, true
}

// Same 比较两个规范化标签的身份，不依赖注册顺序。
func (r *LabelRegistry) Same(left, right string) bool {
    left = strings.TrimSpace(left)
    right = strings.TrimSpace(right)
    if left == "" || right == "" {
        return false // 空输入不参与业务比较
    }
    return unique.Make(left) == unique.Make(right)
}

// Value 按编号取回展示文本；不存在时返回 false。
func (r *LabelRegistry) Value(id int) (string, bool) {
    r.mu.RLock()
    defer r.mu.RUnlock() // 读取期间保持编号表的一致视图
    value, ok := r.valuesByID[id]
    return value, ok
}

这里的关键点是 map[unique.Handle[string]]int。第一次加入“支付”时，注册器生成一个句柄并分配编号；再次加入“支付”时，得到相等的句柄，于是直接复用编号。不同的业务编号由注册器维护，不应该误认为是 Handle 的内部值。

把添加、比较和读取接口分开

我更愿意让工具暴露三个窄接口：Add 负责登记，Same 负责身份比较，Value 负责按业务编号读取。这样调用方不用接触内部 map，也不需要知道句柄的具体表示。

func main() {
    registry := NewLabelRegistry()

    // 相同标签会复用同一个业务编号。
    first, _ := registry.Add(" 支付 ")
    again, _ := registry.Add("支付")

    // Same 比较规范化后的 Handle，而不是依赖编号相等。
    same := registry.Same("支付", " 支付")
    value, found := registry.Value(first)

    // 真实项目可把这些字段交给日志、JSON 响应或统计模块。
    println(first, again, same, value, found)
}

如果工具只需要判断两个标签是否同一身份，甚至不必维护注册器，直接对两个清洗后的字符串分别调用 unique.Make 即可。注册器只有在你还需要编号、展示文本、分组或统计时才有价值。

把比较和读取边界分开

Handle[T] 的强项是比较身份，而不是替代原值。需要展示、序列化或交给其他业务层时，应取回 Value() 或保存自己的文本字段。下面的边界图强调了三件事：输入必须可比较，句柄比较是身份判断，Value() 只返回值的浅拷贝。

例如字符串、整数和字段全为可比较类型的结构体可以直接使用；包含切片、map 或函数字段的类型不满足 comparable，不能直接作为 unique.Make 的类型参数。遇到复杂对象时，通常先提取一个稳定的可比较值，例如业务枚举或规范化字符串，而不是强行把整个对象塞进去。

并发安全要分成两层看

官方文档明确说明 Make 和 Handle.Value 可以并发使用，但示例里的 ids、valuesByID 和 nextID 是注册器自己的共享状态。没有锁时，多个 goroutine 同时添加新标签仍然可能产生数据竞争或编号覆盖，所以示例把读写锁放在业务状态这一层。

如果注册器只在单个 goroutine 中运行，可以省略锁并把所有操作串行化；如果它被 HTTP handler、消息消费者或并行任务共享，就保留锁，或者把登记操作集中到一个拥有状态的 worker。不要因为 unique.Make 本身并发安全，就把自有 map 当成并发安全容器。

这个小型工具适合什么场景

• 适合在进程内去重重复标签、配置键、枚举名称和值对象，让比较路径更简单。
• 适合把规范化和编号分配收口到一个边界，避免业务代码到处复制字符串清洗逻辑。
• 不适合替代数据库主键、跨服务协议 ID 或需要重启后稳定的外部标识。
• 不适合把可变对象原样当作规范化值；先提取稳定字段，并明确字段变化后的身份语义。

实际落地时，我会先确认“相等”到底意味着什么：是忽略首尾空格，还是还要统一大小写、别名和 Unicode 形式？只有这个问题明确后，再把 unique.Make 放进注册器。这样它解决的是身份归一化，而不是替业务规则做决定。

小结

组合 unique.Make 的核心顺序很短：先在入口做确定性的输入规范化，再生成 Handle[T]，用句柄作为去重和比较键，最后由自己的 map 保存编号与展示值。记住 comparable 约束、Value() 的浅拷贝语义，以及自有共享状态的并发保护，这个小工具就能在标签、配置和枚举场景中保持清晰。

常见问题

unique.Make 是不是返回一个可以持久化的数字 ID？

不是。它返回的是类型化的 Handle[T]，用于当前程序内的规范化身份比较。持久化或跨服务传递时，应使用明确设计的业务 ID。

为什么还要保存原始字符串？

句柄适合比较，界面展示、日志和序列化仍然需要可读值。注册器保存规范化后的文本，可以避免把句柄的内部表示暴露给业务层。

unique.Make 能直接处理 map 或切片吗？

不能直接处理不满足 comparable 的类型。应先选取稳定的字符串、整数或可比较结构体作为规范化键，并写清楚这个键的业务边界。