该用 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 但共享校验逻辑。
立即学习“go语言免费学习笔记（深入）”；
- 泛型函数签名清晰，调用处即可见类型流，反射常藏在工具包深处，调用链难追踪
- 泛型支持方法集约束（
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」，这种抽象仍需反射
