Go reflect 怎样判断反射值是否可寻址

Go 反射里，“可寻址”和“可修改”不是一回事。判断 Value.Addr() 能不能调用，看 CanAddr()；判断 Set 或 SetInt 能不能调用，还要看 CanSet()。最容易踩坑的是：reflect.ValueOf(n) 得到的是值拷贝，通常不可寻址；reflect.ValueOf(&n).Elem() 才回到原变量。

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

先用 CanAddr 判断 Addr 是否安全

CanAddr 的含义很窄：当前 Value 是否代表一个可以取得地址的对象。普通数值通过 ValueOf 放进反射值后，反射包只拿到了接口里的值；它不是原变量的存储位置，因此不要直接对它调用 Addr。

package main

import "reflect"

func addressableValues() (bool, bool, bool) {
	// 普通值是接口中的值拷贝，不能把它当作 n 的地址。
	n := 10
	plain := reflect.ValueOf(n)

	// 指针 Elem 指向原变量，具备可寻址关系。
	fromPtr := reflect.ValueOf(&n).Elem()

	// 切片元素也指向底层数组中的实际元素。
	items := []string{"go"}
	fromSlice := reflect.ValueOf(items).Index(0)
	return plain.CanAddr(), fromPtr.CanAddr(), fromSlice.CanAddr()
}

这三个返回值通常对应 false、true、true。官方定义的可寻址来源还包括可寻址数组元素、可寻址结构字段，以及指针解引用结果。若 CanAddr 为假，调用 Addr 会触发 panic，所以它应该放在调用前，而不是出错后再补救。

CanAddr 为真，为什么 CanSet 仍可能为假

CanSet 是更严格的写入检查。它要求值可寻址，并且不能来自未导出结构字段。也就是说，CanAddr 解决“地址是否存在”，CanSet 解决“反射是否拥有可写权限”。两者不要混用。

因此，写入前可以把两个检查写在一起：

func setName(target any, name string) bool {
	// 只有指向结构体的指针，Elem 才能让写入回到原对象。
	v := reflect.ValueOf(target)
	if !v.IsValid() || v.Kind() != reflect.Pointer || v.IsNil() {
		return false
	}
	v = v.Elem()
	if v.Kind() != reflect.Struct {
		return false
	}
	field := v.FieldByName("Name")
	// CanSet 同时挡住不可寻址值和未导出字段，避免 Set 直接 panic。
	if !field.IsValid() || !field.CanSet() || field.Kind() != reflect.String {
		return false
	}
	field.SetString(name)
	return true
}

这里的重点不是把反射写成万能 setter，而是把不满足边界的输入转换成可处理的 false。如果目标字段是导出的 Name，且调用方传入结构体指针，修改才会落到原对象。

用 Elem、Field 和 Index 保留原对象关系

排查“反射修改不生效”时，先沿着值的来源回溯。结构体通常从指针 Elem 开始；字段通过 Field 取得；切片元素通过 Index 取得。相反，直接把结构体值传给 ValueOf，再对它的字段调用 Set，拿到的往往是不可写的副本。

还要区分 Addr 与 CanSet 的用途：前者用于取得指针值，例如调用需要指针接收者的方法；后者用于判断写入权限。调用 Addr 前只检查 CanSet 不够，因为某些值可能可寻址但不可设置。

一张检查清单解决常见 panic

• 先检查 IsValid，避免对零 Value 继续调用方法。
• 调用 Addr 前检查 CanAddr，调用 Set 前检查 CanSet。
• 写结构字段前确认 Kind 或 Type，不要把字符串写入整数型字段。
• 想改原变量就传指针；看到修改不生效，优先检查是否忘了 Elem。
• 未导出字段不要通过反射强行写入，CanSet 为假时直接返回错误或跳过。

常见问题

CanAddr 和 CanSet 哪个应该先判断？

如果下一步是 Addr，先判断 CanAddr；如果下一步是写入，直接判断 CanSet，它已经包含可寻址这一层要求。

为什么 reflect.ValueOf(&n) 本身不能直接当整数写？

它代表的是指针，先调用 Elem 才能取得指针指向的整数值，再用 SetInt 或 Set 修改。

可寻址数组元素和切片元素有什么共同点？

它们都能关联到实际存储位置，因此通常可以取得地址；是否可写仍要结合来源和值的只读状态判断。