本文介绍如何通过 Go 的 reflect 包，从匿名嵌入字段（如 *M）中提取底层结构体类型，并动态创建其实例、访问和修改其字段值。核心在于结合 FieldByName、Elem()、reflect.New() 和 SetString() 等反射操作。
本文介绍如何通过 go 的 `reflect` 包，从匿名嵌入字段（如 `*m`）中提取底层结构体类型，并动态创建其实例、访问和修改其字段值。核心在于结合 `fieldbyname`、`elem()`、`reflect.new()` 和 `setstring()` 等反射操作。
在 Go 中，反射（reflect）是运行时获取类型信息与操作值的有力工具，但其 API 设计严谨，需准确理解类型（reflect.Type）与值（reflect.Value）的区别。常见误区是仅获取类型却未构造可操作的实例——例如，从嵌入指针字段 *M 中提取 M 类型后，若直接调用 Type.Elem() 得到的是 reflect.Type，而非可读写的 reflect.Value。
要真正“声明一个该类型的变量”，本质是动态创建该类型的零值实例。这需借助 reflect.New(typ)：它返回一个指向新分配零值的指针 reflect.Value，等价于 &T{}。随后可通过 .Elem() 获取其解引用后的可寻址值，进而操作字段。
以下为完整可运行示例，展示从 S 结构体中提取嵌入的 *M 字段类型，创建 M 实例，并设置 Name 字段：
package main
import (
"fmt"
"reflect"
)
type M struct {
Name string
}
func main() {
type S struct {
*M // 匿名嵌入指针字段
}
s := S{}
st := reflect.TypeOf(s)
// 1. 获取字段 *M 的 Type（注意：是 *M，不是 M）
field, ok := st.FieldByName("M")
if !ok {
panic("field M not found")
}
// 2. 解引用指针类型，得到 M 的 reflect.Type
mType := field.Type.Elem() // *M → M
// 3. 动态创建 M 的新实例（返回 *M 的 reflect.Value）
mPtr := reflect.New(mType) // 等价于 &M{}
// 4. 获取可寻址的 M 值（非指针）
mVal := mPtr.Elem()
// 5. 设置字段 Name
nameField := mVal.FieldByName("Name")
if !nameField.CanSet() {
panic("cannot set Name field: unexported or not addressable")
}
nameField.SetString("test")
// 输出结果（注意：mPtr 是 *M，故打印带地址；mVal 是 M，打印结构体内容）
fmt.Printf("Pointer: %v\n", mPtr) // &{test}
fmt.Printf("Value: %v\n", mVal) // {test}
fmt.Printf("Name: %s\n", nameField.String()) // test
}
⚠️ 关键注意事项：
- 字段必须导出（首字母大写）：Name 是导出字段，CanSet() 才返回 true；若为 name（小写），反射无法修改，会 panic。
- 务必检查 CanSet()：只有可寻址且可设置的字段才能调用 Set* 方法，否则运行时报错 "reflect: reflect.Value.SetString using unaddressable value"。
- reflect.New(t) 返回 *T 的 reflect.Value，而 reflect.Zero(t) 返回 T 的不可寻址零值（无法修改字段），因此创建可修改实例必须用 New + Elem()。
- 匿名字段类型为 *M 时，field.Type 是 *M，需调用 .Elem() 两次才能到达 M 的字段（第一次得 M，第二次才得 M 的字段）；本例中因直接操作 M 实例，一次 .Elem() 即可。
总结：Go 反射虽不鼓励日常使用，但在泛型能力受限的场景（如通用序列化、ORM 映射）中不可或缺。掌握 Type 与 Value 的转换逻辑、New/Elem/CanSet 的协同使用，是安全、高效操作动态类型的基石。
