Go反射不能自动升级结构体，因字段名、类型、顺序不匹配会导致panic或数据丢失；必须显式定义映射与转换规则，逐字段处理并处理类型兼容性。
Go 反射本身不提供对象版本升级能力，所有“升级”逻辑必须由你显式定义和驱动；直接依赖反射自动迁移字段或类型会引发不可控的 panic 和数据丢失。
为什么不能靠 reflect.Value.Set 自动“升级”旧结构体
常见误解是：把旧版本 struct 的 reflect.Value 传给新版本 struct 的字段赋值逻辑，以为能“自动对齐”。实际会失败，因为：
- 字段名、顺序、类型不一致时，
FieldByName返回零值reflect.Value，调用Set会 panic：“cannot set unaddressable value” - 即使字段名相同，旧版
int字段想赋给新版int64字段，Set会直接报错：“can't assign int to int64” - 嵌套结构体或 slice/map 字段不会递归升级，只会浅拷贝指针或 panic
- 未导出字段（小写开头）无法被反射读取或写入，升级逻辑直接跳过
安全过渡的关键：用 reflect.Type 做字段映射 + 显式转换规则
真正可行的做法是：先用 reflect.TypeOf 比较两个 struct 的字段布局，再逐字段按规则转换。例如：
func UpgradeV1ToV2(v1 *UserV1) *UserV2 {
v2 := &UserV2{}
t1, t2 := reflect.TypeOf(*v1), reflect.TypeOf(*v2)
v1Val, v2Val := reflect.ValueOf(v1).Elem(), reflect.ValueOf(v2).Elem()
for i := 0; i < t1.NumField(); i++ {
f1 := t1.Field(i)
f2 := t2.FieldByName(f1.Name) // 仅匹配同名字段
if !f2.IsValid() || !f2.IsExported() {
continue
}
v1Field := v1Val.Field(i)
v2Field := v2Val.FieldByName(f1.Name)
if !v2Field.CanSet() {
continue
}
// 类型兼容才赋值，否则走自定义逻辑
if v1Field.Type() == v2Field.Type() {
v2Field.Set(v1Field)
} else if f1.Name == "CreatedAt" && f1.Type.Kind() == reflect.Int64 && f2.Type.Kind() == reflect.String {
v2Field.SetString(time.Unix(v1Field.Int(), 0).Format(time.RFC3339))
}
}
return v2
}
注意：FieldByName 不处理别名（如 json:"user_id"），也不处理大小写转换（UserID ≠ userid）；必须靠命名约定或额外标签（如 version:"v1→v2"）辅助识别。
立即学习“go语言免费学习笔记（深入）”；
避免 runtime panic 的三个硬性检查点
每次字段赋值前，必须确认以下三项，缺一不可：
-
v1Field.CanInterface()—— 确保旧字段可安全读取（非未导出、非空接口） -
v2Field.CanSet()—— 确保新字段可写（必须是导出字段，且v2是地址） -
assignableTo(v1Field.Type(), v2Field.Type())—— 手动实现类型兼容判断，不能只靠==；例如int→int64允许，string→[]byte需显式[]byte(s)
结构体标签（tags）是版本过渡的可靠锚点，但需主动解析
比起依赖字段名，更稳定的方式是用自定义标签声明字段生命周期，例如：
type UserV2 struct {
ID int64 `version:"v1,v2"`
Email string `version:"v1,v2"`
Phone string `version:"v1"` // v2 中已废弃
Nickname string `version:"v2"` // v1 中不存在
CreatedAt string `version:"v1→v2"` // 需转换逻辑
}
然后用 reflect.StructTag.Get("version") 提取标记，决定该字段是否参与迁移、是否需要转换函数、是否应忽略。这比硬编码字段名或靠反射“猜”语义更可控——毕竟版本升级不是类型推断，而是业务契约。
最易被忽略的一点：反射无法感知字段语义变更。比如 v1 的 Score int 是百分制，v2 的 Score float64 是加权分，反射只会做数值转换，而真正的业务逻辑（归一化、重算权重）必须你亲手写进迁移函数里。
