Go reflect区分可寻址值与可设置值的排查指南

我第一次遇到 reflect.Value.Set 的 panic，是在一个“给结构体字段补默认值”的小工具里。字段类型没有写错，代码也确实拿到了 reflect.Value，但一执行写入就报 reflect.Value.Set using unaddressable value。排查后发现，关键不是“有没有这个值”，而是这个值能不能回到原始存储：CanAddr 说明能否取地址，CanSet 说明能否修改，后者要求更严格。

官方文档：https://pkg.go.dev/reflect

先把 panic 拆成 CanAddr 和 CanSet

排查时不要直接调用 Set 试运气。先打印这两个能力，能很快看出 Value 是副本、指针，还是已经落到了目标存储上。CanAddr 为真表示可以调用 Addr；CanSet 为真才允许调用 Set、SetInt 等写入方法。

package main

import (
    "fmt"
    "reflect"
)

// inspect 只读取状态，避免在排查阶段提前触发 Set panic。
func inspect(label string, v reflect.Value) {
    if !v.IsValid() {
        fmt.Printf("%s: invalid value\n", label)
        return
    }
    // Kind、CanAddr、CanSet 组合起来能说明 Value 当前处于哪一层。
    fmt.Printf("%s: type=%s kind=%s canAddr=%t canSet=%t\n",
        label, v.Type(), v.Kind(), v.CanAddr(), v.CanSet())
}

func main() {
    n := 7
    inspect("value", reflect.ValueOf(n))
    inspect("pointer", reflect.ValueOf(&n))
    inspect("element", reflect.ValueOf(&n).Elem())
}

这里最容易误读的是指针这一行：reflect.ValueOf(&n) 表示“一个指针值”，它本身不是要被改写的整数，所以 CanSet 仍然可能为假。真正的目标是它指向的内容，也就是后面的 Elem()。

修改变量时，入口必须是指针再 Elem

普通参数传进 ValueOf 后，反射对象没有拿到原变量的可写存储。要修改原变量，就传地址，再用 Elem 解引用。写入前仍建议保留 CanSet 检查，因为函数可能收到 nil 指针或错误类型。

package main

import (
    "fmt"
    "reflect"
)

// setIntField 演示安全写入整数目标，不把 panic 当作类型校验。
func setIntField(target any, value int64) error {
    v := reflect.ValueOf(target)
    if !v.IsValid() || v.Kind() != reflect.Pointer || v.IsNil() {
        return fmt.Errorf("target must be a non-nil pointer")
    }

    // Elem 才进入指针指向的原始变量，这个 Value 才可能可设置。
    v = v.Elem()
    if !v.CanSet() || v.Kind() != reflect.Int {
        return fmt.Errorf("target is not a settable int")
    }
    // SetInt 只负责写入，类型和可写性在上面先确认。
    v.SetInt(value)
    return nil
}

func main() {
    n := 7
    if err := setIntField(&n, 42); err != nil {
        panic(err)
    }
    fmt.Println(n) // 42，原变量已经被修改
}

如果把调用改成 setIntField(n, 42)，函数会在入口拒绝它；这比让 SetInt 在深层逻辑里突然 panic 更容易定位。真实项目还应根据业务需要接受 Int8、Int32 等 Kind，不能用一个宽松转换掩盖溢出边界。

字段、切片和 map 的状态不能混为一谈

我后来把排查结果整理成一张小矩阵，避免看到 CanAddr=true 就默认可以写。可寻址只说明地址可取得；可设置还要求反射对象没有受到未导出字段等限制。

未导出字段是一个典型陷阱：它可能仍然能被定位，甚至看起来可以取地址，但 Go 反射会禁止直接设置。map 索引也不是普通变量的稳定地址，正确做法是读出副本、修改副本，再用 SetMapIndex 写回。

把反射写入收口成可复查的防线

在生产代码里，我会把“拿到 Value”和“决定是否写入”分成两层。第一层处理无效值、nil 指针和 Elem；第二层处理 CanSet、Kind、可赋值关系以及未导出字段。这样日志能指出是入口错误、权限边界还是类型不匹配。

// safeSet 只接受已经确认可写且类型可赋值的目标。
func safeSet(dst, src reflect.Value) error {
    if !dst.IsValid() || !src.IsValid() {
        return fmt.Errorf("invalid reflect.Value")
    }
    // CanSet 失败时不要调用 Set，避免把输入问题升级为请求 panic。
    if !dst.CanSet() {
        return fmt.Errorf("destination is not settable")
    }
    // AssignableTo 比强制转换更保守，能保留类型边界。
    if !src.Type().AssignableTo(dst.Type()) {
        return fmt.Errorf("cannot assign %s to %s", src.Type(), dst.Type())
    }
    // 通过检查后才真正改变目标存储。
    dst.Set(src)
    return nil
}

这套防线不能让反射变得没有风险，但能把最常见的两类错误提前变成普通错误：Value 没有指向原存储，以及源值不能赋给目标类型。对于 map、未导出字段和需要转换的数值，则应提供专门分支，而不是继续放宽这个通用函数。

常见问题

CanAddr 为 true 就一定能 Set 吗？

不一定。CanSet 是更严格的条件，未导出字段就是常见例外。写入前应直接检查 CanSet。

为什么 ValueOf(&x) 还是不能直接 Set？

此时 Value 表示指针对象本身，目标是 ValueOf(&x).Elem() 得到的被指向值。

反射修改 map 的值为什么要 SetMapIndex？

map 索引不是可直接取得地址的变量。应复制值、修改副本，再通过 SetMapIndex 将结果写回 map。