Go unique.Handle 怎样比较唯一句柄而不复制字符串处理空输入并保留错误边界

如果一个批处理程序不断读取字符串键，并把这些键放进索引、状态表或缓存中，最容易出现的误区是：为了“复用字符串”，只保留一份字符串内容，却仍然在热路径上反复做长字符串比较。Go 1.23 引入的 unique 包提供了另一种边界：先用 unique.Make 得到 Handle[T]，比较时直接比较句柄，需要展示原值时再调用 Value。

这不是“所有字符串都零复制”的承诺。更准确的说法是：比较路径不需要自己复制或反复比较字符串；空字符串仍然是合法值，解析错误也应该继续由 error 表达。

适用版本：Go 1.23 及更高版本。本文只讨论可比较值、空输入和错误边界，不把静态配图当成运行截图。

先确认 Handle 比较的语义

unique.Make[T] 接收满足 comparable 的值，返回 unique.Handle[T]。两个句柄相等，当且仅当创建它们时使用的值相等；句柄本身适合放到 map 的键或结构体字段中。对长字符串来说，这让业务比较不必每次重新走字符串内容比较。

空字符串并不会触发异常。unique.Make("") 得到的句柄仍然代表一个确定的值，因此“空输入是否允许”必须由业务层决定，而不是交给 unique 包猜测。

把字符串键封装成可比较句柄

下面的例子把用户输入规范化成键对象。索引使用 Handle[string]，只有日志或响应需要原始文本时才取回 Value。

package main

import (
	"fmt"
	"strings"

	"unique"
)

type Key struct {
	handle unique.Handle[string]
}

func NewKey(raw string) Key {
	// TrimSpace 只负责统一输入边界，空字符串仍由调用方决定是否接受。
	normalized := strings.TrimSpace(raw)
	return Key{handle: unique.Make(normalized)}
}

func main() {
	left := NewKey("  region-cn  ")
	right := NewKey("region-cn")

	// 相同规范化值对应相等句柄，比较路径不需要复制或遍历字符串内容。
	fmt.Println(left.handle == right.handle) // true

	// 只有需要展示或持久化时才取回句柄背后的值。
	fmt.Println(left.handle.Value()) // region-cn
}

这里的关键点不是把 Handle 当成字符串别名，而是把“规范化后的身份”与“需要展示的值”分开。索引只关心身份是否相同，UI、日志或序列化才需要调用 Value。

空输入和解析错误要留在业务边界

真实数据通常不是直接得到字符串：它可能来自配置、CSV 字段或命令行参数。解析失败和空字符串不是一回事。前者应该返回 error；后者是否跳过、是否使用默认值，要看业务规则。

func ParseKey(raw string) (Key, error) {
	// 先去掉外层空白，避免把格式噪声当成键身份的一部分。
	normalized := strings.TrimSpace(raw)
	if strings.ContainsRune(normalized, ':') {
		// 这里把不允许的分隔符作为输入错误返回，不伪装成某个 Handle。
		return Key{}, fmt.Errorf("key contains reserved separator")
	}
	if normalized == "" {
		// 空字符串是合法可比较值，但本示例的业务规则选择跳过它。
		return Key{}, fmt.Errorf("empty key")
	}
	return NewKey(normalized), nil
}

如果业务确实允许空键，可以把空字符串交给 NewKey，并在外层明确记录“这是空键”，不要用一个特殊字符串如 "" 代替错误。否则，后续比较会把错误状态和真实输入混在一起。

为什么比较更轻，但不能夸大成零成本

Handle 的比较通常比比较长字符串更轻，但 unique.Make 仍然要查找或建立 canonical 值，调用本身不是免费的。它更适合“同一类值会重复出现，并且之后要比较很多次”的场景，例如状态键、协议字段、地址细节或解析后的标签。

还要注意生命周期：只要某个 Handle[T] 仍被保留，对应的 canonical 值就会被认为仍在使用。若只调用 unique.Make(s).Value() 却立刻丢掉句柄，短时间内可能仍有复用效果，但不能把它当成永久字符串池。需要稳定身份时，应把句柄保存到业务对象中。

落地时记住这三个判断

最后，unique.Handle 不是通用缓存，也不是把任意不可比较对象变成可比较对象的魔法。选择它的理由应当是：值满足 comparable、重复身份很多、比较频繁，并且业务对象能够合理保留句柄。

相关问题

Handle 可以直接放进 map 吗？可以，只要其类型满足可比较要求；这正是它适合作为轻量身份键的原因。

Value 返回的是原字符串指针吗？Value 返回产生该句柄的值的浅拷贝，调用方不应依赖未公开的内部存储布局。

所有字符串都应该先 Make 吗？不应该。一次性比较、低重复率或不需要稳定身份的路径，直接使用字符串通常更简单。