reflect.Value.Set panic“cannot set”是因为值不可寻址；必须传指针并调用.Elem()获取可寻址值，且字段需导出、类型严格匹配，否则运行时panic。
为什么 reflect.Value.Set 会 panic: “cannot set”？
直接对函数参数调用 reflect.Value.Set 几乎必然 panic，错误信息是 panic: reflect: cannot set value obtained from unaddressable value。这是因为 Go 的函数参数传递是值拷贝，reflect.ValueOf(x) 得到的是一个不可寻址（unaddressable）的副本，没有底层内存地址可写。
真正能修改的，只能是传入的指针、或可寻址的变量本身（比如局部变量取地址、结构体字段、切片元素等）。如果你拿到的是 int、string、struct{} 这类非指针参数，反射层面根本无法反向写回原值——Go 语言机制上就不支持。
- 检查是否传了指针：用
v.CanAddr()或v.Kind() == reflect.Ptr先判断 - 若参数是
int，必须传&x，否则没救 - 函数签名里写
func f(x int)→ 反射无法改x；写成func f(x *int)→ 才有操作空间
如何安全地通过反射修改指针参数指向的值
核心路径是：获取指针 → 调用 .Elem() 得到被指向的值 → 确保该值可设置 → 调用 .Set()。
例如处理 func update(p *int) 中的 p：
立即学习“go语言免费学习笔记（深入）”；
Golang Uber Dig
下载
使用 uber-go/dig 在 Golang 中实现依赖注入——基于反射容器，提供 Provide/Invoke、dig.In/dig.Out 参数与结果对象，支持命名依赖等
func handler(fn interface{}, args []interface{}) {
v := reflect.ValueOf(fn)
if v.Kind() != reflect.Func {
return
}
in := make([]reflect.Value, len(args))
for i, arg := range args {
rv := reflect.ValueOf(arg)
// 关键：只允许传入指针，且目标值可寻址可设置
if rv.Kind() == reflect.Ptr && rv.Elem().CanSet() {
in[i] = rv
} else {
panic("arg #" + strconv.Itoa(i) + " must be a settable pointer")
}
}
v.Call(in)
}
-
rv.Elem().CanSet()比rv.CanSet()更关键——我们想改的是它指向的值，不是指针本身 - 如果指针指向的是不可导出字段（小写字段），即使
Elem()后也返回false，反射无权修改 - 注意类型匹配：
rv.Elem().Type()必须和你要赋的值类型一致，否则.Set()panic
修改 struct 字段时为何有时失败？
常见场景是传入一个 struct 指针，想动态改其中某个字段。失败往往因为字段未导出（首字母小写）。
反射只能修改导出字段（即首字母大写的字段），这是 Go 的导出规则强制限制，跟反射无关。
- 这个 struct 是安全的：
type User struct { Name string }→Name可改 - 这个 struct 不行：
type User struct { name string }→name即使有指针也无法通过反射修改 - 用
field := v.FieldByName("Name"); field.CanSet()判断前务必先确认字段名拼写和大小写 - 如果字段是嵌套的（如
User.Profile.Age），要逐层.FieldByName()并检查每层CanSet()
实际应用中容易忽略的边界情况
真实业务里常遇到的不是“能不能改”，而是“改了但没生效”——比如改的是临时变量、或误用了 reflect.Copy 替代 .Set()。
- 别在
for range循环里对args做reflect.ValueOf(arg)：循环变量arg是副本，地址无效 - 切片参数传
*[]T才能扩容或替换底层数组；只传[]T或*[]T但没解引用.Elem()，改的是副本 -
nil指针传进来，rv.Elem()会 panic，必须先if !rv.IsNil() - 修改 map 或 channel 类型字段时，
.Set()要求类型完全一致（包括是否为接口），否则 panic
反射改参这件事，本质是绕开类型系统做运行时操作，越靠近底层细节，越依赖你对地址、导出性、可设置性的精确判断。漏掉任意一环，程序就崩在 runtime，而不是编译期。
