该用 reflect 而非泛型时：类型在编译期完全未知，如动态创建 struct、遍历字段、处理不确定键名的 JSON/YAML；泛型要求编译期可知类型，无法获取字段名、tag、偏移量，也不能根据字符串名构造类型。

什么时候该用 reflect，而不是泛型

反射适合处理「类型在编译期完全未知」的场景，比如通用序列化、ORM 字段映射、配置动态加载。泛型则要求类型信息在编译期可推导或显式指定——一旦你写 func Do[T any](v T)，调用时就必须能确定 T 是 string、int 还是某个结构体。如果你需要在运行时根据字符串名创建 struct 实例、遍历任意 struct 的字段并读写值、或者对接 JSON/YAML 中键名不确定的嵌套 map，reflect 是唯一选择。

常见错误现象：试图用泛型实现「根据字符串构造类型」，结果编译失败，因为 Go 不允许 anyType := "User"; var x anyType 这类写法；或者误以为泛型能绕过接口约束直接操作底层字段，结果发现无法获取字段名、tag 或地址。

• 泛型不能获取字段名、struct tag、内存偏移量
• 反射可以修改未导出字段（需 CanAddr() && CanInterface() 判断），泛型+接口做不到
• 反射支持类型擦除后的动态行为（如 json.Unmarshal 内部逻辑），泛型必须提前知道结构轮廓

泛型替代反射的典型安全场景

当你的逻辑本质是「对一类已知形状的类型做相同操作」，且所有类型都满足某个约束，泛型就是更优解。比如写一个通用比较函数、切片去重、或者带校验的容器包装器。这类代码编译期检查完整、零运行时开销、IDE 支持好，而用反射实现同样功能会丢失类型信息、增加 panic 风险、难以调试。

使用场景举例：HTTP handler 中统一处理 []T 响应并加 metadata；数据库查询结果统一转成 map[string]T；命令行参数解析到不同 struct 但共享校验逻辑。

• 泛型函数签名清晰，调用处即可见类型流，反射常藏在工具包深处，调用链难追踪
• 泛型支持方法集约束（type Number interface{ ~int | ~float64 }），反射只能靠运行时断言
• 泛型生成的二进制不包含反射信息，体积更小；reflect 包会强制链接大量元数据

reflect.Value.Interface() 和泛型类型转换的本质差异

这是最容易混淆的操作点。reflect.Value.Interface() 返回的是 interface{}，它抹去了原始类型，后续再想调用具体方法或访问字段，必须再次反射或类型断言；而泛型中的 T 在函数体内始终保有完整类型身份，可直接调用其方法、取地址、参与运算。

func withReflect(v interface{}) {
    rv := reflect.ValueOf(v)
    // 想取字段？得用 rv.FieldByName("Name")
    // 想调方法？得用 rv.MethodByName("String").Call(nil)
}

func withGeneric[T fmt.Stringer](v T) {
    s := v.String() // 直接调，无反射开销
    _ = &v          // 可取地址，类型安全
}

性能影响明显：反射调用方法比直接调用慢 10–100 倍，且无法内联；泛型函数在编译期展开为具体类型版本，和手写无异。

• reflect.Value.Interface() 可能 panic（如对 invalid value 调用）
• 泛型中 T 的零值就是 var zero T，而反射里要写 reflect.Zero(reflect.TypeOf(v)).Interface()
• 反射无法区分指针接收者方法和值接收者方法的调用规则，泛型中语言自动处理

混合使用的现实边界在哪里

真正复杂的系统往往不是非此即彼。比如 Gin 的绑定逻辑：顶层用泛型约束 handler 签名（func(c *gin.Context) error），内部解析 JSON 时却依赖 reflect 做字段映射，因为 struct 字段名、tag、嵌套深度全由用户定义，编译期不可知。关键判断点在于——「哪部分逻辑必须在运行时才知道类型细节？」

容易被忽略的地方：反射操作后如果要传给泛型函数，不能直接传 reflect.Value.Interface() 得到的 interface{}，否则泛型推导失效；必须先做类型断言还原为具体类型，或改用 any + 类型开关。

• 不要在热路径（如 HTTP 请求循环）中反复调用 reflect.TypeOf(x)，缓存 reflect.Type 实例
• 泛型不能用于实现反射本身，但可封装反射逻辑（如 func CopyFields[T any, U any](dst *T, src *U) 内部用 reflect）
• Go 1.22+ 的 ~ 类型近似符仍不能表达「任意 struct」，这种抽象仍需反射