Go go/types 怎样为类型相等关系构造哈希键

如果你在做 Go 源码分析、类型检查或泛型实例缓存，常见需求是把 go/types.Type 放进哈希表。但直接使用 Type.String() 拼字符串并不稳妥：字符串展示与类型身份不是同一层契约，结构体标签、命名类型和泛型参数都可能让“看起来相同”与“可判定等价”分开。

Go 1.27 在 go/types 中提供了 types.Hasher。它的 Equal 与 Hash 成对定义，并且和 types.Identical 保持一致。官方文档：https://pkg.go.dev/go/types@go1.27.3#Hasher。本文只讨论进程内类型缓存和集合索引，不把哈希值当成密码学摘要。

Go 1.27 的 Hasher 解决了什么

官方 API 把 Hasher 定义为无状态类型：Equal(x, y Type) 判断类型等价，Hash(h *maphash.Hash, t Type) 把类型写入一个 hash/maphash 哈希对象。这个组合满足哈希表最重要的约束：如果两个类型被 Equal 判定相等，它们应该得到相同的哈希结果。

使用场景很具体：给类型检查结果做去重、给 AST 到类型的分析结果做进程内缓存、在泛型工具中建立“类型到派生数据”的索引。它不是把任意 Go 值变成字符串，也不是生成一个可以永久保存的公共 ID。

把 Hasher 接到 maphash

maphash 的泛型接口正好需要 Equal 和 Hash。可以把 types.Hasher{} 作为 maphash.Hasher[types.Type] 使用，再用独立的 maphash.Seed 为当前缓存提供随机种子：

package main

import (
    "fmt"
    "go/types"
    "hash/maphash"
)

func main() {
    // 每个进程内缓存使用自己的种子，不把哈希值当成持久化格式。
    var seed = maphash.MakeSeed()
    cache := make(map[types.Type]string)

    // 这里用预先得到的类型对象示意；真实项目通常来自 types.Info.Types。
    var typ types.Type = types.Typ[types.Int]
    var h maphash.Hash
    h.SetSeed(seed)
    types.Hasher{}.Hash(&h, typ)
    cache[typ] = fmt.Sprintf("hash=%x", h.Sum64())

    // Equal 与 Hash 使用同一套等价关系，避免手工拼接 Type.String。
    fmt.Println(types.Hasher{}.Equal(typ, types.Typ[types.Int]), cache[typ])
}

上面的 map[types.Type]string 是最直观的索引形式；如果你的数据结构需要自定义哈希桶，则把 types.Hasher{} 传给实现了 maphash.Hasher[T] 的容器。maphash.Hash 的零值可用，但显式设置种子能让缓存生命周期更清楚。

处理结构体标签和泛型类型

默认的 types.Hasher 与 types.Identical 对齐，结构体字段标签属于类型身份的一部分。若业务只关心字段布局而不关心标签，可以选择 types.HasherIgnoreTags，它与 types.IdenticalIgnoreTags 对齐。两套哈希器不能混在同一个语义缓存里，否则缓存命中含义会变得模糊。

泛型类型也不应靠字符串猜测。Hasher 会根据 go/types 的类型关系处理命名类型、类型参数、签名和结构体字段。尤其是泛型函数签名中的 TypeParam，参数位置和约束会影响等价关系；把 Type.String() 截断或拼接，无法可靠复现这层规则。

func chooseHasher(ignoreTags bool) maphash.Hasher[types.Type] {
    // 只有在业务明确忽略 struct tag 时才切换等价关系。
    if ignoreTags {
        return types.HasherIgnoreTags{}
    }
    // 默认保留完整类型身份，并与 types.Identical 配对。
    return types.Hasher{}
}

缓存和安全边界怎么判断

第一，maphash 面向哈希表、布隆过滤器等数据结构，并非密码学安全算法。不能拿 Sum64() 做签名、密码摘要或安全令牌。

第二，种子会影响哈希结果。进程重启、换一份种子或换一套哈希实现后，数值都不应被视为稳定协议。因此适合把 types.Type 作为当前进程内缓存的语义键，不适合把哈希数字写入数据库后期待跨版本恢复。

第三，哈希只用于缩小查找范围，最终仍要用同一等价关系确认。自定义容器应同时保存 Equal 语义；不能因为两个哈希值相同就直接断定类型相等。

小结：什么时候值得使用

• 需要给 go/types.Type 建立进程内缓存、去重表或泛型分析索引时，优先使用 types.Hasher。
• 必须忽略结构体标签时，成对改用 types.HasherIgnoreTags 和 types.IdenticalIgnoreTags。
• 需要跨进程稳定 ID、密码学摘要或长期存储键时，另行设计明确的序列化和安全方案，不直接保存 maphash 数值。

相关问题

为什么不直接用 Type.String？ 因为展示字符串不是等价关系的完整契约，无法覆盖所有命名类型、标签和泛型边界。

Hasher 是不是线程安全的？ Hasher 本身无状态，可以被多个调用方共享；但每个 maphash.Hash 的写入对象仍应避免被并发复用，缓存本身也要遵循自己的并发策略。