Go reflect.Value.Set 的可寻址值准备方法

给 Go 变量执行反射赋值，常见准备方式是 reflect.ValueOf(&x).Elem()：先持有变量地址，再取得该地址指向的存储位置。调用 Set 前要判断目标 CanSet()，并保证源值的类型可赋给目标类型。只有地址信息还不够；未导出字段等限制仍然生效。

官方地址：https://pkg.go.dev/reflect

用指针找到实际目标存储

一个配置加载器可能需要给很多不同类型的目标赋值。这里先把问题缩小：调用方显式提供目标变量的指针，赋值器只设置该指针直接指向的值，不猜字段名、不自动初始化嵌套指针，也不偷偷做类型转换。

var retries int
target := reflect.ValueOf(&retries).Elem()
// Elem 对应 retries 的实际存储；源值必须能赋给 int。
if target.CanSet() {
    target.Set(reflect.ValueOf(int(4)))
}

reflect.ValueOf(retries) 表示传入的整数值，不能反向写回原变量。reflect.ValueOf(&retries) 虽然包含地址，它本身也不是可替换的目标变量；Elem 才表示指针指向的存储。不要把“值是一个指针”与“这个反射值可设置”当成同一件事。

区分可寻址与可设置

CanAddr 关注能否取得值的地址，CanSet 关注能否修改该值。反射从可寻址结构体访问到的未导出字段，即使可寻址，也不能因此用 Set 修改。应保留字段访问规则，通过导出的字段或类型自身提供的方法进行更新。

type Config struct {
    Limit int
    secret int
}
cfg := Config{}
root := reflect.ValueOf(&cfg).Elem()
field := root.FieldByName("Limit")
if field.IsValid() && field.CanSet() {
    // 显式使用int源值；只有导出字段进入赋值分支。
    field.Set(reflect.ValueOf(int(12)))
}

这里使用 FieldByName 前已经知道 root 是结构体，拿到字段后先看 IsValid，避免字段不存在时继续调用 Type 等方法。通用字段设置器还应处理根值种类与嵌套字段路径；本例只展示一个直接字段。

封装受限赋值入口

把非 nil 指针、目标可设置、源值有效和类型可赋这四项条件集中到同一个函数，调用层就可以获得明确错误。示例不接收任意 reflect.Value 源参数，因而不会把来自未导出字段的 Value 直接传给 Set。

package assign

import (
    "fmt"
    "reflect"
)

// Assign 接收非nil指针，给它直接指向的变量赋值。
// src 不接受无类型nil；如需nil，请传入相应类型的nil值。
func Assign(dst, src any) error {
    p := reflect.ValueOf(dst)
    if !p.IsValid() || p.Kind() != reflect.Ptr {
        return fmt.Errorf("目标必须是非nil指针")
    }
    if p.IsNil() {
        return fmt.Errorf("目标指针不能为nil")
    }
    target := p.Elem()
    if !target.CanSet() {
        return fmt.Errorf("目标不可设置")
    }
    value := reflect.ValueOf(src)
    if !value.IsValid() {
        return fmt.Errorf("源值不能是无类型nil")
    }
    // Set 不隐式转换类型；接口参数中的源值也不是未导出字段Value。
    if !value.Type().AssignableTo(target.Type()) {
        return fmt.Errorf("源类型 %v 不能赋给 %v", value.Type(), target.Type())
    }
    target.Set(value)
    return nil
}

调用 Assign(&retries, int(4)) 表达给 int 目标赋 int 值。传 int64 则被拒绝：两种类型的 Kind 虽都属于整数相关类别，Set 也不会自动转换。AssignableTo 表达 Go 的赋值规则，不等于必须类型完全相同；例如具体类型值可以赋给它实现的接口类型。

在批量配置中保留每次调用检查

当配置项变多，可以缓存类型的字段索引或允许修改的字段名，减少重复查找；但不能缓存一个旧对象上的 reflect.Value，拿去写另一个对象。目标 Value 关联具体存储位置，生命周期应当跟随该次配置对象。

批量应用时，先决定错误策略。如果前几项已写入，后面某项类型错误，逐项 Set 不会自动回滚。需要整体成功才生效的配置，可以先构建独立候选对象，再按业务规则发布；若候选对象含 map、slice、指针，仅复制结构体也不保证深层数据独立。

反射不提供并发同步。应用层仍需让读写遵守同一把锁或明确的快照发布方案。这里讨论的是可赋值条件，没有实测吞吐量，也没有把类型缓存描述为所有场景的性能优化。

处理接口和容器的赋值差异

例如 var current any，Assign(¤t, "ready") 替换接口变量内容。若先取 ValueOf(current)，拿到的是其中的动态值，并不自动获得接口变量本身的可写槽位。

需要写入 nil 时，本函数要求明确类型，例如 (*Config)(nil) 可赋给相应指针目标；无类型 nil 通过 ValueOf 得到无效值，不能直接作为 Set 的有效源值。若业务设计要支持“清零任意目标”，应另设清零接口并明确其效果，不要把传 nil 默认为所有类型的零值。

为什么 Elem 之后还是不能设置？

先区分指针指向的实际目标、接口里面的动态值与未导出字段。Elem 只按指针或接口的语义取值，不能授予被访问规则禁止的写权限。

CanConvert 为 true 能直接 Set 吗？

不能。转换和赋值是两套规则；需要转换时应明确转换策略，再把转换得到的值交给 Set，同时考虑数值范围和业务精度。

Set 成功是否代表深拷贝？

不代表。它遵循赋值语义，slice、map、指针等引用关系可能继续共享。修改权限与数据所有权应分别设计。

技术资料：reflect.Value.Set；CanSet 与目标修改约束。