泛型在编译期保证类型安全，反射在运行时提供动态操作能力；两者结合可实现如通用校验器等灵活且安全的工具，适用于框架设计与数据处理场景。
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: %s\n", rt)
fmt.Printf("Kind: %s\n", rt.Kind())
if rt.Kind() == reflect.Struct {
fmt.Printf("Fields count: %d\n", 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]
这个例子展示了如何利用泛型接收任意类型，并用反射实现基于标签的动态校验逻辑。
基本上就这些。泛型提升编译期安全性，反射增强运行时灵活性，二者结合可在框架设计、配置解析、数据验证等场景发挥强大作用。关键是理解泛型无法在运行时“动态创建”，但可以配合反射处理由泛型传递进来的具体值。不复杂但容易忽略的是：反射操作的对象始终是具体类型，而泛型只是帮助你在编译阶段安全地到达那个具体类型。
