17370845950

Go反射用于运行时类型安全适配，核心是用reflect.TypeOf和reflect.ValueOf获取类型信息，配合Kind、Comparable、CanConvert等方法做可验证、不panic的类型判断与转换。

Go 语言本身是静态类型语言，编译期就做了严格的类型检查，所以“运行时类型安全检查”在 Go 中不是常规需求。但某些场景下（如通用序列化、配置解析、ORM 字段映射、RPC 参数校验），你确实需要在运行时确认一个接口值是否符合预期类型——这时 reflect 就派上用场了。关键在于：不靠断言硬转，而是用反射做**可验证、可恢复、不 panic 的类型适配判断**。

用 reflect.TypeOf 和 reflect.ValueOf 获取运行时类型信息

这是所有反射操作的起点。注意：reflect.TypeOf 返回的是 reflect.Type，reflect.ValueOf 返回的是 reflect.Value，二者需配合使用。

• 避免直接传 nil 接口：若变量为 nil，reflect.ValueOf(nil) 会返回零值的 Value，调用 .Type() 会 panic；应先判空或用指针传入
• 区分 interface{} 的底层类型和接口类型：例如 var x interface{} = "hello"，reflect.TypeOf(x).Kind() 是 string，不是 interface
• 常用判断链：

  val := reflect.ValueOf(v)
  if val.Kind() == reflect.Ptr {
      val = val.Elem() // 解引用后继续判断
  }
  if val.Kind() == reflect.Struct {
      // 进入结构体字段遍历
  }

用 reflect.Type.Comparable 和 Kind 判断是否支持比较/赋值

某些泛型逻辑（如缓存键生成、去重集合）要求类型必须可比较（即满足 Go 的 comparable 约束）。编译期无法得知 interface{} 是否满足，但反射可以辅助验证：

• t := reflect.TypeOf(v).Kind() 可快速排除 slice、map、func、unsafe.Pointer 等不可比较类型
• reflect.TypeOf(v).Comparable() 返回 bool，对 struct、array、basic 类型等准确有效（注意：它不检查字段是否都可比较，只检查该 type 定义本身是否被 Go 认为可比较）
• 若需深度校验 struct 所有字段是否可比较，需递归遍历 t.Field(i) 并检查每个字段类型的 Comparable()

用 reflect.Value.CanInterface 和 CanConvert 做安全类型转换

相比直接用 v.(T) 断言，反射提供更细粒度的控制，避免 panic：

• val.CanInterface()：返回 true 表示该 Value 可以安全调用 .Interface() 转回 interface{}（例如未被设为 unaddressable 的值）
• val.Type().ConvertibleTo(targetType)：判断能否无 panic 转换为目标类型（如 int32 → int64 可，string → int 不可）
• val.Convert(targetType)：仅在 ConvertibleTo 为 true 时调用，否则 panic —— 所以务必先检查
• 常见用途：统一处理数字类型输入（如 JSON number → 用户指定的 int/int64/float64）

结合类型名和包路径做精确匹配（避免别名误判）

Go 中类型别名（type MyInt int）与原类型在反射中 Type.Name() 不同，但 Type.String() 或 Type.PkgPath() 可用于精准识别：

• t.Name() 返回类型名（如 "MyInt"），t.String() 返回完整路径名（如 "mymodule.MyInt"）
• 若需强制匹配某个自定义类型（如只接受 time.Time，不接受任何别名），用 t.PkgPath() == "time" && t.Name() == "Time"
• 注意：reflect.TypeOf((*time.Time)(nil)).Elem() 才能得到 time.Time 的 Type，直接传 time.Time{} 也可

基本上就这些。Golang 反射不是为了绕过类型系统，而是为了在保留类型安全的前提下，让通用代码能「看清」并「谨慎操作」未知的具体类型。用得好，它帮你兜底；用得莽，它立刻 panic。关键是：先查、再判、后转，永远假设输入不可信。