泛型在编译期保证类型安全，反射在运行时提供动态操作能力；两者结合可实现如通用校验器等灵活且安全的工具，适用于框架设计与数据处理场景。
go 语言在 1.18 版本引入了泛型，使得编写可重用的类型安全代码成为可能。与此同时，Go 的反射（reflect 包）长期以来支持运行时类型和值的动态操作。虽然泛型是编译期特性，而反射是运行时机制，但两者可以结合使用，尤其在需要处理未知类型或构建通用工具时非常有用。
理解泛型与反射的分工
泛型在编译时展开具体类型，保证类型安全且性能高；反射则在运行时检查和操作变量的类型与值，灵活性强但有性能开销。它们看似对立，但在某些场景下可以互补：
- 泛型用于编写通用逻辑，如容器、算法等
- 反射用于处理运行时才确定的类型结构，比如序列化、ORM 映射
当泛型函数接收一个类型参数，在函数内部仍可通过 reflect.ValueOf 和 reflect.typeof 获取其动态类型信息。
在泛型函数中使用反射
即使使用了类型参数，你依然可以在泛型函数中调用反射来分析传入值的结构。例如，判断一个泛型值是否为指针、获取字段名等：
立即学习“go语言免费学习笔记（深入）”；
func Inspect[T any](v T) { rv := reflect.ValueOf(v) rt := reflect.TypeOf(v) fmt.Printf("Type: %sn", rt) fmt.Printf("Kind: %sn", rt.Kind()) if rt.Kind() == reflect.Struct { fmt.Printf("Fields count: %dn", rv.NumField()) for i := 0; i < rv.NumField(); i++ { field := rt.Field(i) fmt.Printf("Field %d: %s (%s)n", i, field.Name, field.Type) } } }
调用示例：
type Person struct { Name string Age int } Inspect(Person{"Alice", 30}) // 输出： // Type: main.Person // Kind: struct // Fields count: 2 // Field 0: Name (string) // Field 1: Age (int)
这里泛型确保了类型安全传参，反射则提供了对结构体成员的动态访问能力。
通过反射调用泛型函数
由于泛型函数在编译后会根据实际类型生成多个版本，不能直接通过字符串名称调用泛型函数。但你可以借助反射将具体类型的值传入已实例化的泛型函数。
例如，封装一个通过反射执行泛型逻辑的适配器：
func CallInspectByReflect(v Interface{}) { // 获取泛型函数针对具体类型的反射对象 inspectFunc := reflect.ValueOf(Inspect[interface{}]) // 调用函数，传入 v inspectFunc.Call([]reflect.Value{reflect.ValueOf(v)}) }
注意：此处使用 Inspect[interface{}] 是为了获得一个可被反射调用的具体函数值。更稳妥的方式是在运行时根据类型构造对应泛型函数实例（需配合类型断言或 switch）。
实用场景：泛型 + 反射 实现通用校验器
假设我们要实现一个通用结构体校验器，字段带 tag 标记是否必填：
func Validate[T any](v T) []string { var errors []string rv := reflect.ValueOf(v) rt := reflect.TypeOf(v) if rt.Kind() != reflect.Struct { return append(errors, "input must be a struct") } for i := 0; i < rv.NumField(); i++ { field := rt.Field(i) value := rv.Field(i) if tag := field.Tag.Get("required"); tag == "true" { if value.Interface() == reflect.Zero(value.Type()).Interface() { errors = append(errors, fmt.Sprintf("field %s is required", field.Name)) } } } return errors }
使用示例：
type User struct { Name string `required:"true"` Age int `required:"false"` Email string `required:"true"` } u := User{Name: "", Email: ""} fmt.Println(Validate(u)) // 输出: [field Name is required]
这个例子展示了如何利用泛型接收任意类型，并用反射实现基于标签的动态校验逻辑。
基本上就这些。泛型提升编译期安全性，反射增强运行时灵活性，二者结合可在框架设计、配置解析、数据验证等场景发挥强大作用。关键是理解泛型无法在运行时“动态创建”，但可以配合反射处理由泛型传递进来的具体值。不复杂但容易忽略的是：反射操作的对象始终是具体类型，而泛型只是帮助你在编译阶段安全地到达那个具体类型。