泛型结合反射可实现类型安全与运行时灵活性，适用于通用库开发。1. Go 1.18引入泛型，支持编译期类型检查；2. 反射用于运行时处理未知类型，如结构体字段操作；3. 泛型函数中通过reflect.ValueOf和reflect.TypeOf获取值与类型信息；4. 示例展示InspectStruct函数对任意结构体遍历字段并打印名称与值；5. 结合标签与反射实现校验逻辑，如ValidateRequired检查必填字段；6. 输出显示Name和Email为必填字段的校验结果；7. 两者结合适用于ORM、序列化器等通用库；8. 注意性能敏感场景应减少反射使用。
Go语言在1.18版本引入了泛型，结合原有的反射机制，可以在保持类型安全的同时处理更通用的场景。虽然泛型更适合编译期类型确定的逻辑，而反射用于运行时类型操作，但两者结合使用可以实现灵活且安全的代码结构。
泛型函数中使用反射处理未知类型
当泛型约束允许多种类型时，某些情况下仍需通过反射获取字段、方法或标签信息。例如，处理结构体字段的通用序列化或校验逻辑。
以下示例展示了一个泛型函数，接收任意类型的值，若为结构体，则使用反射打印其字段名和值：
package main
import (
"fmt"
"reflect"
)
func InspectStruct[T any](s T) {
v := reflect.ValueOf(s)
t := reflect.TypeOf(s)
// 确保传入的是结构体
if v.Kind() != reflect.Struct {
fmt.Println("输入不是结构体")
return
}
for i := 0; i < v.NumField(); i++ {
field := t.Field(i)
value := v.Field(i)
fmt.Printf("字段名: %s, 类型: %s, 值: %v\n", field.Name, field.Type, value.Interface())
}
}
type Person struct {
Name string
Age int
}
func main() {
p := Person{Name: "Alice", Age: 25}
InspectStruct(p)
}
输出结果：
立即学习“go语言免费学习笔记（深入）”；
字段名: Name, 类型: string, 值: Alice 字段名: Age, 类型: int, 值: 25
利用泛型避免类型断言，再用反射处理动态行为
泛型可在函数调用时保留类型信息，避免运行时频繁断言。但在需要动态调用方法或修改字段时，反射依然必要。
下面的例子定义一个泛型函数，只对实现了特定接口的类型生效，并在内部使用反射调用方法：
package main
import (
"fmt"
"reflect"
)
type Speaker interface {
Speak()
}
func CallSpeakIfHas[T Speaker](obj T) {
val := reflect.ValueOf(obj)
method := val.MethodByName("Speak")
if method.IsValid() {
method.Call(nil)
} else {
fmt.Println("方法 Speak 不存在")
}
}
type Dog struct{}
func (d Dog) Speak() {
fmt.Println("汪汪！")
}
func main() {
d := Dog{}
CallSpeakIfHas(d) // 输出：汪汪！
}
结合泛型与反射实现通用字段校验
可设计一个泛型校验函数，通过反射读取结构体字段的自定义标签，并根据规则判断有效性。
package main
import (
"fmt"
"reflect"
)
func ValidateRequired[T any](obj T) []string {
var errors []string
v := reflect.ValueOf(obj)
t := reflect.TypeOf(obj)
if v.Kind() != reflect.Struct {
return append(errors, "输入必须是结构体")
}
for i := 0; i < v.NumField(); i++ {
field := t.Field(i)
value := v.Field(i)
requiredTag := field.Tag.Get("required")
if requiredTag == "true" && isZero(value) {
errors = append(errors, fmt.Sprintf("字段 %s 为必填", field.Name))
}
}
return errors
}
// 判断值是否为零值
func isZero(v reflect.Value) bool {
return v.Interface() == reflect.Zero(v.Type()).Interface()
}
type User struct {
Name string `required:"true"`
Email string `required:"true"`
Age int `required:"false"`
}
func main() {
u := User{Name: "", Email: "invalid@", Age: 0}
if errs := ValidateRequired(u); len(errs) > 0 {
for _, e := range errs {
fmt.Println(e)
}
}
}
输出：
字段 Name 为必填 字段 Email 为必填
基本上就这些常见模式。泛型提供编译期类型安全，反射提供运行时灵活性，二者配合可用于构建通用库，如 ORM、序列化器或配置解析器。注意性能敏感场景应尽量减少反射使用。不复杂但容易忽略细节。
