Go 1.18泛型不支持反射获取类型参数，因编译期单态化后泛型函数无运行时元数据；只能在泛型函数体内对具体值反射，或改用interface{}+reflect实现运行时动态行为。
Go 1.18 引入泛型后，reflect 包**不支持直接操作类型参数（type parameters）**——你无法在运行时通过反射“获取”一个泛型函数的 T 具体是什么类型，也不能用 reflect.MakeFunc 动态构造带类型参数的函数。这不是用法问题，是语言设计限制。
为什么 reflect 无法读取泛型函数的 type parameter
Go 的泛型在编译期完成单态化（monomorphization）：每个实际调用都会生成一份具体类型的函数副本，运行时不存在“泛型函数实体”。reflect.ValueOf(genericFunc) 返回的是一个普通 func 类型的 reflect.Value，其 Type() 已经是实例化后的具体签名（比如 func(int) string），原始的 func[T any](T) string 信息完全丢失。
- 尝试
v.Type().Name()或v.Type().Params()不会暴露T -
reflect.TypeOf((*T)(nil)).Elem()这类惯用 trick 在泛型函数体内有效，但无法从外部反射获取 - 编译器不会为泛型函数保留类型形参的元数据到运行时
如何在泛型函数内部安全使用 reflect（有限但实用）
虽然不能“反射泛型本身”，但可以在泛型函数体内对传入的值做反射操作，此时 T 已被推导为具体类型，reflect.ValueOf(x) 能拿到完整类型信息：
func PrintType[T any](x T) {
v := reflect.ValueOf(x)
fmt.Printf("value: %+v, type: %s\n", x, v.Type()) // e.g., "int", "[]string"
}
- 适用于通用序列化、结构体字段遍历、零值比较等场景
- 注意：若
T是接口类型（如T interface{~int|~string}），v.Type()返回的是实际动态类型，不是接口名 - 避免对
reflect.Kind()做过度假设——比如T可能是int或*int，需用v.Kind()和v.Elem()分层判断
替代方案：用 interface{} + reflect 实现“伪泛型”反射逻辑
当真正需要运行时决定行为（比如 ORM 字段映射、JSON 标签解析），绕过泛型，改用 interface{} 接收，再用 reflect 拆解：
立即学习“go语言免费学习笔记（深入）”；
func GetFieldNames(v interface{}) []string {
rv := reflect.ValueOf(v)
if rv.Kind() == reflect.Ptr {
rv = rv.Elem()
}
if rv.Kind() != reflect.Struct {
return nil
}
var names []string
for i := 0; i < rv.NumField(); i++ {
field := rv.Type().Field(i)
if tag := field.Tag.Get("json"); tag != "" && tag != "-" {
if comma := strings.Index(tag, ","); comma > 0 {
names = append(names, tag[:comma])
} else {
names = append(names, tag)
}
}
}
return names
}
- 这个函数可接收任意 struct 实例或指针，无需泛型约束
- 性能略低于纯泛型版本（多了 interface{} 逃逸和反射开销），但灵活性和运行时能力更强
- 如果必须强类型校验，可在调用前加
if _, ok := v.(MyStruct); !ok { panic(...) }
真正难的不是写反射代码，而是分清哪些事必须在编译期定死（泛型擅长），哪些事必须留到运行时决定（interface{} + reflect 才能做）。混用二者时，最容易忽略的是类型擦除时机——泛型参数只活到编译结束，而 reflect 看到的永远是已擦除后的具体类型。
