Go reflect.TypeFor 泛型代码获取反射类型的实现边界

泛型代码里如果类型参数 T 已经确定，获取反射类型时优先写 reflect.TypeFor[T]()；只有需要观察某个运行时值实际装入的动态类型时，才继续使用 reflect.TypeOf(value)。这不是单纯的写法替换，而是“编译期类型”和“运行时值”两种需求的分界。

官方文档：https://pkg.go.dev/reflect#TypeFor

先把泛型类型注册成 reflect.Type

假设一个小型编码器需要按类型建立处理器注册表。注册函数的输入是类型参数，而不是一个真实业务值，这时不应该制造 *T 的 nil 指针再调用 TypeOf。TypeFor 直接表达了“我要 T 的类型描述”：

package main

import "reflect"

type Handler[T any] struct {
	typ reflect.Type
}

func NewHandler[T any]() Handler[T] {
	// T 在调用点已经确定，直接取得它的反射类型。
	return Handler[T]{typ: reflect.TypeFor[T]()}
}

func (h Handler[T]) Accepts(v any) bool {
	// 比较 Type 对象，避免只比较 String 导致同名类型产生歧义。
	return v != nil && reflect.TypeOf(v) == h.typ
}

例如 NewHandler[Order]() 得到的 typ 就是 Order，不需要构造零值，也不需要通过指针类型再调用 Elem()。这里的 Accepts 仍然使用 TypeOf，因为它要判断传入值 v 的真实动态类型。

TypeFor 和 TypeOf 到底差在哪里

TypeFor[T]() 的输入是类型参数，返回 T 的类型；TypeOf(i) 的输入是接口值，返回 i 当前装入的动态类型。两者都返回 reflect.Type，但观察对象不同。

一个容易踩坑的场景是：

var r io.Reader

// r 是 nil 接口，TypeOf 返回 nil；这不是 io.Reader 的 Type。
runtimeType := reflect.TypeOf(r)
interfaceType := reflect.TypeFor[io.Reader]()
_ = runtimeType
_ = interfaceType

如果目标是判断“某类型是否实现 io.Reader”，使用 TypeFor[io.Reader]() 作为接口类型，再对具体类型调用 Implements。如果目标是记录 r 此刻有没有装入对象，就要保留 TypeOf 并处理 nil。

把返回的 Type 用在字段与接口检查上

拿到 reflect.Type 后，常见用途是读取名称、Kind、字段数量，或检查是否实现某个接口。下面的辅助函数保持类型来源明确：注册目标由 T 决定，接口约束由另一个类型参数决定。

func Describe[T any, I interface{ Do() error }]() (string, bool) {
	typ := reflect.TypeFor[T]()
	contract := reflect.TypeFor[I]()
	// Implements 只接受接口 Type；这里的 I 本身就是接口约束。
	return typ.String(), typ.Implements(contract)
}

需要注意，Type.String() 只是展示文本，不保证跨包唯一；做缓存键或类型身份判断时直接比较 reflect.Type，或者结合 PkgPath 与 Name 形成自己的稳定键。反射方法也有 Kind 前置条件，例如只有结构体 Type 才能读取字段。

迁移时保留这几个边界

1. 最低版本：TypeFor 从 Go 1.22 起提供。项目仍支持更早版本时，不能直接替换公共包代码。
2. 动态值：reflect.TypeOf(v) 依赖 v 当前装入的具体值，迁移为 TypeFor 会丢失这个运行时信息。
3. 副作用表达式：旧代码的 TypeOf 参数可能同时承担求值或绑定语义，不能只看最终 Type 相同就替换。
4. 接口本身：TypeOf 一个 nil 接口得到 nil；要表达接口类型，使用 TypeFor[接口名]() 更清楚。

实操上可以先按“类型来自 T 还是来自 v”做一次分类，再只迁移前一类。这样既能去掉 reflect.TypeOf((*T)(nil)).Elem() 之类的绕法，也不会误伤依赖动态类型的反序列化和插件分派。

常见问题

TypeFor 能完全替代 TypeOf 吗？

不能。TypeFor 面向类型参数，TypeOf 面向运行时值；只要结果必须随 v 当前装入的具体类型变化，就应保留 TypeOf。

为什么 TypeOf(nil) 不是 interface 类型？

因为 nil 接口没有动态类型，TypeOf 按文档返回 nil。接口类型本身是静态信息，应使用 TypeFor[接口]()。

Type.String() 能直接当唯一键吗？

不建议。官方文档明确说明 String 的表示可能缩短包名且不保证唯一，类型身份判断应直接比较 reflect.Type。