Go go/types types.Hasher 与 reflect.Type 哈希为什么不同

如果你把源码分析器里的 go/types.Type 哈希值拿去和运行时的 reflect.Type 做比较，结果不同是正常的：它们描述的是两套不同的类型世界。types.Hasher 面向类型检查器，并保证哈希与 types.Identical 使用同一套等价关系；reflect.Type 面向已经编译出来的运行时类型，公开能力是比较类型值和把它作为 map key，而不是提供一个可跨系统比较的原始哈希。

go/types 与 reflect.Type 先分清职责

go/types.Type 常见于语法树、导入器和静态分析。它携带的是源码层面的命名类型、包对象、字段、方法、类型参数等信息；types.Identical 还要求相关对象来自一致的符号集合，命名类型能否相等取决于对应的 TypeName 对象，而不是只看打印出来的名字。

reflect.Type 是运行时类型表示。它的值可比较，也可以直接作为 map[reflect.Type]T 的键；这解决的是“当前进程里某个运行时类型对应哪份缓存”的问题。两者即使都打印成 []int，也不意味着存在一份可以互相转换的哈希输入。

源码类型缓存要把 Hasher 和 Equal 配成一对

Go 1.27 的 types.Hasher 定义了与 types.Identical 一致的等价关系，并把结构化输入写入 hash/maphash.Hash。实际使用时，哈希只负责快速定位候选项，命中后仍由相同语义的 Equal 完成复核：

package main

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

func typeHash(t types.Type, seed maphash.Seed) uint64 {
    var h maphash.Hash
    h.SetSeed(seed) // 同一个缓存实例复用同一组种子。
    types.Hasher{}.Hash(&h, t) // 只计算 go/types 的源码类型哈希。
    return h.Sum64()
}

func sameType(x, y types.Type) bool {
    // Hash 相同仍可能碰撞，最终要按 Hasher 的等价关系确认。
    return types.Hasher{}.Equal(x, y)
}

func main() {
    fmt.Println(typeHash(types.Typ[types.Int], maphash.MakeSeed()))
}

示例里的种子属于缓存实例，而不是协议常量。maphash 文档明确建议不同哈希表使用自己的种子；因此重启进程、换种子后得到不同的 Sum64 并不表示类型语义改变。若需要跨进程持久化键，应存储包路径、对象名、类型参数等业务字段，并定义自己的版本化编码。

为什么打印结果相同，等价关系仍可能不同

types.Hasher 不是把 Type.String() 再做一次字符串哈希。它会按类型结构写入标记，命名类型还会结合 TypeName 身份；别名会先解引用，结构体会处理字段名、匿名标记和字段类型，泛型签名还会区分类型参数的约束或位置。这样做是为了和 Identical 的判断保持一致。

这也解释了两个容易混淆的现象：第一，两个类型字符串相同，可能来自不同的包对象或不同的符号集合；第二，不同类型的哈希可以相同，因为哈希函数允许碰撞。源码实现还让 Hasher 与 HasherIgnoreTags 使用不同的域标记，前者的 Equal 仍负责完整等价判断，不能把 Sum64 直接当作唯一编号。

缓存键应该按使用场景选择

如果分析器同时接收多个包，优先让所有包和依赖共用一个 Importer，避免同一逻辑包被重复创建出不同符号对象。若只是为运行时对象做分派，直接使用 reflect.Type map；若要把静态分析结果交给运行时，则应显式设计桥接字段，而不是尝试拼接两个哈希。

常见问题

同一个类型每次启动程序的 Hasher 结果会不会变？

可能会变。maphash 使用种子，种子不同就不应期待相同的 Sum64；只要同一缓存实例复用同一组种子，哈希表内部的定位关系就成立。

哈希相同能证明两个 go/types.Type 相等吗？

不能。哈希相同只是候选命中，必须调用与哈希器配套的 Equal，或使用等价的 types.Identical 复核。

能不能把 reflect.Type 的 String 当成 go/types 的缓存键？

不建议。字符串适合展示和诊断，无法表达完整的包对象身份与符号集合；要跨进程保存，应自行定义包含包路径、名称、类型结构和格式版本的键。