Go unique.Make 怎样复用可比较值的唯一实例

如果程序里反复出现相同的字符串、枚举值或小型配置对象，直接保存每一份原值会让比较和存储都重复。Go 1.23 提供的 unique.Make 可以把可比较值规范化为唯一实例，并返回一个类型安全的 unique.Handle[T]。相同值生成的句柄相等，句柄比较通常比再次比较较大的原值更轻量。

官方资料：https://pkg.go.dev/unique

这套 API 的关键不是“把值永久塞进全局缓存”，而是把值与一个可比较的句柄关联起来：需要比较或作为 map 键时保留句柄，需要原值时再调用 Value()。下面只围绕可比较值的唯一实例与句柄使用展开。

先分清 unique.Make 复用的是什么

unique 做的是值的 canonicalization，也就是把相等的输入映射到同一份规范化副本。它不会把任意 Go 类型都变成可比较类型，也不是带过期时间、容量和淘汰策略的业务缓存。

可以把它理解成三个对象之间的关系：

• 输入值 T：必须满足 comparable 约束，例如字符串、整数、只含可比较字段的结构体或数组。
• 规范化副本：由包内部管理，多个相等输入可以共享这份表示。
• Handle[T]：调用方拿到的类型安全身份。两个句柄是否相等，取决于创建它们的两个值是否相等。

因此，文章里的“复用唯一实例”更准确地说是复用规范化值并携带句柄，而不是让所有业务代码都改成指针比较。

用 Handle 为可比较值建立唯一身份

最小用法是给一个可比较的结构体实例调用 unique.Make。下面的结构体只包含字符串字段，因此满足 comparable。

package main

import (
	"fmt"
	"unique"
)

// label 是可以被 unique.Make 处理的可比较值。
type label struct {
	Namespace string
	Name      string
}

func main() {
	left := unique.Make(label{Namespace: "order", Name: "created"})
	right := unique.Make(label{Namespace: "order", Name: "created"})

	// 相等输入产生相等句柄，适合快速比较或作为 map 键。
	fmt.Println(left == right) // true

	// Value 返回生成句柄的 T 的浅拷贝，而不是另一个 Handle。
	fmt.Printf("%+v\n", left.Value())
}

这里不需要比较两个结构体的每个字段，直接比较 left == right 即可。Handle[T] 仍然带有 T 的类型信息，所以把订单标签的句柄和其他类型的句柄混用时，编译器会先拦住类型错误。

把句柄放进去重和查找结构

当一个值会被反复用作索引时，可以把句柄放在对象字段里，并把它作为 map 键。这样做的重点是“句柄参与身份判断”，而不是为了取回值而每次都调用 Value()。

package main

import (
	"fmt"
	"unique"
)

type routeKey struct {
	Method string
	Path   string
}

type routeStat struct {
	Hits int
}

func main() {
	stats := make(map[unique.Handle[routeKey]]routeStat)

	// 同一个路由值只需要创建一个逻辑身份，后续请求可以复用句柄。
	key := unique.Make(routeKey{Method: "GET", Path: "/health"})
	stats[key] = routeStat{Hits: 1}

	// 用相等值再次生成的句柄可以命中同一条索引。
	lookup := unique.Make(routeKey{Method: "GET", Path: "/health"})
	item, ok := stats[lookup]
	if !ok {
		return // 找不到时不要把零值误认为已有统计记录。
	}
	fmt.Println(item.Hits, lookup.Value().Path)
}

这种模式适合“值重复率高、比较频繁、句柄可以随对象一起保存”的场景。若只是偶尔比较几个很短的字符串，直接使用字符串往往更简单，不能为了使用新 API 而增加一层身份管理。

检查类型约束和生命周期边界

首先要记住 Make[T comparable] 的约束。切片、map 和函数本身不可比较，不能直接作为 T。包含这些字段的结构体也不能直接使用。若业务对象含有切片，应先抽取一个真正可比较的身份值，例如稳定的字符串 ID，而不是强行把整个对象交给 unique.Make。

其次，Value() 返回的是产生句柄的 浅拷贝。对只含字符串、数字、数组和其他值类型字段的结构体，这通常很直观；如果类型里含有指针，复制的是指针值，不会递归复制指针指向的对象。

再次，句柄的持有时间会影响规范化副本的存活。只要某个 Handle[T] 仍被程序引用，相关值就可以继续被句柄取回；当句柄不再可达时，内部值后续可以被垃圾回收。不要把它理解成“调用一次 Make 后永远保存”，也不要把 GC 的回收时机当成业务淘汰通知。

Make 和 Value 都支持并发使用，但这不等于你的外围 map 或对象字段自动获得并发保护。多个 goroutine 共享统计表时，仍需根据读写方式选择锁、原子操作或并发安全的数据结构。

给项目落地一份采用清单

可以用下面的判断表决定是否采用 unique.Make：

如果目标是业务缓存，应使用带明确容量和过期策略的缓存组件；如果目标是跨进程或跨服务传递身份，应使用稳定的字符串、整数或协议字段。unique.Handle 更适合作为当前 Go 进程内的轻量值身份。

相关问题

unique.Make 只支持字符串吗？

不是。只要类型满足 comparable，就可以是整数、数组、字符串或由可比较字段组成的结构体。

两个 Handle 相等是否代表原值地址相同？

不应这样理解。句柄相等表示创建它们的值相等；它是包提供的逻辑身份，不是对业务对象地址的承诺。

不保存 Handle 还能长期复用规范化值吗？

不要依赖这种行为。句柄不再可达后，规范化副本可能在后续垃圾回收中被回收；需要稳定复用时，应让业务对象明确持有句柄。